微分での定義域と端点の扱い｜「y'=0」の解を区間条件とともに正しく書く方法

微分の問題では、関数の定義域とその端点の扱いが重要になります。特に「y’=0となる点」を求める際に、区間の端を含めるべきかどうかで迷うことがあります。本記事では、微分可能性と区間条件の関係を整理しながら、正しい書き方と考え方を具体例とともに解説します。

微分可能性と区間の関係を整理する

まず、関数が微分できるかどうかは、その点が定義域の内部にあるかどうかに依存します。一般に、閉区間[a,b]で定義された関数は、端点aやbでは片側微分しか定義できません。

したがって、通常の意味での導関数y’を考える場合は、区間の内部、すなわちa<x<bの範囲で議論するのが基本となります。

与えられた関数は y=x-2cosx（π/2≦x≦2π）です。このとき導関数は y’=1+2sinx となります。

ここで重要なのは、この導関数が成立するのは「微分可能な範囲」、つまりπ/2<x<2πであるという点です。

方程式 y’=0 を解くと、1+2sinx=0 より sinx=-1/2 となり、解は x=7π/6,11π/6 です。

これらの値はいずれも π/2<x<2π の範囲に含まれています。そのため、厳密には以下のように書くのが適切です。

π/2<x<2π において、y’=0 ⇔ x=7π/6,11π/6

端点である x=π/2 や x=2π では、通常の意味での微分係数（両側極限）は定義されません。そのため、y’という記号を使う場合には、これらの点は含めないのが数学的に正確です。

ただし、問題によっては端点での増減や極値を考える場合もあります。その場合は、導関数とは別に関数値を直接比較することで議論します。

例えば、関数 f(x)=x^2（0≦x≦2）を考えると、導関数 f'(x)=2x は 0<x<2 で定義されます。

このとき f'(x)=0 の解は x=0 ですが、x=0 は端点なので「f'(0)=0」と書くことは通常避けます。このように、端点では導関数の扱いに注意が必要です。

微分の問題では、導関数を扱う際には必ず「どの範囲で微分可能か」を意識する必要があります。

今回のようなケースでは、π/2<x<2π において y’=0 ⇔ x=7π/6,11π/6と書くのが最も適切です。

端点を含めた区間で考える場合は、導関数ではなく関数の値やグラフの挙動で判断することを意識すると、より正確な理解につながります。