L'Hopital's Rule

Summary

**로피탈 정리(L’Hôpital’s Rule)**는 극한이 $\frac{0}{0}$ 또는 $\frac{\infty }{\infty }$ 같은 **부정형(indeterminate form)**일 때, 분자와 분모를 “각각” 미분한 비율의 극한으로 바꿔 풀 수 있게 해주는 도구다. 핵심 조건은 딱 하나: 반드시 부정형이어야 한다. 부정형이 아니면 쓰면 안 된다.

용어 설명

• indeterminate form (부정형, $\frac{0}{0}$ 또는 $\frac{\infty }{\infty }$): 그냥 대입하면 답을 알 수 없는, “0 대 0”, “무한대 대 무한대” 같은 애매한 모양.
• derivative (도함수): 함수가 그 점에서 얼마나 빨리 변하는지(변화율, 기울기)를 나타내는 함수.
• differentiable (미분가능): 그 구간에서 도함수가 존재함.
• quotient rule (몫의 미분법): ${\left(\frac{f}{g}\right)}^{\prime }=\frac{f^{\prime }g-f{g}^{\prime }}{g^2}$. 로피탈과는 다른 것이니 헷갈리지 말 것.

L’Hôpital’s Rule

한국어 이름: 로피탈 정리 (로피탈의 법칙).

1. 직관 (분자·분모가 둘 다 0(또는 ∞)일 때 변화율로 비교)

분수 $\frac{f(x)}{g(x)}$ 에서 $x$가 어떤 값으로 갈 때 분자도 0, 분모도 0으로 같이 달려간다고 하자. 그러면 “0 나누기 0”이라 답이 안 보인다.

이때 진짜 궁금한 건 **“누가 더 빨리 0으로 가느냐”**다.

• 분모가 분자보다 훨씬 빨리 0으로 가면 → 비율은 커진다(∞ 쪽).
• 분자가 더 빨리 가면 → 비율은 작아진다(0 쪽).
• 비슷한 속도면 → 어떤 유한한 값으로 수렴.

“빨리 가는 정도”가 바로 변화율 = 도함수다. 그래서 둘의 속도($f^{\prime }$ 와 $g^{\prime }$)를 비교하면 원래 비율의 극한을 알 수 있다는 것이 로피탈의 아이디어다. ∞/∞ 일 때도 똑같이 “둘 다 무한대로 갈 때 누가 더 빠른가”를 비교하는 것이다.

2. 정식 진술 (가정: 부정형 + 미분가능 등)

$x\to a$ 에서 다음이 모두 성립한다고 하자.

1. $\underset{x\to a}{\lim }\frac{f(x)}{g(x)}$ 가 $\frac{0}{0}$ 또는 $\frac{\infty }{\infty }$ 의 부정형이다.
2. $f,g$ 가 $a$ 근방에서 미분가능하고, $g^{\prime }(x)\ne 0$ ($a$ 근처에서, $a$ 자신은 제외 가능).
3. $\underset{x\to a}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}$ 가 존재한다(유한값 또는 $\pm \infty$).

그러면

$$\underset{x\to a}{\lim }\frac{f(x)}{g(x)}=\underset{x\to a}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}.$$

가정이 생명이다

위 3개 조건(특히 1번 부정형 조건)이 안 맞으면 이 등식은 거짓이 될 수 있다. 모양 확인 → 그 다음 적용. 순서를 절대 바꾸지 말 것.

$a$ 자리에는 보통의 수뿐 아니라 $a\to \infty$, $a\to -\infty$, 한쪽 극한($x\to a^{+}$)도 들어갈 수 있다.

3. 왜 성립하나 (직관)

선형 근사(테일러 1차) 관점: $x=a$ 근처에서 $f(x)\approx f(a)+f^{\prime }(a)(x-a)$, $g(x)\approx g(a)+g^{\prime }(a)(x-a)$. $\frac{0}{0}$ 부정형이면 $f(a)=g(a)=0$ 이므로

$$\frac{f(x)}{g(x)}\approx \frac{f^{\prime }(a)(x-a)}{g^{\prime }(a)(x-a)}=\frac{f^{\prime }(a)}{g^{\prime }(a)}.$$

즉 상수항이 사라지고 기울기끼리의 비율만 남는다. 이게 직관의 핵심이다.

엄밀한 증명은 보통 **코시 평균값정리(Cauchy Mean Value Theorem)**를 쓴다. 두 함수에 대한 평균값정리로, $\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f^{\prime }(c)}{g^{\prime }(c)}$ 인 $c$가 사이에 존재한다는 사실에서 바로 나온다. (이름만 기억해 두면 충분.)

4. 예시 (구체적 극한)

예시 1. $\underset{x\to 0}{\lim }\frac{\sin x}{x}$ — 대입하면 $\frac{0}{0}$ (부정형 OK).

$$\underset{x\to 0}{\lim }\frac{\sin x}{x}=\underset{x\to 0}{\lim }\frac{\cos x}{1}=\frac{\cos 0}{1}=1.$$

예시 2. $\underset{x\to \infty }{\lim }\frac{x}{e^x}$ — $\frac{\infty }{\infty }$ (부정형 OK). 지수함수가 다항식보다 훨씬 빠르다는 직관과 일치.

$$\underset{x\to \infty }{\lim }\frac{x}{e^x}=\underset{x\to \infty }{\lim }\frac{1}{e^x}=0.$$

예시 3. $\underset{x\to 0}{\lim }\frac{e^x-1}{x}$ — $\frac{0}{0}$ (부정형 OK).

$$\underset{x\to 0}{\lim }\frac{e^x-1}{x}=\underset{x\to 0}{\lim }\frac{e^x}{1}=e^0=1.$$

다른 부정형은 모양을 바꿔서

$0\cdot \infty$, $\infty -\infty$, $1^{\infty }$, $0^0$, ${\infty }^0$ 은 곧바로 못 쓴다. 분수꼴로 묶거나($0\cdot \infty \to \frac{0}{1/\infty }$), 통분하거나, 로그를 취해서($1^{\infty }$ 등) $\frac{0}{0}$ 또는 $\frac{\infty }{\infty }$ 로 만든 뒤 적용한다.
예: ${\lim }_{x\to 0^{+}}x\ln x$ 는 $0\cdot (-\infty )$ → $\lim \frac{\ln x}{1/x}$ ($\frac{-\infty }{\infty }$) 로 바꿔서 푼다.

5. 어디에 쓰나 / 흔한 함정

쓰는 곳: 삼각·지수·로그가 섞인 극한, 수렴 속도 비교, 테일러 전개가 귀찮을 때의 빠른 극한 계산.

흔한 함정:

1. 부정형 확인 안 하고 적용 — 가장 흔한 실수. 예: ${\lim }_{x\to 0}\frac{\cos x}{x}$ 는 $\frac{1}{0}$ 이라 부정형이 아니다(발산). 여기에 로피탈 쓰면 틀린다. 모양 먼저 확인!
2. 다른 부정형을 그대로 적용 — $0\cdot \infty$ 등은 먼저 분수/로그로 변형해야 한다.
3. 몫의 미분법(quotient rule)으로 착각 — 로피탈은 분자·분모를 각각 따로 미분한다. $\frac{f^{\prime }}{g^{\prime }}$ 이지 ${\left(\frac{f}{g}\right)}^{\prime }$ 가 아니다!
4. 무한 반복 — 미분해도 계속 부정형이면, 안 끝날 수 있다. 그럴 땐 테일러 전개 등 다른 방법으로.

6. 30초 요약

• 이름: 로피탈 정리 (L’Hôpital’s Rule).
• 조건: 극한이 $\frac{0}{0}$ 또는 $\frac{\infty }{\infty }$ 부정형 + 미분가능 + $g^{\prime }\ne 0$ + $\lim \frac{f^{\prime }}{g^{\prime }}$ 존재.
• 결론: $\lim \frac{f}{g}=\lim \frac{f^{\prime }}{g^{\prime }}$.
• 직관: 둘 다 0(또는 ∞)으로 갈 때 변화율(도함수)로 속도 비교.
• 함정: 부정형 확인 먼저! 분자·분모 각각 미분 (몫의 미분 아님).
• 다른 부정형: 분수꼴/로그로 변형 후 적용.
• 교과서: Stewart, §4.4 Indeterminate Forms and L’Hospital’s Rule.

관련 노트

• Calculus Theorems (index)
• Taylor’s Theorem
• Mean Value Theorem