微分と平均値の定理・ロルの定理を使った関数の臨界点の考え方

関数の微分を使った臨界点の存在判定は、数学IIIで頻出のテーマです。特に平均値の定理やロルの定理を使った証明方法は、問題の性質によって使い分けが可能です。本記事では具体例を挙げながら、両者の使い分けと実践的な解法の考え方を解説します。

平均値の定理の基本と適用条件

平均値の定理とは、区間[a,b]で連続かつ(a,b)で微分可能な関数fに対して、f'(c)=(f(b)-f(a))/(b-a)となるcが存在することを示す定理です。

例えば、f(x)=xcosx（0≦x≦π/2）の場合、関数は連続かつ微分可能であるため、平均値の定理を適用できます。f(b)-f(a)の符号から、f'(x)=0となる点が存在するかを考察できます。

ロルの定理は、区間[a,b]で連続かつ微分可能な関数fでf(a)=f(b)のとき、f'(c)=0となるcが存在することを保証する定理です。平均値の定理の特殊ケースとも言えます。

f(x)=1-|x-2|（1≦x≦3）の場合、関数は区間内で連続ですが、点x=2で微分可能でないためロルの定理を直接適用することはできません。ここでは、平均値の定理を使う方が自然です。

（1）f(x)=xcosxでは、f'(x)=cosx-xsinxです。区間内でf'(x)=0となるxが存在するかを、平均値の定理を用いて確認すると、実際に存在することが分かります。

（2）f(x)=1-|x-2|では、f'(x)はx<2で-1、x>2で1となるため、区間1≦x≦3でf'(x)=0は存在しません。ロルの定理を使うにはf(a)=f(b)かつ微分可能である必要があり、x=2で微分不可能なため適用不可です。

ポイントは、関数が微分可能かどうかと区間の端点での値の関係です。f(a)=f(b)かつ微分可能ならロルの定理、微分可能であれば一般的な平均値の定理を使うと効率的です。

また、微分可能でない点がある場合や絶対値関数のような場合は、平均値の定理や定義から直接確認することが推奨されます。

関数の臨界点の存在判定には、平均値の定理とロルの定理を適切に使い分けることが重要です。f'(x)=0の存在を判断する際は、まず関数の連続性と微分可能性を確認し、必要に応じて定理を選択しましょう。

具体例として、xcosxは平均値の定理で存在確認が可能、1-|x-2|は微分不可点があるためロルの定理は使えず、平均値の定理または直接的な解析が適しています。この考え方を押さえることで、類似問題にも柔軟に対応できます。