미적분학 30단계 · 13단계 · 미분가능함수의 성질

13. 롤의 정리 (Rolle's Theorem)

롤의 정리(Rolle's Theorem)는 "함수값이 같은 두 점 사이에는 접선의 기울기가 0인 지점이 반드시 존재한다"는 정리입니다. 이 정리는 평균값 정리의 특수한 사례처럼 보이지만, 실제로는 평균값 정리를 증명하는 근간이 되며 방정식의 해의 개수를 제한하는 강력한 도구로 쓰입니다.

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

수업 목표 1
롤의 정리의 3가지 가정을 명확히 이해하고 서술한다.

수업 목표 2
최대-최소 정리와 페르마 정리를 이용해 롤의 정리를 증명한다.

수업 목표 3
다항 방정식의 실근의 개수를 판정하는 데 롤의 정리를 활용한다.

수업 목표 4
롤의 정리가 성립하지 않는 반례를 통해 각 가정의 필요성을 분석한다.

수업 흐름

도입 : "위로 올라갔다가 다시 같은 높이로 내려오려면 반드시 정점(기울기 0)을 찍어야 하는가?" 질문 던지기.
탐구 1 : 롤의 정리의 형식적 서술 및 기하학적 의미 분석.
탐구 2 : 증명 단계: 상수함수인 경우와 상수함수가 아닌 경우(최대/최소값의 위치)로 나누어 논리 전개.
정리 : 롤의 정리를 역으로 활용하여 "미분 가능한 함수의 근이 n개이면, 도함수의 근은 적어도 n-1개이다" 도출.
적용 : 고차 방정식의 근이 오직 하나뿐임을 보일 때 귀류법과 롤의 정리를 결합하여 풀이.

2. 개념 상세 설명

개념 1. 롤의 정리의 정의

함수 $f$가 다음 세 조건을 만족한다고 하자.

$f$는 폐구간 $[a, b]$에서 연속이다.
$f$는 개구간 $(a, b)$에서 미분 가능하다.
$f(a) = f(b)$ 이다.

그러면 $f'(c) = 0$ 인 $c$가 개구간 $(a, b)$에 적어도 하나 존재한다.

개념 2. 페르마의 정리 (Fermat's Theorem)

롤의 정리 증명의 핵심 도구입니다. 함수 $f$가 점 $c$에서 극값(Local Extremum)을 갖고 $f'(c)$가 존재하면, $f'(c) = 0$ 입니다.

개념 3. 근의 개수와 롤의 정리

함수 $f(x)=0$의 두 실근 $a, b$ 사이에는 $f'(x)=0$인 실근이 적어도 하나 존재합니다. 이를 응용하면 도함수의 성질을 통해 원함수의 실근이 최대 몇 개인지 제한할 수 있습니다.

3. Graph 및 시각적 이해

시각화 1. 롤의 정리의 기하학적 의미

높이가 같은 두 점을 연결할 때, 미분 가능하다면 반드시 평평한 지점($f'=0$)을 거쳐야 합니다.

시각화 2. 가정이 깨질 때의 반례

$f(x) = |x|$는 $[-1, 1]$에서 $f(-1)=f(1)$이지만, $x=0$에서 미분 불가능하여 $f'(c)=0$인 지점이 없습니다.

4. 주요 활용 사례

목표	전략
실근이 적어도 하나 있음을 증명	적분함수 $F(x)$를 찾아 $F(a)=F(b)$임을 보여 롤의 정리 적용
실근이 최대 하나임을 증명	귀류법 사용: 근이 2개라고 가정하고 롤의 정리에 의해 $f'(c)=0$인 점이 생김을 모순으로 지적
평균값 정리 증명	함수를 기울기만큼 회전시킨 보조함수 $h(x)$에 롤의 정리 적용

5. 기초 5문항

1. 롤의 정리의 세 번째 가정($f(a)=f(b)$)이 빠진 상태에서 일반화된 정리는 무엇인가?

정답 : 평균값 정리 (Mean Value Theorem)

2. $f(x) = x^2 - 4x + 3$ 일 때, 구간 $[1, 3]$에서 롤의 정리를 만족하는 $c$의 값은?

$f(1)=0, f(3)=0$. $f'(x)=2x-4$. $2c-4=0 \implies c=2$.

정답 : 2

3. 롤의 정리 증명 중 "상수함수가 아닐 때" 사용하는 핵심 정리는?

정답 : 최대-최소 정리 (Extreme Value Theorem)

4. $f(x) = \tan x$는 구간 $[0, \pi]$에서 $f(0)=f(\pi)=0$이지만 $f'(c)=0$인 점이 없다. 왜 롤의 정리가 적용되지 않는가?

정답 : $x=\pi/2$에서 연속이 아니기 때문.

5. 롤의 정리는 $f'(c)=0$인 $c$가 '유일하게' 존재함을 보장하는가?

정답 : 아니오 (적어도 하나 존재함을 보장함)

6. 응용 5문항

1. 방정식 $x^3 + 3x + 1 = 0$ 이 실근을 최대 1개 가짐을 롤의 정리를 사용하여 보이시오.

실근이 2개($a, b$)라고 가정하면 롤의 정리에 의해 $f'(c)=3c^2+3=0$인 $c$가 있어야 함. 하지만 $3c^2+3 \ge 3$이므로 모순.

2. $a_0/1 + a_1/2 + \dots + a_n/(n+1) = 0$ 이면, $a_0 + a_1x + \dots + a_nx^n = 0$ 은 $(0, 1)$에서 적어도 하나의 실근을 가짐을 보이시오.

$f(x) = a_0x + a_1x^2/2 + \dots + a_nx^{n+1}/(n+1)$이라 두면 $f(0)=0, f(1)=0$.

3. 롤의 정리를 사용하여 $f(x)=x^3-x$의 구간 $[-1, 1]$에서의 $c$ 값을 모두 구하시오.

$f'(x)=3x^2-1=0 \implies x = \pm 1/\sqrt{3}$. 둘 다 $(-1, 1)$에 속함.

4. $f$가 두 번 미분 가능하고 세 점 $x_1, x_2, x_3$에서 $f(x_i)=0$이면 $f''(c)=0$인 지점이 존재함을 보이시오.

5. 어떤 도차로를 달리는 차가 0초에 0m, 10초에 0m 지점에 있었다면(왕복), 이 차의 속도가 0이었던 순간이 적어도 한 번 있었음을 설명하시오.

7. 심화 5문항

1. 다르부의 정리(Darboux's Theorem)와 롤의 정리의 관계를 서술하시오.

2. 롤의 정리를 통해 일반적인 평균값 정리를 유도하는 과정을 보조함수 $h(x) = f(x) - L(x)$를 사용하여 기술하시오.

3. 롤의 정리가 닫힌 구간에서의 연속성을 필요로 하는 이유를 반례를 들어 설명하시오.

정답 : $f(x)=x (x \in [0, 1)), f(1)=0$. 끝점에서 불연속이면 $f(0)=f(1)$이지만 기울기 0인 점 없음.

4. $n$차 다항식 $P(x)$가 서로 다른 $n$개의 실근을 가지면, $P'(x)$는 서로 다른 $n-1$개의 실근을 가짐을 증명하시오.

5. 고전 해석학에서 롤의 정리가 비선형 미분방정식의 해의 존재성 및 유일성 증명에 어떻게 기여하는지 사례를 조사하시오.