文献あり

「ロピタルの定理」と言ってるソレ

1746

この記事では，よく人々が誤解してしまう【ロピタルの定理】について，定理が適用できない例を紹介していくことで，ロピタルの定理の正しい用法を守りましょう！という 注意喚起 を目的とします。

動機（無視しても良いです）

最近，数学に関するコンテンツが増えてきて飽きない生活を送れていますね。YouTubeにも様々な問題解説があったり，オンライン上で閲覧できる教科書があったり，MathlogやMathpediaなどの数学専用コンテンツが出来たり。。。
それらのコンテンツは気軽に全世界へ発信できるため，時にはミスであったり事実と異なることを説明してしまったり。それらを指摘して修正する（させる）ことでコンテンツの質は高まっていくものと考えます。

解説する側も間違えてしまうことで~~悪名高い~~有名な【ロピタルの定理】という定理があります。YouTube上で“ロピタルの定理”と検索したところ，ここ1年間(2020/04/25～2021/04/24)で27本の動画がヒットしました。特にその中で，ロピタルの定理の主張を述べて問題に適用したり証明している動画は23本ありましたが，その23本のうち明確に間違っていると判断したものは9本ありました。

「ぱるちが流し見で動画を見ていたところ，明確にロピタルの定理の主張を間違えており，口頭でも説明がない」ものが9本ありました。だからといって他の14本がすべて正しかったかを精査したわけではありません。「少なくとも9本は間違っていた」という表現です。ご自身で調べたければ，このリンクで検索結果が見れますので参考にしてください。

YouTube上のコンテンツでは，ヨビノリさんのロピタルの定理が最も丁寧に，かつ分かりやすく教えてくれていますので，正しい【ロピタルの定理】を知りたい！という人はそちらを閲覧してください。その他参考になるサイトは最後尾にとどめておきます。

よくもまあ数学系のコンテンツで正しくないことを世に出す勇気があるなぁ。。。なんなら，「大手予備校講師」を名乗ってる人も適当だなあなどと思ってしまいました。
従って，彼らの主張するロピタルの定理のどこが間違っているのかを指摘してみよう！と思い立ちましたので，文章に起こすこととしました。

ヨビノリさんの動画との差別化

ヨビノリさんの動画では，ロピタルの定理②(成り立たないケース) と称した解説があり，この記事はその二番煎じに見えるかもしれません。（実際半分以上は内容が被っています。）
が，ヨビノリさんの動画では『$g'(x)\neq0$を満たさない場合（ 6分12秒からの内容）』の説明において$x\to\infty$のときの説明となっていまして，なんでこの条件だけ$x\to\infty$なんだよ！$x\to0$の例じゃないのかよ！とツッコミを入れたくなってしまいました。
故にこの記事では，すべて$x\to0$のときのロピタルの定理で納得してもらうことを目標としています。

ロピタルの定理ってなんだっけ？

この記事では，次の形のロピタルの定理を扱います。（$x\to\infty$や$f(x)\to\infty$のときは考えません。考えなくてもこの記事の目的は達成されるからです。）

ロピタルの定理

$a$を実数とし，$a$を含む十分小さな開区間$I$を適当にとる。$f(x)$と$g(x)$は$I\setminus\suuretu a$上で定義され，$I\setminus\suuretu a$上微分可能な関数とする。$$ \lim_{x\to a}f(x)=0,\quad \lim_{x\to a}g(x)=0 $$
で，任意の$x\in I\setminus\suuretu a$に対して$g'(x)\neq 0$であるとする。このとき$$ \lim_{x\to a}\bunsuu{f'(x)}{g'(x)} $$
が（実数内に）存在するならば，$$ \lim_{x\to a}\bunsuu{f(x)}{g(x)}=\lim_{x\to a}\bunsuu{f'(x)}{g'(x)} $$

要するに，次の4つの条件

① （大前提）$a$は実数，$I$は$a$を含む開区間，$f$と$g$は$I\setminus\suuretu{a}$上で微分可能な関数

② $\displaystyle \lim_{x\to a}f(x)=\lim_{x\to a}g(x)=0$

③ 任意の$x\in I\setminus \suuretu a$に対して$g'(x)\neq0$

④ $\displaystyle\lim_{x\to a}\bunsuu{f'(x)}{g'(x)}$が実数内に存在

が仮定としてあり，結論$\displaystyle\lim_{x\to a}\bunsuu{f(x)}{g(x)}=\lim_{x\to a}\bunsuu{f'(x)}{g'(x)}$を得るのがロピタルの定理です。後から説明するように，②③④はどれが欠けてもいけません。

なお，関数が$I\setminus\suuretu a$上で定義されることに対して違和感を持つ場合は，次の形がロピタルの定理であると思ってもらっても，以降の説明には支障がありません。

強いロピタルの定理

実数$a$をとり，$a$を含む開区間$I$を適当にとる。$f(x)$と$g(x)$は$I$上で微分可能な関数で，$f(a)=g(a)=0$とする。任意の$x\in I\setminus \suuretu{a}$で$g'(x)\neq0$であり，$$ \lim_{x\to a}\bunsuu{f'(x)}{g'(x)} $$
が（実数内に）存在するならば，$$ \lim_{x\to a}\bunsuu{f(x)}{g(x)}=\lim_{x\to a}\bunsuu{f'(x)}{g'(x)} $$

こちらの形では，次の4つの仮定が要求されています。

$\style{font-family:inherit}{\text{①}}'$ （大前提）$a$は実数，$I$は$a$を含む開区間，$f$と$g$は$I$上で微分可能な関数

$\style{font-family:inherit}{\text{②}}'$ $\displaystyle f(a)=g(a)=0$

$\style{font-family:inherit}{\text{③}}'$ 任意の$x\in I\setminus \suuretu a$に対して$g'(x)\neq0$

$\style{font-family:inherit}{\text{④}}'$ $\displaystyle\lim_{x\to a}\bunsuu{f'(x)}{g'(x)}$が実数内に存在

どちらの形であっても特に気を付けたいのは，③の条件です。これをしっかりと説明できていないため，低俗な解説，低俗な動画ばかりになってしまっています。~~（どうしてCauchyの平均値の定理を証明しているときは$g'(x)\neq0$に敏感になっていたのに，ロピタルの定理になると忘れるのか，甚だ不思議です。）~~

条件②③④はすべて必要なの？

さすがに①の条件は大前提ですから，他の②③④の条件について，どれか1つでも欠けてはいけないことを説明しましょう。特に，

①②③は満たされるが ④ が満たされない例
①③④は満たされるが ② が満たされない例
①②④は満たされるが ③ が満たされない例

を提示していくことで納得してもらいます。

①②③は満たされるが ④ が満たされない例

$a=0$とし，$I=(-1,1)$とします。関数$f(x)$と$g(x)$を，$$ f(x)=\left\{ \begin{align} & x^2\sin\bunsuu1x&\text{if}\quad x\neq0\\ & 0 & \text{if}\quad x=0 \end{align} \right.,\quad g(x)=x $$
と定めますと，$f(x)$と$g(x)$は$I$上で連続な関数です。

$f(x)$が$x=0$で連続かは非自明なので証明します。

$$ \begin{align*} \lim_{x\to0}\zettaiti{f(x)-f(0)}&=\lim_{x\to0}\zettaiti{x^2\sin\bunsuu1x}\leq \lim_{x\to0}\zettaiti{x^2}=0 \end{align*} $$
よって$\lim\limits_{x\to0}{f(x)}=f(0)=0$より$f(x)$は$x=0$で連続。

特に$$ f'(x)=\left\{ \begin{align} & 2x\sin\left(\bunsuu1x\right)-\cos\left(\bunsuu1x\right)&\text{if}\quad x\neq0\\ & 0 & \text{if}\quad x=0 \end{align} \right.,\quad g'(x)=1 $$
と計算されますので，$f(x)$と$g(x)$は$I$上で微分可能であることが分かります（これで①を満たすことが確認できました。）

②についても，$f(x)$と$g(x)$は$I$上で連続であることから明らかです。

さらに$g'(x)=0$となる$x$は$I\setminus\suuretu0$上には存在しませんので，③も満たされています。

④について考えていきましょう。
$$ \lim_{x\to0}\bunsuu{f'(x)}{g'(x)}=\lim_{x\to0}\suuretu{2x\sin\left(\bunsuu1x\right)-\cos\left(\bunsuu1x\right)} $$
ですが，$\lim\limits_{x\to0}2x\sin\left(\bunsuu1x\right)=0$に対して$\lim\limits_{x\to0}\cos\left(\bunsuu1x\right)$は振動しますので，結局$$ \lim_{x\to0}\bunsuu{f'(x)}{g'(x)} $$
は存在しません。これで④が満たされていないことが分かりました。またこのとき，
$$ \lim_{x\to0}\bunsuu{f(x)}{g(x)}=\lim_{x\to0}x\sin\bunsuu1x=0 $$
ですので，$$ \lim_{x\to 0}\bunsuu{f(x)}{g(x)}\color{red}\bm{\neq}\color{black}\lim_{x\to 0}\bunsuu{f'(x)}{g'(x)} $$
であることが確認できました。

①③④は満たされるが ② が満たされない例

$a=0$とし，$I=(-1,1)$とします。関数$f(x)$と$g(x)$を，
$$ f(x)=1+2x,\quad g(x)=1+x $$
と定めますと，これらが①を満たすこと，②が満たされていないことは明らかです。さらに，
$$ f'(x)=2,\quad g'(x)=1 $$
と計算できますので，③を満たすのも明らかであり，$$ \lim_{x\to0}\bunsuu{f'(x)}{g'(x)}=2\quad \style{font-family:inherit}{\text{（収束）}} $$
よって④も満たされています。ですが②は満たされていないために，$$ 1=\lim_{x\to 0}\bunsuu{f(x)}{g(x)}\color{red}\bm{\neq}\color{black}\lim_{x\to0}\bunsuu{f'(x)}{g'(x)}=2 $$
であることが確認できました。

①②④は満たされるが ③ が満たされない例

③の条件の否定について

③の条件「任意の$x\in I\setminus \suuretu a$に対して$g'(x)\neq0$」を正確に否定すると，「$a$を含むどんなに小さな開区間$I$に対しても，ある$x\in I\setminus \suuretu a$が存在して，$g'(x)=0$を満たす」となります。

つまり③が満たされないことを確認したければ，任意に正の実数$\varepsilon$をとり，$I=(a-\varepsilon,a+\varepsilon)$と定めておいて，どんなに正の数$\varepsilon$を小さくしてもある$x\in I\setminus \suuretu a$が存在して，$g'(x)=0$を満たすことを示せば十分です。

$a=0$とし，任意に正の実数$\varepsilon$をとって$I=(-\varepsilon,\varepsilon)$とおきます。また関数$f(x)$と$g(x)$を，
$$ f(x)=\left\{ \begin{align} & x^3\left(4+2x\cos\bunsuu1{x^2}+3x^2\sin\bunsuu{2}{x^2}+4x^3\sin\bunsuu1{x^2}\right)&\text{if}\quad x\neq0\\ & 0 & \text{if}\quad x=0 \end{align} \right. $$
$$ g(x)=\left\{ \begin{align} & x^3\left(4+x\cos\bunsuu1{x^2}+3x^2\sin\bunsuu{2}{x^2}+2x^3\sin\bunsuu1{x^2}\right)&\text{if}\quad x\neq0\\ & 0 & \text{if}\quad x=0 \end{align} \right. $$
と定めます。少し考えれば，$f(x)$と$g(x)$は共に$x=0$で連続であることが分かります。また$f(x)$と$g(x)$は$I$上で微分可能で，特に
$$ f'(x)=\left\{ \begin{align} & 2x\sin\bunsuu1{x^2}\left(2+12x\sin\bunsuu1{x^2}+15x^3\cos\bunsuu1{x^2}+12x^4\right)&\text{if}\quad x\neq0\\ & 0 & \text{if}\quad x=0 \end{align} \right. $$
$$ g'(x)=\left\{ \begin{align} & 2x\sin\bunsuu1{x^2}\left(1+12x\sin\bunsuu1{x^2}+15x^3\cos\bunsuu1{x^2}+6x^4\right)&\text{if}\quad x\neq0\\ & 0 & \text{if}\quad x=0 \end{align} \right. $$
と計算されます。（計算の詳細は省略してしまいましたが，時間のある方は考えてみてください。）上記計算から，この$f(x)$と$g(x)$は①を満たしていることが分かり，$f(x)$と$g(x)$の連続性から②を満たすことも分かりました。また④については，$$ \begin{align} \lim_{x\to 0}\bunsuu{f'(x)}{g'(x)}&=\lim_{x\to 0}\bunsuu{2+12x\sin\bunsuu1{x^2}+15x^3\cos\bunsuu1{x^2}+12x^4}{1+12x\sin\bunsuu1{x^2}+15x^3\cos\bunsuu1{x^2}+6x^4}\\ &=\bunsuu{2+0+0+0}{1+0+0+0}=2\quad \style{font-family:inherit}{\text{（収束）}} \end{align} $$
と計算できますので，④が満たされていることも確認できました。

しかし，
$$ \begin{align} \lim_{x\to 0}\bunsuu{f(x)}{g(x)}=\bunsuu{4+0+0+0}{4+0+0+0}=1 \end{align} $$
ですので，$$ 1=\lim_{x\to 0}\bunsuu{f(x)}{g(x)}\color{red}\bm{\neq}\color{black}\lim_{x\to0}\bunsuu{f'(x)}{g'(x)}=2 $$
と，ロピタルの定理を否定するような結論が得られました。これは③の条件が満たされていないためです。

③を満たしていないことの確認

任意に正の実数$\varepsilon$をとり，$I=(-\varepsilon,\varepsilon)$とする。このとき$$ n_{\varepsilon}>\bunsuu1{\pi\varepsilon^2} $$
を満たすように正の整数$n_{\varepsilon}$がとれる。$x_0=\bunsuu{1}{\sqrt{\vphantom b n_{\varepsilon}\pi}}$とすれば，$0< x_0<\varepsilon$より$x_0\in I\setminus\suuretu0$であり，$$ \sin\bunsuu1{{x_0}^2}=\sin n_{\varepsilon}\pi=0 $$
故に，$g'(x_0)=0$である。よって③は満たされない。