4
大学数学基礎解説
文献あり

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

1746
1
$$\newcommand{beku}[1]{\displaystyle\overrightarrow{\vphantom{b}\mbox{$#1$}}} \newcommand{bekutoru}[1]{\displaystyle\overrightarrow{\vphantom{b}\mbox{#1}}} \newcommand{bm}[1]{\boldsymbol{#1}} \newcommand{bunsuu}[2]{\dfrac{\,\lower.44ex{#1}\,}{\,\raise.10ex{#2}\,}} \newcommand{Deg}[0]{^{\circ}} \newcommand{dsqrt}[1]{\displaystyle\sqrt{\,#1\,}} \newcommand{gauss}[1]{\left[\mkern1mu {#1}\mkern1mu\right]} \newcommand{kaku}[1]{\angle\mbox{#1}} \newcommand{kumiawase}[2]{\mathord{{}_{#1}\kern-.12em{}\text{C}_{#2}}} \newcommand{mdot}[0]{\!\cdot\!} \newcommand{sankaku}[1]{\triangle \mbox{#1}} \newcommand{suuretu}[1]{\left\{#1\right\}} \newcommand{tsqrt}[1]{\textstyle\sqrt{\,#1\,}} \newcommand{zettaiti}[1]{\left\lvert#1\right\rvert} \newcommand{zyunretu}[2]{\mathord{{}_{#1}\kern-.12em{}\text{P}_{#2}}} $$

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

動機(無視しても良いです)

最近,数学に関するコンテンツが増えてきて飽きない生活を送れていますね。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$である。よって③は満たされない。

以上より,①②③④のいずれについても述べる必要があることが分かってもらえたでしょうか?

まとめ

ロピタルの定理の発動条件は,しっかり確認しようね!!

ちなみに[三宅 入門微分積分]のような大学1年生の標準的な教科書でさえロピタルの定理を間違っていることを確認しました。③の条件を考えていませんでした。なんでCauchyの平均値の定理の時には$g'(x)\neq0$について言及しているのに,ロピタルの定理で(書き)間違えるかなあ。

参考文献の『きみは「ロピタルの定理」を本当に知っているか』も③を考えていません。筆者の長谷川先生の主張には同意しますが。

追記

参考文献の『きみは「ロピタルの定理」を本当に知っているか』の閲覧が,2022/03/11時点で出来ないことを確認しております。2021/04/24時点のアーカイブをとっていましたので,参考にしたい方は次のリンクから飛んでください。

https://web.archive.org/web/20210424201231/https://saitei.net/2016/07/22/post-179/

参考文献

[2]
加藤 文元, 大学教養 微分積分, チャート式シリーズ , 数研出版, 2019, p.97~103
[4]
三宅 敏恒, 入門微分積分, 培風館, 1992, p.36
投稿日:2021424
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

ぱるち
ぱるち
133
23567
数学屋さんをしています。代数,数論系に興味があり,今は楕円曲線と戯れています。Mathlogは現実逃避用という噂もあります。@f_d00123

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中