「極値」の版間の差分
ナビゲーションに移動
検索に移動
(ページの作成:「== 概要 == <br><br> == 1変数関数の極値 == ==== 極値の見つけ方 ==== (微分可能な)関数<math>f(x)</math>が<math>x = a</math>で極値を取るならば、<math>\frac{df(a)}{dx} = 0</math>である。<br> 対偶を取れば、<math>\frac{df(a)}{dx} \ne 0</math>となる点は、必ずしも極値ではない。<br> <br> <math>\frac{df(a)}{dx} = 0</math>はaで極値を取るための必要条件ではあるが、十分条件ではない。<br> <…」) |
(→概要) |
||
(同じ利用者による、間の1版が非表示) | |||
1行目: | 1行目: | ||
== 概要 == | == 概要 == | ||
微分の分野では、関数が極値を持つかどうかという問題をよく考える。<br> | |||
ここでは、極値を持つ条件とその注意点を記載する。<br> | |||
<br><br> | <br><br> | ||
22行目: | 23行目: | ||
* <math>\frac{d^2 f(a)}{dx^2} > 0</math>ならば、<math>f(x)</math>は<math>x = a</math>で極小値をとる。 | * <math>\frac{d^2 f(a)}{dx^2} > 0</math>ならば、<math>f(x)</math>は<math>x = a</math>で極小値をとる。 | ||
* <math>\frac{d^2 f(a)}{dx^2} < 0</math>ならば、<math>f(x)</math>は<math>x = a</math>で極大値をとる。 | * <math>\frac{d^2 f(a)}{dx^2} < 0</math>ならば、<math>f(x)</math>は<math>x = a</math>で極大値をとる。 | ||
<br> | |||
ただし、上記の判定方法には欠点があり、<math>\frac{d^2 f(a)}{dx^2} = 0</math>の時の判定ができない。<br> | |||
<math>f(x) = x^3</math>においては、<math>\frac{d^2 f(x)}{dx^2} = 6x, \quad \frac{d^2 f(0)}{dx^2} = 0</math>となるが、<math>x = 0</math>は極値ではない。<br> | |||
<br> | |||
例えば、<math>f(x) = x^3 + ax^2 + 2x + 1</math>が極値を持つようなaの範囲を求める場合、<br> | |||
ポイントとして、極値となる候補を見つけて、その点の前後で<math>\frac{df(a)}{dx}</math>の符号が変化するならば、それが極値となる。<br> | |||
<br> | |||
上式をxで微分して、<math>\frac{df(x)}{dx} = 3x^2 + 2ax + 2 = 0</math>を解く。<br> | |||
解の公式を使用すると、<math>x = \frac{-a \pm \sqrt{a^2 -6}}{3}</math>となる。<br> | |||
<br> | |||
この時、<math>\frac{df(x)}{dx} = 0</math>が、aの値に応じていくつ解を持つか、および、その時の符号の変化がどうなるか、ということがポイントとなる。<br> | |||
判別式<math>D = a^2 - 6</math>の符号が重要であるため、場合分けして考える。<br> | |||
* <math>D > 0</math>の時、<math>\frac{df(x)}{dx} = 0</math>は2つの実数解を持ち、<math>\frac{df(x)}{dx}</math>はその前後で符号が変化する。<br>すなわち、その2つの解は極値となる。 | |||
* <math>D = 0</math>の時、<math>\frac{df(x)}{dx} = 0</math>は重解を持ち、<math>\frac{df(x)}{dx}</math>はその前後で符号が正である。<br>すなわち、その点は極値ではない。 | |||
* <math>D < 0</math>の時、<math>\frac{df(x)}{dx} = 0</math>は実数解を持たず、常に<math>\frac{df(x)}{dx} > 0</math>となる。<br>すなわち、極値を持たない。 | |||
<br> | |||
上記の場合分けより、<math>D > 0</math>の時のみ極値を持つ。<br> | |||
<math>a^2 - 6 > 0</math>を解けば、<math>a < \pm \sqrt{6}</math>となり、<math>- \sqrt{6} < a < \sqrt{6}</math>の時、<math>f(x)</math>は極値を持つ。<br> | |||
また、極値を持たないaの範囲は、<math>D \le 0</math>の時であり、範囲は<math>- \sqrt{6} \le a \le \sqrt{6}</math>となる。<br> | |||
<br> | |||
一般的に、3次関数については以下のような性質が成り立つ。<br> | |||
<math>f(x)</math>を3次関数とする時、<math>\frac{df(x)}{dx}</math>は2次関数となる。2次方程式<math>\frac{df(x)}{dx} = 0</math>の判別式をDとする時、<br> | |||
* <math>f(x)</math>が極値を持つことと、<math>D > 0</math>は同値である。 | |||
* <math>f(x)</math>が極値を持たないことと、<math>D \le 0</math>は同値である。 | |||
<br><br> | <br><br> | ||
__FORCETOC__ | __FORCETOC__ | ||
[[カテゴリ:解析学]] | [[カテゴリ:解析学]] |
2022年1月17日 (月) 16:00時点における最新版
概要
微分の分野では、関数が極値を持つかどうかという問題をよく考える。
ここでは、極値を持つ条件とその注意点を記載する。
1変数関数の極値
極値の見つけ方
(微分可能な)関数がで極値を取るならば、である。
対偶を取れば、となる点は、必ずしも極値ではない。
はaで極値を取るための必要条件ではあるが、十分条件ではない。
例えば、の導関数は、である。
を解くと、が極値点の候補として見つかるが、においては極値点ではない。
これは、という点を考える時、という関係が成り立つが、よりも大きな値を取る点と小さな値を取る点が、の近くにある。
0のどんなに近くにもより大きくなる点と小さくなる点の両方が存在するため、極値ではない。
極値の判定条件
2階微分できる関数が存在する時、かつの前後での符号が変化するならば、関数は、で極値をとる。
さらに、以下のように判定することができる。
- ならば、はで極小値をとる。
- ならば、はで極大値をとる。
ただし、上記の判定方法には欠点があり、の時の判定ができない。
においては、となるが、は極値ではない。
例えば、が極値を持つようなaの範囲を求める場合、
ポイントとして、極値となる候補を見つけて、その点の前後での符号が変化するならば、それが極値となる。
上式をxで微分して、を解く。
解の公式を使用すると、となる。
この時、が、aの値に応じていくつ解を持つか、および、その時の符号の変化がどうなるか、ということがポイントとなる。
判別式の符号が重要であるため、場合分けして考える。
- の時、は2つの実数解を持ち、はその前後で符号が変化する。
すなわち、その2つの解は極値となる。 - の時、は重解を持ち、はその前後で符号が正である。
すなわち、その点は極値ではない。 - の時、は実数解を持たず、常にとなる。
すなわち、極値を持たない。
上記の場合分けより、の時のみ極値を持つ。
を解けば、となり、の時、は極値を持つ。
また、極値を持たないaの範囲は、の時であり、範囲はとなる。
一般的に、3次関数については以下のような性質が成り立つ。
を3次関数とする時、は2次関数となる。2次方程式の判別式をDとする時、
- が極値を持つことと、は同値である。
- が極値を持たないことと、は同値である。