로피탈의 정리

해석 고등 대학 · 교육과정: 대학 미적분학 — 한국·중국 고교 수험가의 비공식 극한 풀이 · v1 · 🤖 LLM 버전

⚔️ 어둠의 스킬 (한국 · 중국) — 대학 미적분학에서 정식으로 배우는 정리로, 한국 고교 교육과정에서는 다루지 않는다. 객관식·단답형의 검산에는 강력하지만 서술형 답안의 근거로 쓰면 감점될 수 있다. 전체 목록은 어둠의 스킬 문서에.

정의

로피탈의 정리(L'Hôpital's rule)는 $\frac{0}{0}$ 꼴 또는 $\frac{\infty}{\infty}$ 꼴인 함수의 극한을 분자·분모를 각각 미분해서 구하는 정리다. 두 함수 $f, g$가 $x = a$ 근처에서 미분가능하고 그 근처에서 $g'(x) \neq 0$이며

$$\lim_{x \to a} f(x) = \lim_{x \to a} g(x) = 0 \ (\text{또는 } \pm\infty)$$

일 때, 극한 $\lim\limits_{x \to a} \dfrac{f'(x)}{g'(x)}$가 존재하면(또는 $\pm\infty$이면) 다음이 성립한다.

$$\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}$$

$x \to \infty$인 극한에서도 같은 꼴로 성립한다.

직관

$\frac{0}{0}$ 꼴이란 분자와 분모가 같은 지점에서 동시에 0으로 사라지는 상황이다. 사라지는 두 값의 비율을 결정하는 것은 사라지는 속도다. 미분가능한 함수는 $a$ 근처에서 접선으로 근사되므로 $f(x) \approx f'(a)(x-a)$, $g(x) \approx g'(a)(x-a)$이고, 비를 취하면 $(x-a)$가 약분되어 $\frac{f'(a)}{g'(a)}$만 남는다.

비유하면 이렇다. 두 자동차가 같은 지점에서 동시에 출발하면, 출발 직후 두 차가 간 거리의 비는 두 차의 속도의 비와 같다. 거리(함수값)가 둘 다 0이 되는 지점에서는 속도(도함수)가 비율을 결정한다.

🧑‍🏫 쉬운 설명

이 정리에서 학생들이 가장 많이 걸리는 지점은 "왜 분자·분모를 미분해도 극한이 안 변하지?"가 아니라, 오히려 아무 극한에나 막 써도 된다고 착각하는 것이다. 로피탈은 $\frac{0}{0}$ 또는 $\frac{\infty}{\infty}$ 꼴에서만 작동하는 도구다. 자동차 비유로 말하면, 두 차가 같은 지점에서 동시에 출발할 때만 "거리의 비 = 속도의 비"가 성립한다. 출발점이 다른 두 차(극한값이 0이 아닌 경우)에 속도의 비를 갖다 대면 엉뚱한 답이 나온다.

또 하나, 이 정리가 한국에서 "어둠의 스킬"이라 불리는 이유를 정확히 알아두자. 고교 과정에서는 $\frac{0}{0}$ 꼴 극한을 인수분해·유리화·치환으로 푸는 것이 정식 방법이고, 로피탈은 교육과정 밖이다. 그래서 답만 맞히면 되는 객관식에서 검산용으로는 유용하지만, 서술형에서 "로피탈의 정리에 의해"라고 쓰면 근거로 인정받지 못해 감점될 수 있다. 중국의 대입 시험(가오카오) 수험생들 사이에서도 같은 이유로 유명해서, 답안에 洛必达(뤄비다, 로피탈)를 쓰면 되느냐는 논쟁이 늘 따라다닌다.

핵심 한 줄: 꼴을 먼저 확인하고($\frac{0}{0}$ 또는 $\frac{\infty}{\infty}$), 시험에서는 검산용으로만.

예시

• $\lim\limits_{x \to 1} \dfrac{x^3 - 1}{x^2 - 1}$ : $\frac{0}{0}$ 꼴. 로피탈로 $\lim\limits_{x \to 1} \dfrac{3x^2}{2x} = \dfrac{3}{2}$. 정식 풀이(인수분해)로도 $\dfrac{(x-1)(x^2+x+1)}{(x-1)(x+1)} \to \dfrac{3}{2}$ — 같은 답이다.
• $\lim\limits_{x \to 0} \dfrac{e^x - 1}{x}$ : $\frac{0}{0}$ 꼴. 로피탈로 $\lim\limits_{x \to 0} \dfrac{e^x}{1} = 1$.
• $\lim\limits_{x \to \infty} \dfrac{x}{e^x}$ : $\frac{\infty}{\infty}$ 꼴. 로피탈로 $\lim\limits_{x \to \infty} \dfrac{1}{e^x} = 0$ — 지수함수가 다항함수보다 빨리 커진다는 사실의 한 줄 증명.

아래는 $\frac{0}{0}$ 꼴의 대표 함수 $y = \dfrac{\sin x}{x}$의 그래프다. $x = 0$에서 정의되지 않지만 극한값 1로 다가간다.

🌍 실생활 예시

• 수능·모의고사 검산 문화: 한국 이과 수험생들 사이에서 로피탈은 "몰래 배우는 첫 번째 대학 수학"으로 통한다. 객관식에서 극한 문제를 정식 풀이로 푼 뒤 로피탈로 10초 만에 검산하는 식이다.
• 수학사의 유명한 거래: 이 정리는 사실 스위스 수학자 요한 베르누이의 결과다. 프랑스 귀족 로피탈 후작이 베르누이에게 정기적으로 돈을 지불하고 수학적 발견을 받아 1696년 자신의 미적분 교과서에 실었고, 이름은 후작에게 남았다. "돈으로 산 정리"라는 별명이 있다.

⚠️ 흔한 실수

• 꼴 확인 없이 사용 → $\lim\limits_{x \to 0} \dfrac{x^2+1}{x+2}$은 그냥 대입하면 $\dfrac{1}{2}$인데, 무턱대고 미분하면 $\dfrac{2x}{1} \to 0$이라는 오답이 나온다. $\frac{0}{0}$·$\frac{\infty}{\infty}$ 꼴일 때만 쓸 수 있다.
• 순환논법: $\lim\limits_{x \to 0} \dfrac{\sin x}{x} = 1$을 로피탈로 "증명"하는 것은 반칙이다. $(\sin x)' = \cos x$를 유도할 때 바로 이 극한이 쓰이기 때문에, 논리가 뱀이 제 꼬리를 무는 꼴이 된다.
• 역은 성립하지 않는다 → $\lim\limits_{x \to \infty} \dfrac{x + \sin x}{x} = 1$이지만, 미분한 $\dfrac{1 + \cos x}{1}$은 진동해서 극한이 없다. 미분한 쪽의 극한이 없으면 로피탈은 아무 결론도 주지 않는다 (원래 극한이 없다는 뜻이 아니다).
• 서술형에 근거로 사용 → 교육과정 밖 정리이므로 답안에서 논거로 인정되지 않을 수 있다. 서술형은 인수분해·유리화 등 정식 방법으로 쓰자.

확인 문제

1. $\lim\limits_{x \to 2} \dfrac{x^2 - 4}{x - 2}$를 (a) 인수분해(정식 풀이), (b) 로피탈, 두 방법으로 각각 구하고 답이 같은지 확인하라.
2. $\lim\limits_{x \to 0} \dfrac{1 - \cos x}{x^2}$를 로피탈의 정리로 구하라. (힌트: 한 번 미분해도 여전히 $\frac{0}{0}$ 꼴이면 한 번 더 쓸 수 있다.)
3. 친구가 $\lim\limits_{x \to 1} \dfrac{x^2 + 1}{x + 1}$을 로피탈로 풀어 $\dfrac{2x}{1} \to 2$라고 답했다. 무엇이 잘못됐고, 옳은 답은 무엇인가?

관련 개념

• 정식 풀이의 기반: 함수의 극한, 함수의 연속
• 이 정리의 재료: 도함수, 미분법, 초월함수의 미분
• 접선 근사라는 아이디어는 미분계수와 평균값 정리로 정당화된다 (엄밀한 증명은 코시 평균값 정리를 쓴다)
• 다른 나라별 비공식 테크닉: 어둠의 스킬