로피탈 정리, 왜 미분하면 극한이 풀릴까? — 0/0·∞/∞ 부정형 정리

"대입했더니 0/0", 그 막막함

극한 문제에서 이런 걸 만납니다. $\lim_{x\to 0}\dfrac{\sin x}{x}$. 일단 $x=0$을 넣어보면 $\dfrac{0}{0}$. 분모도 0, 분자도 0. 인수분해도 약분도 안 되고, 여기서 펜이 멈칫한 경험 다들 있으실 거예요.

이때 등장하는 게 로피탈 정리(L'Hôpital's rule)입니다. "분자와 분모를 각각 미분해서 다시 극한을 구하라"는, 거의 마법 같은 도구죠. 그런데 원리 없이 외워 쓰면 반드시 함정에 빠집니다. 3분만 보면 언제 쓸 수 있고 왜 되는지가 잡힙니다.

한 줄 정의

극한 $\lim \dfrac{f(x)}{g(x)}$ 가 $\frac{0}{0}$ 또는 $\frac{\infty}{\infty}$ 부정형일 때,

$\lim \frac{f(x)}{g(x)} = \lim \frac{f'(x)}{g'(x)}$

즉 "분자 미분 ÷ 분모 미분"으로 바꿔 다시 극한을 구합니다.

왜 되는가 — 직관 한 컷

$\frac{0}{0}$은 결국 "둘 다 0으로 가는데, 누가 더 빨리 가느냐"의 싸움입니다.

함수가 0에 다가가는 속도 = 그 점의 기울기 = 도함수. 그래서 두 함수가 0으로 가는 속도의 비율, 즉 $\dfrac{f'}{g'}$ 가 극한값이 됩니다. 접선으로 근사하면 $f(x)\approx f'(a)(x-a)$, $g(x)\approx g'(a)(x-a)$ 이고, $(x-a)$가 약분되어 $\dfrac{f'(a)}{g'(a)}$만 남습니다. (엄밀한 증명은 코시 평균값 정리에서 나옵니다.)

예제로 확인

① $\frac{0}{0}$ 형 — $\lim_{x\to 0}\dfrac{\sin x}{x}$

$x=0$ 대입 → $\frac{0}{0}$ (부정형 ✓). 분자 미분 $(\sin x)'=\cos x$, 분모 미분 $(x)'=1$ 이므로

$\lim_{x\to 0}\frac{\sin x}{x} = \lim_{x\to 0}\frac{\cos x}{1} = \cos 0 = 1$

② $\frac{\infty}{\infty}$ 형 — $\lim_{x\to\infty}\dfrac{\ln x}{x}$

$\lim_{x\to\infty}\frac{\ln x}{x} = \lim_{x\to\infty}\frac{1/x}{1} = 0$

로그는 $x$보다 훨씬 느리게 커진다는 걸 한 줄로 보여줍니다.

여기서 다들 틀립니다 — 함정 3가지

1. 부정형이 아닌데 쓴다. 예: $\lim_{x\to 0}\dfrac{\cos x}{x}$ 는 $\frac{1}{0}$ 형이라 로피탈 대상이 아닙니다. 반드시 $\frac{0}{0}$ 또는 $\frac{\infty}{\infty}$인지 먼저 확인.
2. 몫의 미분법과 혼동. 다시 강조하지만 $\dfrac{f'}{g'}$ 이지 $\left(\dfrac{f}{g}\right)'$ 가 아닙니다.
3. 부정형을 벗어났는데 계속 반복. 한 번 미분해서 부정형이 풀렸으면 거기서 멈춰야 합니다. $\frac{0}{0}$이 또 나올 때만 다시 적용합니다.

이 셋만 피하면 로피탈은 극한의 만능키에 가깝습니다.

정리

• 조건: $\frac{0}{0}$ 또는 $\frac{\infty}{\infty}$ 부정형
• 방법: 분자·분모를 각각 미분한 뒤 다시 극한
• 원리: "0(또는 ∞)으로 가는 속도(도함수)의 비율"

로피탈 정리는 미분과 극한이 만나는 지점이라, 여기가 흔들리면 이후 급수·적분에서 계속 발목을 잡힙니다. 부정형 판별 → 도함수 → 재적용 조건까지 손으로 여러 번 풀어보는 게 정석입니다.