미적분학 30단계 · 12단계 · 도함수의 응용

12. 평균값 정리 (Mean Value Theorem)

평균값 정리(MVT)는 "두 점을 잇는 평균 변화율과 같은 순간 변화율을 갖는 점이 반드시 존재한다"는 정리입니다. 이 정리는 미분 가능한 함수의 국소적 성질(미분계수)을 통해 전역적 성질(함수값의 변화)을 추론할 수 있게 해주는 미적분학의 가장 강력한 이론적 도구입니다.

1. 개념 기반 목표 지향 수업 지도안

수업 목표 1
롤의 정리와 평균값 정리의 가정을 명확히 구분하고 서술한다.

수업 목표 2
보조함수를 도입하여 평균값 정리를 증명하는 논리를 익힌다.

수업 목표 3
도함수가 0인 함수가 상수함수임을 MVT를 통해 증명한다.

수업 목표 4
코시 평균값 정리로 확장하여 로피탈 정리의 기초를 닦는다.

수업 흐름

도입 : 고속도로 구간 단속의 원리(평균 속도가 제한 속도를 넘으면 반드시 순간 속도도 넘는 지점이 있음)를 통해 직관을 얻는다.
탐구 1 : 롤의 정리(Rolle's Theorem) - 양 끝점의 함숫값이 같을 때 미분계수가 0인 지점의 존재성 확인.
탐구 2 : 평균값 정리의 일반화 - 그래프를 회전시켜 롤의 정리를 적용하는 증명 방식 이해.
정리 : MVT가 성립하기 위한 '폐구간 연속' 및 '개구간 미분가능' 조건의 중요성 분석.
응용 : 부등식 증명($|\sin a - \sin b| \le |a - b|$)에 MVT 활용하기.

2. 개념 상세 설명

개념 1. 롤의 정리 (Rolle's Theorem)

함수 $f$가 $[a, b]$에서 연속이고 $(a, b)$에서 미분 가능하며, $f(a) = f(b)$이면 다음을 만족하는 $c$가 $(a, b)$에 적어도 하나 존재한다.

$$f'(c) = 0 \quad (a < c < b)$$

개념 2. 평균값 정리 (Mean Value Theorem)

함수 $f$가 $[a, b]$에서 연속이고 $(a, b)$에서 미분 가능하면 다음을 만족하는 $c$가 $(a, b)$에 적어도 하나 존재한다.

$$f'(c) = \frac{f(b) - f(a)}{b - a} \quad (a < c < b)$$

기하학적 의미: 곡선 위의 두 점 $(a, f(a))$와 $(b, f(b))$를 잇는 직선의 기울기와 같은 기울기를 가진 접선이 구간 내에 존재합니다.

개념 3. 코시 평균값 정리 (Cauchy MVT)

두 함수 $f, g$가 $[a, b]$에서 연속, $(a, b)$에서 미분 가능할 때(단, $g'(x) \ne 0$):

$$\frac{f'(c)}{g'(c)} = \frac{f(b) - f(a)}{g(b) - g(a)}$$

3. Graph 및 시각적 이해

시각화 1. 평균값 정리의 기하학

양 끝점을 잇는 할선(회색 점선)과 평행한 접선(빨간 실선)이 반드시 존재합니다.

시각화 2. 반례: 미분 불가능한 경우

$f(x) = |x|$와 같이 뾰족한 점이 있으면, 평균 변화율과 같은 기울기를 가진 접선이 존재하지 않을 수 있습니다.

4. 주요 따름정리 (Corollaries)

조건	결론
모든 $x$에 대해 $f'(x) = 0$	$f$는 상수함수 ($f(x) = C$)
모든 $x$에 대해 $f'(x) = g'(x)$	$f(x) = g(x) + C$
모든 $x$에 대해 $f'(x) > 0$	$f$는 엄격한 증가함수

5. 기초 5문항

1. 평균값 정리가 성립하기 위한 함수 $f$의 두 가지 전제 조건은?

정답 : $[a, b]$에서 연속, $(a, b)$에서 미분 가능.

2. 롤의 정리에서 $f(a)=f(b)$라는 조건이 추가될 때, $f'(c)$의 값은 무엇인가?

정답 : 0

3. $f(x)=x^2$일 때, 구간 $[0, 2]$에서 MVT를 만족하는 $c$의 값을 구하시오.

평균변화율: $(4-0)/(2-0) = 2$. $f'(x)=2x$. $2c=2 \implies c=1$.

정답 : 1

4. 평균값 정리를 증명하기 위해 도입하는 일반적인 보조함수 $h(x)$의 형태는?

정답 : $h(x) = f(x) - \left[ f(a) + \frac{f(b)-f(a)}{b-a}(x-a) \right]$

5. $f(x) = x^{1/3}$은 $[-1, 1]$에서 평균값 정리를 적용할 수 있는가?

정답 : 아니오 ($x=0$에서 미분 불가능하므로)

6. 응용 5문항

1. MVT를 이용하여 $x > 0$일 때 $\ln(1+x) < x$ 임을 증명하시오.

$f(t)=\ln(1+t)$라 하면 $[0, x]$에서 $f'(c) = \frac{\ln(1+x)-\ln(1)}{x} = \frac{1}{1+c}$. $c>0$이므로 $f'(c) < 1$. 따라서 $\ln(1+x)/x < 1$.

2. $f(0)=-3$이고 모든 $x$에 대해 $f'(x) \le 5$일 때, $f(2)$가 가질 수 있는 최대값은?

$\frac{f(2)-f(0)}{2-0} \le 5 \implies f(2)-(-3) \le 10 \implies f(2) \le 7$.

정답 : 7

3. $f'(x)=g'(x)$이면 $f(x)=g(x)+C$임을 MVT를 이용하여 증명하시오.

4. 모든 $x, y$에 대해 $|f(x)-f(y)| \le (x-y)^2$이면 $f$는 상수함수임을 보이시오.

양변을 $|x-y|$로 나누고 극한을 취하면 $f'(x)=0$이 됨.

5. $f(x)=x^3-3x+2$가 구간 $[-2, 2]$에서 롤의 정리를 만족하는 모든 $c$를 찾으시오.

$f(-2)=0, f(2)=4$이므로 롤의 정리 가정을 만족하지 않음. (문제를 $f(-2)=0, f(1)=0$ 등으로 수정하여 풀이 가능)

7. 심화 5문항

1. 다르부의 정리(Darboux's Theorem)를 이용하여, 도함수가 중간값 성질을 가짐을 MVT와 연관지어 설명하시오.

2. 코시 평균값 정리를 사용하여 로피탈의 정리($0/0$ 꼴)를 증명하는 핵심 단계를 기술하시오.

3. $f$가 두 번 미분 가능하고 세 점 $a < b < c$에서 함숫값이 0이면, $f''(d)=0$인 $d \in (a, c)$가 존재함을 보이시오.

4. 테일러 정리(Taylor's Theorem)를 '확장된 평균값 정리'의 관점에서 해석하시오.

5. $f$가 $[a, \infty)$에서 미분 가능하고 $\lim_{x \to \infty} f'(x) = 0$이면, $\lim_{x \to \infty} [f(x+1)-f(x)] = 0$임을 증명하시오.