롤의 정리 (Rolle's Theorem)
롤의 정리는 함수가 특정 구간에서 연속이고 미분 가능할 때, 양 끝점의 함숫값이 같다면 구간 내에 접선의 기울기가 0인 점이 적어도 하나 존재함을 보장합니다.
1. 정리를 위한 세 가지 전제 조건
함수 $f$가 다음 세 가지 조건을 모두 만족해야 롤의 정리를 적용할 수 있습니다.
Condition 1 & 2
- 연속성: 닫힌 구간 $[a, b]$에서 연속이어야 함.
- 미분 가능성: 열린 구간 $(a, b)$에서 미분 가능해야 함.
Condition 3
- 끝점 일치: $f(a) = f(b)$ 이어야 함.
2. 정리의 내용
위 조건을 모두 만족하면, 다음을 만족하는 $c$가 열린 구간 $(a, b)$에 적어도 하나 존재합니다.
$$f'(c) = 0 \quad (a < c < b)$$
3. 엄밀한 증명의 흐름
- 상수함수인 경우: 모든 점 $x$에서 $f'(x)=0$이므로 자명하게 성립합니다.
- 상수함수가 아닌 경우: 최대-최소 정리에 의해 $f$는 $[a, b]$에서 반드시 최댓값 또는 최솟값을 가집니다.
- 양 끝점($a, b$)의 값이 같으므로, 최댓값 또는 최솟값은 반드시 열린 구간 $(a, b)$ 내부의 어떤 점 $c$에서 나타납니다.
- 페르마의 정리(Fermat's Theorem)에 의해, 미분 가능한 함수가 국소 극값을 가지는 점 $c$에서 $f'(c)=0$입니다.
4. 주요 응용: 방정식의 근 판정
방정식의 해의 개수 제한: 롤의 정리를 대우로 이용하면 방정식 $f(x)=0$의 해가 최대 몇 개인지 증명할 수 있습니다.
예: $f(x)=0$이 서로 다른 두 실근 $a, b$를 가진다면, 롤의 정리에 의해 $f'(c)=0$인 $c$가 반드시 존재해야 합니다. 만약 $f'(x)$가 절대 0이 될 수 없다면, $f(x)$는 기껏해야 하나의 실근만 가집니다.
5. 평균값 정리(MVT)와의 관계
롤의 정리는 평균값 정리의 특수한 경우($f(a)=f(b)$인 경우)에 해당합니다. 사실상 평균값 정리를 증명하는 데 사용되는 기초 정리라고 볼 수 있습니다.