5.21 関数の増減と極値
定義 5.52 (増加,減少,極値) を十分小さい正の数 とする. このとき関数 に関して次の性質を定義する.極大値,極小値を総称して極値と呼ぶ.
- をみたすとき, 関数 は点 において増加の状態 であるという.
- をみたすとき, 関数 は点 において減少の状態 であるという.
- をみたすとき, 関数 は点 において極大値 をとるという.
- をみたすとき, 関数 は点 において極小値 をとるという.
定理 5.53 (微分係数と増減,極値) 微分係数と関数の増減および極値の関係に関して次のことがいえる.
- のとき, は点 において 増加の状態にある.
- のとき, は点 において 減少の状態にある.
- , のとき, は点 において極大値をとる.
- , のとき, は点 において極小値をとる.
(証明) 関数 をテイラー展開して
を得る. とおくと
となる. を十分小さな正の値として考える. 以降の項は十分小さく無視できる. のとき
が成り立つので,テイラー展開の 次の項を無視しすれば
を得る.よって は増加の状態にある. 次に のとき,同様に
となるので, は減少の状態にある. 次に , のとき,
となるので, は において極大値をとる. 最後に , のとき,
となるので, は において極小値をとる.
定理 5.54 (単調増加) 関数 が定義域内の任意の点で であるとき, は単調増加である.
定理 5.55 (単調減少) 関数 が定義域内の任意の点で であるとき, は単調減少である.
例 5.56 (極値の判定計算例) 関数 は において極値となるか考える. まわりでテイラー展開すると,
が成り立つ. より
であり, の近傍では
が成り立つ.よって, は極小値である.
平成21年6月1日