最大値・最小値の定理からロピタルの定理を示す
初めに
最大値・最小値の定理をスタートとしてそこからロルの定理、コーシーの平均値の定理、そしてロピタルの定理という流れで示します。また、この記事の中では一般に$a< b$とします。
本題
では最初に最大値・最小値の定理を述べます。
最大値・最小値の定理
今回は次の定理を認めてこれからスタートします。
実数値関数$f$と有界閉区間$[a,b]$について. $f$が$[a,b]$上で連続であるなら, ある$c,d\in[a,b]$が存在して任意の実数$x\in[a,b]$について
$$ f(c)\leq f(x)\leq f(d)$$が成立する.
噛み砕いていえば「連続である関数は有界閉区間で最大値も最小値も存在する。」というものですね。さて、次はロルの定理です。
ロルの定理
ロルの定理は次のような定理です。
有界閉区間$[a,b]$上で連続でありしかも$(a,b)$で微分可能な関数$f$について.
$$ f(a)=f(b)\Rightarrow\exists c\in(a,b)\,\biggl[f'(c)=0\biggr]$$が成立する.
$\displaystyle\exists c\in(a,b)\,\biggl[f'(c)=0\biggr]$ とは「$f'(c)=0$となるような、ある$c\in(a,b)$が存在する。」という意味です。
証明の前に次の補題を示します。
有界閉区間$[a,b]$において, 実数値関数$f$が$c\in[a,b]$で最大値, または最小値を取り, しかもこの点で微分可能であるとき$f'(c)=0$が成立する.
最大値を取る場合について示す.
仮定より$x\in[a,b]$について$f(x)\leq f(c)$が成立する. また, $c$において微分可能であるので$c\neq a,b$である. 従って$(c,c+h)\subset[a,b]$となる正の実数$h$が存在して
$$\displaystyle\frac{f(c+h)-f(c)}{h}\leq0$$
が成立するのでこれを$h\to+0$とすることにより
$$\displaystyle\lim_{h\to+0}\frac{f(c+h)-f(c)}{h}=f'(c)\leq0$$
が成立する. そして$(c-h,c)\subset[a,b]$となるような正の実数$h$について同様の議論により
$$\displaystyle\lim_{h\to-0}\frac{f(c-h)-f(c)}{-h}=f'(c)\geq0$$
が分かる. 以上より$f'(c)=0$が成立する. 最小値を取る場合も同様である. $\Box$
ではロルの定理を示しましょう。
$f(a)=f(b)=k$と置く.
最大値・最小値の定理よりある$c\in[a,b]$が存在して$f$はそこで最大値, または最小値を取る.
もし$c\in(a,b)$において最大値, または最小値を取るときこの点で$f$は微分可能である. 従って補題より$f'(c)=0$が成立する.
さもなくば$a$と$b$において最大値と最小値の両方を取るので任意の$x\in[a,b]$について
$$\displaystyle k=f(a)\leq f(x)\leq f(b)=k$$
が成立する. 即ち$f$は$f(x)=k$なる定数関数であるのである$c\in(a,b)$が存在して$f'(c)=0$が成立する.
以上より示された.$\Box$
これでロルの定理は示されました。次はコーシーの平均値の定理です。
コーシーの平均値の定理
平均値の定理といえば高校の数学lllで習う次のものをご存じの方も多いのではないでしょうか。
有界閉区間$[a,b]$上で連続でありしかも$(a,b)$で微分可能な関数$f$について
$$\displaystyle\exists c\in(a,b)\,\biggl[\frac{f(b)-f(a)}{b-a}=f'(c)\biggr]$$が成立する.
定理の名前の欄で分かってしまいますが、実はラグランジュの平均値の定理という名前が本来のこの定理の名前です。今回示すコーシーの平均値の定理はこれより一般的な次の定理です。
有界閉区間$[a,b]$上で連続でありしかも$(a,b)$で微分可能な関数$f,g$について
$$\displaystyle c\in(a,b)\,\biggl[\left\{f(b)-f(a)\right\}g'(c)=f'(c)\left\{g(b)-g(a)\right\}\biggr]$$が成立する. 特に$g(a)\neq g(b)$かつ$g'(c)\neq0$であるとき
$$\displaystyle\exists c\in(a,b)\,\biggl[\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(c)}{g'(c)}\biggr]$$が成立する.
コーシーの平均値の定理において$g(x)=x$とした場合がラグランジュの平均値の定理であるのでコーシーの平均値の定理はその拡張であると言えます。では、証明していきましょう。
$\displaystyle h(x)=\left\{f(b)-f(a)\right\}\left\{g(x)-g(a)\right\}-\left\{g(b)-g(a)\right\}\left\{f(x)-f(a)\right\}$と定義する. 仮定より$h$は$[a,b]$上で連続でありしかも$(a,b)$で微分可能である. また, 簡単な計算により$h(a)=h(b)=0$であることも分かる. 従ってロルの定理より
$$\displaystyle\exists c\in(a,b)\,\biggl[h'(c)=0\biggr]$$が成立する. $h'(x)=\left\{f(b)-f(a)\right\}g'(x)-\left\{g(b)-g(a)\right\}f'(x)$であるので
$$\displaystyle\exists c\in(a,b)\,\biggl[\left\{f(b)-f(a)\right\}g'(c)=\left\{g(b)-g(a)\right\}f'(c)\biggr]$$が成立する. また, $g(a)\neq g(b)$かつ$g'(c)\neq0$であるとき
$$\displaystyle\exists c\in(a,b)\,\biggl[\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(c)}{g'(c)}\biggr]$$が成立する. $\Box$
これでコーシーの平均値の定理が示されました。次で最後、ロピタルの定理を示していきます。
ロピタルの定理
ロピタルの定理といえば「大学入試の最終手段」だとか「入試の裏ワザ」みたいなことを言われてると思っているんですが、そもそも皆正しく使えていないので所詮そんなもんなんだろうなぁと思ってます。では定理の内容を書きます。
$\displaystyle\lim_{x\to a+0}f(x)=\lim_{x\to a+0}g(x)=0$であり, $\displaystyle\lim_{x\to a+0}\frac{f'(x)}{g'(x)}$が存在するとき$\displaystyle\lim_{x\to a+0}\frac{f(x)}{g(x)}$も存在して
$$\displaystyle\lim_{x\to a+0}\frac{f'(x)}{g'(x)}=\lim_{x\to a+0}\frac{f(x)}{g(x)}$$が成立する.
定理の中の「$a+0$」の部分を全て「$a-0$」や「$a$」に置き換えても成立します。$a-0$とした場合の証明もほぼ同様なので端折り、この二つの結果を合わせれば「$a$」とした場合になります。さて、証明しましょう。
$f',g'$が存在し, $\displaystyle\lim_{x\to a+0}\frac{f'(x)}{g'(x)}$が存在するので$\varepsilon_1$をある正の実数として, ある開区間$(a,a+\varepsilon_1)$において$g'(x)\neq0$であり, $f,g$は連続かつ微分可能である. さらに$\displaystyle\lim_{x\to a+0}\frac{f(x)}{g(x)}$が存在するので$\varepsilon_2$をある正の実数として$(a,a+\varepsilon_2)$において$g(x)\neq0$である. $\varepsilon=\min(\varepsilon_1,\varepsilon_2)$とすると$(a,a+\varepsilon)$において$g(x)\neq0$かつ$g'(x)\neq0$であり,$f,g$は連続かつ微分可能である. また, $f(a)=g(a)=0$と定義する. そして$a< x< a+\varepsilon$となるように$x$を定める. すると$f,g$は$[a,x]$上で連続でありしかも$(a,x)$において微分可能かつ$g(x)-g(a)=g(x)\neq0$, $t\in(a,x)$に対して$g'(t)\neq0$であるのでコーシーの平均値の定理から
$$\displaystyle\exists c_x\in(a,x)\,\biggl[\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f'(c_x)}{g'(c_x)}\biggr]$$が成立する. $f(a)=g(a)=0$であるので
$$\displaystyle\exists c_x\in(a,x)\,\biggl[\frac{f(x)}{g(x)}=\frac{f'(c_x)}{g'(c_x)}\biggr]$$
となる. さて, この関係を保ったまま$x\to a+0$とすることにより$c_x\to a+0$となるので
$$\displaystyle\lim_{x\to a+0}\frac{f(x)}{g(x)}=\lim_{x\to a+0}\frac{f'(x)}{g'(x)}$$
が成立する. $\Box$
終わりに
ロピタルの定理は確かに強力で使いやすい定理に見えますがその実、仮定がめんどくさかったりそもそも示すのがめんどくさかったりするのでとりあえず一回は示してみたらいいと思います。