로피탈 정리 증명과 조건 — 쓰면 안 되는 이유까지

📐 개념 정리

로피탈 정리는 0/0, ∞/∞ 꼴의 부정형 극한을 분자와 분모를 각각 미분한 비의 극한으로 바꿔 계산하는 정리입니다. 성립 조건 네 가지, 코시 평균값 정리를 이용한 증명, 대표 예제와 수능 서술형에서 쓰면 안 되는 이유를 정리합니다.

로피탈 정리를 한 줄로 말하면 "분수 꼴 극한이 0/0이나 ∞/∞로 막히면, 분자와 분모를 따로 미분해서 다시 극한을 구해도 된다"는 정리입니다. 강력한 도구지만 조건을 확인하지 않고 쓰면 틀린 답이 나오고, 고등학교 교육과정 밖의 정리라 서술형 답안에서는 근거로 인정받지 못합니다. 아래에서 정의, 조건, 증명, 예제, 그리고 쓰면 안 되는 경우를 차례로 살펴봅니다.

로피탈 정리란 무엇인가?

두 함수 $f(x)$, $g(x)$가 $x \to a$에서 모두 0으로 가거나 모두 무한대로 발산하면, 비 $f(x)/g(x)$의 극한은 대입만으로는 알 수 없습니다. 이런 꼴을 부정형이라고 부릅니다. 로피탈 정리는 이 부정형 극한을 도함수의 비로 바꾸어 줍니다.

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

오른쪽 극한이 존재할 때(또는 ±∞일 때)만 등호가 성립한다

여기서 $f'(x)$와 $g'(x)$는 각각 분자와 분모의 도함수입니다. 주의할 점은 몫의 미분법이 아니라는 것입니다. $f/g$ 전체를 미분하는 것이 아니라 분자 따로, 분모 따로 미분합니다. 이름은 1696년 프랑스의 로피탈 후작이 펴낸 세계 최초의 미적분 교과서에 실려 붙었지만, 실제 발견자는 그를 가르친 요한 베르누이로 알려져 있습니다.

기하적으로 보면 $x=a$ 근처에서 $f(x) \approx f'(a)(x-a)$, $g(x) \approx g'(a)(x-a)$로 근사되므로, 두 함수의 비는 접선 기울기의 비 $f'(a)/g'(a)$로 수렴합니다. 로피탈 정리는 이 직관을 엄밀하게 만든 것입니다.

로피탈 정리 조건 — 언제 쓸 수 있나?

로피탈 정리 조건은 네 가지이고, 하나라도 빠지면 결론이 보장되지 않습니다. 시험에서 로피탈 정리를 잘못 쓴 답안 대부분은 첫 번째나 네 번째 조건을 확인하지 않은 경우입니다.

로피탈 정리 성립 조건 4가지

• 부정형일 것 — $x \to a$에서 $f, g$가 모두 0으로 가거나(0/0) 모두 ∞로 발산(∞/∞)해야 한다. 3/0 같은 꼴은 부정형이 아니므로 적용 불가.
• 미분가능할 것 — $a$를 제외한 $a$ 근방의 열린 구간에서 $f, g$가 미분가능해야 한다. $a$ 자체에서의 미분가능성은 필요 없다.
• 분모의 도함수가 0이 아닐 것 — 그 근방에서 $g'(x) \neq 0$이어야 한다.
• 도함수 비의 극한이 존재할 것 — $\lim f'(x)/g'(x)$가 존재하거나 ±∞여야 한다. 이 극한이 진동해서 존재하지 않으면 원래 극한에 대해 아무 결론도 내릴 수 없다.

네 번째 조건은 특히 자주 오해됩니다. 도함수 비의 극한이 존재하지 않는다고 해서 원래 극한도 없는 것은 아닙니다. 예를 들어 $(x+\sin x)/x$는 $x \to \infty$에서 1로 수렴하지만, 로피탈 정리를 적용하면 $(1+\cos x)/1$이 되어 진동합니다. 이 경우 로피탈 정리는 "쓸 수 없는" 것이지 "극한이 없다"고 말해 주는 것이 아닙니다.

로피탈 정리 증명 — 코시 평균값 정리로

로피탈 정리 증명의 핵심 도구는 코시 평균값 정리입니다. 일반 평균값 정리가 한 함수의 평균 변화율과 순간 변화율을 잇는다면, 코시 평균값 정리는 두 함수의 변화량 비를 어느 한 점에서의 도함수 비와 연결합니다. 구간 $[a, x]$에서 $f, g$가 연속이고 내부에서 미분가능하며 $g' \neq 0$이면, 다음을 만족하는 $c$가 $a$와 $x$ 사이에 존재합니다.

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

코시 평균값 정리 — 두 함수의 변화량 비를 한 점의 도함수 비로 바꾼다

이제 0/0 꼴의 로피탈 정리 증명은 짧게 끝납니다. 필요하면 $f(a) = g(a) = 0$으로 값을 정의해(또는 재정의해) $f, g$를 $a$에서 연속으로 만듭니다. 그러면 위 식의 좌변은 $f(x)/g(x)$ 자체가 됩니다. $x \to a$일 때 $c$는 $a$와 $x$ 사이에 끼어 있으므로 $c \to a$이고, 따라서 다음이 성립합니다.

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

우극한 증명. 좌극한도 같은 방식이며, 둘을 합치면 양쪽 극한이 된다

마지막 등호에서 네 번째 조건, 즉 도함수 비의 극한 $L$이 존재한다는 가정이 쓰였습니다. 이 가정이 없으면 $c$가 $a$로 가더라도 $f'(c)/g'(c)$가 어디로 가는지 알 수 없으므로 증명이 멈춥니다. ∞/∞ 꼴의 증명은 같은 아이디어를 쓰되 구간을 잡는 방식이 조금 더 기술적이고, $x \to \infty$인 경우는 $t = 1/x$로 치환하면 $t \to 0^{+}$인 경우로 환원됩니다.

로피탈 정리 예제 — 대표 극한 세 가지

첫 번째 로피탈 정리 예제는 가장 기본적인 0/0 꼴입니다. $x \to 0$에서 $(e^x - 1)/x$는 분자와 분모가 모두 0으로 가므로 부정형입니다. 분자를 미분하면 $e^x$, 분모를 미분하면 1이므로 극한은 $e^0 = 1$입니다.

두 번째는 두 번 적용해야 하는 경우입니다. $x \to 0$에서 $(1 - \cos x)/x^2$을 한 번 미분하면 $\sin x / 2x$가 되는데 여전히 0/0 꼴입니다. 한 번 더 적용하면 $\cos x / 2$가 되어 극한은 $1/2$입니다. 로피탈 정리는 조건만 계속 만족되면 여러 번 반복 적용할 수 있습니다.

$$\lim_{x \to \infty} \frac{\ln x}{x} = \lim_{x \to \infty} \frac{1/x}{1} = 0, \qquad \lim_{x \to \infty} \frac{x^n}{e^x} = \cdots = \lim_{x \to \infty} \frac{n!}{e^x} = 0$$

∞/∞ 꼴 — 로그는 다항식보다, 다항식은 지수함수보다 느리게 커진다

세 번째 예제는 ∞/∞ 꼴로, 함수의 증가 속도 비교에 쓰입니다. $\ln x / x$는 한 번 적용으로 0이 되고, $x^n / e^x$는 $n$번 적용하면 분자가 상수 $n!$이 되어 0으로 갑니다. "지수함수는 어떤 다항식보다 빠르게 커진다"는 문장의 수학적 근거가 바로 이 계산입니다.

0·∞, ∞−∞, $0^0$, $1^\infty$ 같은 다른 부정형은 그대로 로피탈 정리를 쓸 수 없습니다. 곱은 분수로 고쳐 쓰고, 거듭제곱 꼴은 로그를 취해 0/0이나 ∞/∞ 꼴로 바꾼 뒤 적용합니다. 예를 들어 $x \to 0^{+}$에서 $x \ln x$는 $\ln x / (1/x)$로 고치면 ∞/∞ 꼴이 되고, 로피탈 정리를 적용하면 $-x \to 0$입니다.

로피탈 정리 쓰면 안 되는 이유 — 순환 논증과 서술형

"로피탈 정리 쓰면 안 되는 이유"가 검색어로 자주 등장하는 데는 두 가지 배경이 있습니다. 첫째는 수학적 이유인 순환 논증입니다. $x \to 0$에서 $\sin x / x \to 1$을 로피탈 정리로 보이면 $\cos x / 1 \to 1$로 한 줄에 끝나지만, 이 계산은 $\sin x$의 도함수가 $\cos x$라는 사실을 전제합니다. 그런데 $(\sin x)' = \cos x$를 유도할 때 바로 $\sin x / x \to 1$이 쓰입니다. 결론을 가정해서 결론을 증명한 셈이 되므로 논리적으로 무효입니다.

둘째는 제도적 이유입니다. 로피탈 정리는 현행 고등학교 교육과정에 포함되어 있지 않습니다. 객관식이나 단답형에서 검산용으로 쓰는 것은 아무도 막지 않지만, 서술형과 논술 답안에서 "로피탈 정리에 의해"라고 적으면 교육과정 밖의 정리를 근거로 삼은 것이라 감점되거나 그 단계의 점수를 받지 못하는 경우가 많습니다. 대학 미적분학 시험에서는 반대로 자유롭게 써도 되지만, 이때도 부정형인지와 도함수 비의 극한이 존재하는지를 답안에 명시하는 습관이 필요합니다.

셋째로 계산이 오히려 복잡해지는 경우도 있습니다. $x \to \infty$에서 $\sqrt{x^2+1}/x$에 로피탈 정리를 적용하면 $x/\sqrt{x^2+1}$이 되어 원래 식의 역수가 나오고, 다시 적용하면 원래 식으로 돌아옵니다. 이런 문제는 분모의 최고차항으로 나누는 기본 기법이 훨씬 빠릅니다.

로피탈 정리 없이 푸는 방법

교육과정 안에서 부정형 극한을 다루는 도구는 세 가지입니다. 인수분해와 유리화로 0이 되는 공통 인수를 약분하는 방법, 미분계수의 정의 $\lim (f(x)-f(a))/(x-a) = f'(a)$ 꼴로 식을 고쳐 읽는 방법, 그리고 $\sin x / x \to 1$, $(e^x - 1)/x \to 1$, $\ln(1+x)/x \to 1$ 같은 기본 극한으로 환원하는 방법입니다. 로피탈 정리로 답을 확인한 뒤 이 세 가지 중 하나로 답안을 다시 쓰면 검산과 서술을 모두 챙길 수 있습니다.

대학에서 해석학을 배울 때 로피탈 정리 증명을 처음 따라가 보고 나서야, 고등학생 시절 "그냥 미분하면 된다"고 외웠던 규칙이 얼마나 많은 조건 위에 서 있는지 실감했습니다. 특히 도함수 비의 극한이 존재해야 한다는 마지막 조건을 빠뜨리면 정리가 거짓이 된다는 사실이 인상적이었고, 그 뒤로는 극한 문제를 볼 때 로피탈 정리를 먼저 떠올리기보다 "왜 부정형이 되는가"를 먼저 묻는 습관이 생겼습니다.

정리하면, 로피탈 정리는 부정형 극한을 도함수의 비로 바꾸는 정리이고, 네 가지 조건 아래 코시 평균값 정리로 증명되며, 순환 논증과 교육과정 문제 때문에 서술형에서는 근거로 쓰지 않는 것이 안전합니다. 조건을 이해하고 쓰면 검산 도구로서 이만큼 빠른 정리도 드뭅니다.

함께 읽으면 좋은 글

삼각함수 공식 총정리 — 덧셈정리부터 합성까지 역행렬 구하는 방법 — 공식과 존재 조건까지 정리 심슨의 역설이란? 뜻과 예시, 수학적 원리 정리

참고 자료

Wikipedia — L'Hôpital's rule (조건, 증명, 반례) Wolfram MathWorld — L'Hospital's Rule Wikipedia — Cauchy's mean value theorem