로피탈의 정리 증명 (L'Hôpital's Rule)
로피탈의 정리는 두 함수의 비의 극한이 부정형일 때, 도함수의 비의 극한으로 이를 대체할 수 있음을 보여줍니다. 이 증명은 코시의 평균값 정리의 직접적인 응용입니다.
1. 정리의 가정 (0/0 꼴)
함수 $f$와 $g$가 점 $a$를 포함하는 열린 구간에서 미분 가능하고 다음을 만족한다고 가정합니다.
- $\lim_{x \to a} f(x) = 0, \quad \lim_{x \to a} g(x) = 0$
- $a$ 근처에서 $g'(x) \neq 0$
- 극한 $\lim_{x \to a} \frac{f'(x)}{g'(x)} = L$ 이 존재함 (실수 또는 $\pm\infty$)
$$\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}$$
2. 코시의 MVT를 이용한 증명
Proof Step-by-Step
편의를 위해 $x \to a^+$인 우극한의 경우를 증명합니다.
- 함수의 확장: $f(a)=0, g(a)=0$으로 정의하면, $f$와 $g$는 $[a, x]$에서 연속입니다.
- 코시의 평균값 정리 적용: 구간 $[a, x]$에서 코시의 MVT에 의해 다음을 만족하는 $c$가 $a$와 $x$ 사이에 존재합니다.
$$\frac{f(x) - f(a)}{g(x) - g(a)} = \frac{f'(c)}{g'(c)}$$
- 조건 대입: $f(a)=0, g(a)=0$이므로 식이 다음과 같이 단순화됩니다.
$$\frac{f(x)}{g(x)} = \frac{f'(c)}{g'(c)}$$
- 극한 취하기: $x \to a^+$이면 샌드위치 정리에 의해 $c \to a^+$가 됩니다. 따라서:
$$\lim_{x \to a^+} \frac{f(x)}{g(x)} = \lim_{c \to a^+} \frac{f'(c)}{g'(c)} = L$$
3. 주의사항 및 한계
- 도함수의 극한 존재: $\lim \frac{f'}{g'}$이 존재하지 않는다고 해서 원래 극한이 없는 것은 아닙니다. 단지 로피탈의 정리를 사용할 수 없을 뿐입니다.
- 순환 논리 조심: $\lim_{x \to 0} \frac{\sin x}{x}$를 증명할 때 $\sin x$의 미분이 $\cos x$임을 이용한다면, 이미 그 미분 공식 유도에 $\lim \frac{\sin x}{x} = 1$이 사용되었으므로 순환 논리에 빠지게 됩니다.
4. 무한대($\infty/\infty$) 꼴로의 확장
$\infty/\infty$ 꼴의 증명은 $\epsilon-\delta$ 논법을 사용하여 더 복잡한 과정을 거치지만, 본질적으로는 코시의 MVT를 적절한 구간 $[x, x_0]$에 적용하여 함숫값의 비를 도함수의 비로 억제하는 원리를 따릅니다.