Summary

평균값 정리(Mean Value Theorem, MVT)는 “구간 전체의 평균 변화율”과 똑같은 “순간 변화율(접선 기울기)“을 갖는 점이 구간 안에 반드시 하나 있다는 정리다. 즉 할선(secant)과 기울기가 같은 접선(tangent)이 어딘가 존재한다. 가정은 단 두 개: 닫힌 구간에서 연속 + 열린 구간에서 미분가능.

용어 설명

• continuous (연속): 그래프가 끊기지 않고 한 붓으로 이어지는 상태. 점프나 구멍이 없음.
• differentiable (미분가능): 그래프가 매끄러워 접선을 그을 수 있는 상태. 뾰족한 꼭짓점(예: $|x|$의 0점)이 없음.
• secant line (할선): 곡선 위 두 점 $(a,f(a))$, $(b,f(b))$를 잇는 직선. 기울기 = 평균 변화율.
• tangent line (접선): 한 점에서 곡선에 살짝 닿는 직선. 기울기 = 그 점의 순간 변화율 $f^{\prime }(c)$.
• average rate of change (평균 변화율): $\frac{f(b)-f(a)}{b-a}$. 할선의 기울기.

Mean Value Theorem

1. 직관 (평균 속도 = 순간 속도 비유)

서울에서 부산까지 가는데 평균 속도가 80 km/h였다고 하자. 그렇다면 운전하는 동안 어느 순간엔가 속도계가 정확히 80을 가리킨 적이 반드시 있다.

왜? 평균이 80이려면 어떤 때는 더 빠르고(예: 100), 어떤 때는 더 느렸을(예: 60) 텐데, 속도가 매끄럽게 변한다면 60에서 100으로 가는 중간에 80을 한 번은 지나칠 수밖에 없기 때문이다.

구간단속 카메라 비유

구간단속은 바로 이 원리다. 두 카메라 사이 거리를 걸린 시간으로 나눈 “평균 속도”가 제한속도를 넘으면, 중간 어딘가에서 분명히 과속한 순간이 있었다고 보고 단속한다. MVT는 이게 수학적으로 참임을 보장한다.

여기서 “평균 속도” = 할선의 기울기, “순간 속도” = 접선의 기울기다. MVT는 둘이 같아지는 지점 $c$가 꼭 있다고 말한다.

2. 정식 진술 (가정 + 결론)

가정을 꼭 외우자 (이름보다 가정이 중요)

함수 $f$가

1. 닫힌 구간 $[a,b]$에서 연속(continuous) 이고,
2. 열린 구간 $(a,b)$에서 미분가능(differentiable) 하면

결론: 다음을 만족하는 점 $c$가 $(a,b)$ 안에 적어도 하나 존재한다.

$f^{\prime }(c)=\frac{f(b)-f(a)}{b-a}$

• 좌변 $f^{\prime }(c)$ = 점 $c$에서의 접선 기울기 (순간 변화율)
• 우변 = 할선 기울기 (평균 변화율)
• “적어도 하나”라는 점에 주의: 여러 개일 수도 있다.

가정의 비대칭이 헷갈린다면

연속은 끝점 포함 $[a,b]$, 미분가능은 끝점 제외 $(a,b)$. 끝점에서는 미분가능까지 요구하지 않아도 정리가 성립한다(끝점에서는 한쪽 접선밖에 못 그어도 괜찮음).

3. 왜 성립하나 (롤의 정리로부터; 기울인 버전)

MVT는 롤의 정리(Rolle’s Theorem)를 비스듬히 기울인 일반화다.

• 롤의 정리: $f(a)=f(b)$ (양 끝 높이가 같음)이면, $f^{\prime }(c)=0$ 인 $c$가 존재. → 수평 접선이 있다.
• 그런데 양 끝 높이가 다르면? 할선이 기울어진다. 이 기울기를 빼서 “평평하게” 만들면 롤을 쓸 수 있다.

증명 스케치 (보조함수 트릭):
할선을 나타내는 직선을 $f$에서 빼준 함수
$h(x)=f(x)-\left[f(a)+\frac{f(b)-f(a)}{b-a}(x-a)\right]$
를 만든다. 그러면 $h(a)=0$, $h(b)=0$ 이라 양 끝이 같아진다($h(a)=h(b)$).

→ 롤의 정리 적용 → $h^{\prime }(c)=0$ 인 $c$ 존재 →
$h^{\prime }(c)=f^{\prime }(c)-\frac{f(b)-f(a)}{b-a}=0\Rightarrow f^{\prime }(c)=\frac{f(b)-f(a)}{b-a}$

한 줄 기억법

“할선을 빼서 평평하게 만들면 롤의 정리.” MVT = 기울인 롤.

4. 예시 (그림/숫자)

$f(x)=x^2$, 구간 $[0,2]$

• 할선 기울기 (평균 변화율): $\frac{f(2)-f(0)}{2-0}=\frac{4-0}{2}=2$
• 접선 기울기: $f^{\prime }(x)=2x$
• $f^{\prime }(c)=2$ 풀기: $2c=2\Rightarrow c=1$ ✅ ($c=1$은 $(0,2)$ 안에 있음)

그림으로 보면:

 y
 4 |              * (2,4)
   |           .  |
   |        .  할선(기울기 2)
   |     .     |
 1 |  o (1,1) 접선도 기울기 2 → 평행!
   |.  .       |
 0 *___________|___ x
   0    1      2

$(1,1)$에서 그은 접선은 할선과 정확히 평행하다(둘 다 기울기 2). 이런 점이 바로 MVT가 보장하는 $c$다.

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

쓰임 (응용):

• $f^{\prime }=0$ 이면 상수함수: 어떤 구간에서 도함수가 항상 0이면 그 함수는 상수다. (증가도 감소도 못 하니까) → 적분의 “+C”가 나오는 이유.
• 증가/감소 판정: $f^{\prime }>0$ 이면 증가, $f^{\prime }<0$ 이면 감소임을 엄밀히 증명할 때 MVT가 다리 역할.
• 오차 한계(error bound) 추정: $|f(b)-f(a)|\le M|b-a|$ 같은 부등식(립시츠 한계)을 얻는 핵심 도구.

흔한 함정 — 가정을 안 지키면 깨진다

• 미분가능 깨짐: $f(x)=|x|$ on $[-1,1]$. 할선 기울기 = $\frac{1-1}{2}=0$ 인데, $f^{\prime }(x)$는 $-1$ 아니면 $+1$이라 절대 $0$이 안 됨. → $x=0$에서 뾰족(미분 불가능)해서 MVT 실패.
• 연속 깨짐: 구간 안에 점프나 구멍이 있으면 성립 보장 안 됨.
• “$c$를 구하라” 문제는 결국 $f^{\prime }(c)=\frac{f(b)-f(a)}{b-a}$ 방정식을 푸는 것. 가정 확인 → 평균기울기 계산 → $f^{\prime }(c)$와 같다고 놓고 풀기.

6. 30초 요약

• 이름: 평균값 정리 = Mean Value Theorem (MVT). 교과서: Stewart §4.2.
• 가정: $[a,b]$ 연속 + $(a,b)$ 미분가능. (가정 2개를 외워라!)
• 결론: $f^{\prime }(c)=\frac{f(b)-f(a)}{b-a}$ 인 $c\in (a,b)$ 존재.
• 직관: 평균 속도 = 순간 속도인 순간이 반드시 있다 (구간단속).
• 유래: 롤의 정리를 기울인 버전 (할선 빼서 평평화 → 롤 적용).
• 함정: $|x|$처럼 뾰족하거나 끊기면 깨진다.

관련 노트

• Calculus Theorems (index)
• Rolle’s Theorem
• Fundamental Theorem of Calculus