ロピタルの定理を正しく理解するためには、その土台となる数学的構造を把握しておく必要があります。一般的な $\frac{0}{0}$ 型の定理の主張は以下の通りです。
開区間 $(a, b)$ 上で関数 $f(x), g(x)$ が微分可能であり、区間内のすべての $x$ で $g'(x) \neq 0$ とする。さらに、$\lim_{x\to a^+} f(x) = 0$ かつ $\lim_{x\to a^+} g(x) = 0$ であるとき、もし極限 $\lim_{x\to a^+}\frac{f'(x)}{g'(x)} = L$（$L$ は実数、または $\pm\infty$）が存在するならば、
$$\lim_{x\to a^+}\frac{f(x)}{g(x)} = \lim_{x\to a^+}\frac{f'(x)}{g'(x)} = L$$
この定理を証明する鍵となるのが、通常の平均値の定理を拡張した「コーシーの平均値の定理」です。
【コーシーの平均値の定理】
閉区間 $[a, b]$ で連続、開区間 $(a, b)$ で微分可能であり、区間内で常に $g'(x) \neq 0$ ならば、 $$\frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f'(c)}{g'(c)}$$ を満たす実数 $c$（$a < c < b$）が存在する。
補助関数 $h(x) = (f(b)-f(a))g(x) - (g(b)-g(a))f(x)$ を定義してロルの定理を適用することでコーシーの平均値の定理が示され、そこから $x \to a$ の極限操作を行うことでロピタルの定理が厳密に導かれます。この一連の大学初年級レベルの論証を記述答案の中でミスなく完結させる難度の高さこそが、入試本番で安易に持ち出すべきではない技術的要因です。
