ロピタルの定理は入試記述で減点？禁止の真相と証明・使い方解説

ロピタルの定理は入試記述で減点？禁止の真相と証明・使い方解説の疑問点について、分かりやすい解説を基に徹底解説します。

高校数学の範囲でロピタルの定理が正式に教えられない根本的な理由は、その証明に高校範囲を超える「コーシーの平均値の定理」を要するためです。定理のメカニズムを理解することは、大学数学への橋渡しとしても価値があります。

コーシーの平均値の定理とは

2つの関数 $f(x), g(x)$ が閉区間 $[a, b]$ で連続、開区間 $(a, b)$ で微分可能であり、$g'(x) \neq 0$ を満たすとき、開区間内に次を満たす実数 $c$ が少なくとも1つ存在します。

$$\frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(c)}{g'(c)} \quad (a < c < b)$$

これは、通常の平均値の定理 $\frac{f(b)-f(a)}{b-a} = f'(c)$ において、分母を単なる $x$ の変化ではなく別の関数 $g(x)$ の変化に拡張した高度な概念です。

$\frac{0}{0}$ 不定形におけるロピタルの定理の証明

$x \to a$ のとき $f(x) \to 0, g(x) \to 0$ とし、$f(a) = 0, g(a) = 0$ と再定義します。$x > a$ の近傍で $f(x), g(x)$ が微分可能であると仮定すると、コーシーの平均値の定理より、$a$ と $x$ の間に必ずある $c$ が存在して次式が成り立ちます。

$$\frac{f(x)}{g(x)} = \frac{f(x) - f(a)}{g(x) - g(a)} = \frac{f'(c)}{g'(c)}$$

ここで $x \to a+0$（右側極限）とすると、はさみうちの原理により $a < c < x$ である $c$ もまた $c \to a+0$ へと収束します。したがって、$\lim_{c \to a+0} \frac{f'(c)}{g'(c)}$ が確定値 $L$ を持つならば、元の極限も以下のように求まります。

$$\lim_{x \to a+0} \frac{f(x)}{g(x)} = \lim_{c \to a+0} \frac{f'(c)}{g'(c)} = L$$

左側極限についても同様に証明され、両側極限の一致から定理が成立します。この証明プロセスを見れば明らかなように、ロピタルの定理の本質は「関数の微小変化の比を、導関数の比にすり替える操作」であり、そこには平均値の定理という連続性の深い土台が不可欠なのです。