ロルの定理のソースを表示

== 概要 ==
ロルの定理は、微積分における重要な定理の1つである。<br>
<br>
ロルの定理は、閉区間[a, b]で連続であり、開区間(a,b)で微分可能な関数f(x)について、この関数が区間の両端で同じ値をとる <math>f(a) = f(b)</math> である場合、<br>
区間(a, b)の中に少なくとも1点cが存在し、その点で <math>\dfrac{df(c)}{dt} = 0</math> となることを保証する。<br>
<br>
この定理の直感的な理解として、両端が同じ高さの点を結ぶ滑らかな曲線を考える時、その途中には必ず水平な接線を持つ点が存在するはずである。<br>
これが、<math>\dfrac{df(c)}{dt} = 0</math> となる点cである。<br>
<br>
ロルの定理の適用例として、方程式の解の存在証明や一般的な平均値の定理の証明の基礎となっている。<br>
また、関数の極値問題を解く時の理論的根拠としても用いられる。<br>
<br>
定理の前提条件において、以下に示す3つ全てが必要である。<br>
これらの条件のいずれかが満たされない場合、定理は成立しない可能性がある。<br>
* 関数が閉区間[a, b]で連続であること
* 開区間(a,b)で微分可能であること
* <math>f(a) = f(b)</math> を満たすこと
<br>
この定理の反例として、区間の端点で不連続な関数や区間内で微分不可能な関数 (例えば絶対値関数) を考えることができる。<br>
これらの例は、定理の前提条件がなぜ必要なのかを理解する助けとなる。<br>
<br>
ロルの定理は、一般的な平均値の定理の特殊な場合として位置付けることもできる。<br>
平均値の定理では、関数の両端の値が異なる場合でも、その区間内に特定の性質を持つ点が存在することを示している。<br>
<br><br>

== 最大値の定理 ==
 定理 :
 
 有界閉区間上の連続関数は最大値を持つ。<br>
<br><br>

== ロルの定理 ==
 定理 :
 
 区間 <math>[a, b]</math> で連続、<math>(a, b)</math> で微分可能、<math>f(a) = f(b)</math> である関数 <math>f(x)</math> に対して、<br>
 <math>a < c < b</math> なる <math>c</math> で <math>\frac{df(c)}{dx} = 0</math> を満たす <math>c</math> が存在する。
<br>
 証明 :
 
 * <math>f(x)</math> が区間内で定数関数の時、<math>a < c < b</math> なる任意の <math>c</math> で <math>\frac{df(c)}{dx} = 0</math> となる。
 
 * <math>f(a) < f(t)</math> なる <math>t</math> が存在する時、最大値の定理より、<math>a < c < b</math> で <math>c</math> が最大となるような <math>c</math> が存在する。
 この時、<math>\frac{df(c)}{dx} = 0</math> を証明する。
 
 <math>f(x)</math> が <math>x = c</math> で微分可能であることと、<math>f(c) \geqq f(c + h)</math> より、
 <math>\frac{df(c)}{dx} = \lim{h \to +0} \frac{f(c + h) - f(c)}{h} \leqq 0</math>
 <math>\frac{df(c)}{dx} = \lim{h \to -0} \frac{f(c + h) - f(c)}{h} \geqq 0</math>
 つまり、
 <math>\frac{df(c)}{dx} = 0</math>
 
 * <math>f(a) > f(t)</math> なる <math>t</math> が存在する時も同様 （最小値を考える）
<br><br>

== 平均値の定理 ==
 定理 :
 
 区間 <math>[a, b]</math> で連続、<math>(a, b)</math> で微分可能な関数 <math>f(x)</math> に対して、
 <math>a < c < b</math> なる <math>c</math> で <math>\frac{df(c)}{dx} = \frac{f(b) - f(a)}{b - a}</math> を満たす <math>c</math> が存在する。
<br>
<math>f(a) = f(b)</math> なる関数に、平均値の定理を用いるとロルの定理が出てくる。<br>
つまり、平均値の定理はロルの定理の一般化である。<br>
<br>
平均値の定理はロルの定理の一般化と看做せるが、ロルの定理から簡単に導出することもできる。<br>
ロルの定理を用いるために、関数 <math>f(x)</math> に1次関数を加えてロルの定理の条件「両端の値が等しい」ことを満たすような関数 <math>g(x)</math> を作る。<br>
 証明 :
 
 関数 <math>g(x) = f(x) + Ax</math> を考える。
 <math>g(a) = g(b)</math> となるような <math>A</math> を探す。
 
 <math>f(a) + Aa = f(b) + Ab</math>
 <math>\implies A(a - b) = f(b) - f(a)</math>
 <math>\implies A = \frac{f(b) - f(a)}{a - b}</math>
 <math>\implies A = - \frac{f(b) - f(a)}{b - a}</math>
 
 つまり、<math>g(x) = f(x) - x \frac{f(b) - f(a)}{b - a}</math> という関数は、<math>g(a) = g(b)</math> を満たす。
 したがって、ロルの定理が使用することができ、<math>a < c < b</math> なる <math>c</math> で <math>\frac{dg(c)}{dx} = 0</math> を満たす <math>c</math> が存在する。
 
 <math>\frac{dg(c)}{dx} = \frac{df(c)}{dx} - \frac{f(b) - f(a)}{b - a}</math> であるため、平均値の定理は示される。
<br><br>


__FORCETOC__
[[カテゴリ:解析学]]