정리 : 중간값 정리가 성립하지 않는 반례(불연속 함수, 유리수 집합 내의 함수)를 분석한다.
적용 : 이분법(Bisection Method)의 원리를 이해하고 실제 방정식의 근을 추적한다.
2. 개념 상세 설명
개념 1. 중간값 정리 (IVT)
함수 $f$가 닫힌 구간 $[a, b]$에서 연속이고 $f(a) \ne f(b)$일 때, $f(a)$와 $f(b)$ 사이의 임의의 값 $k$에 대하여 다음을 만족하는 $c$가 $(a, b)$에 적어도 하나 존재한다.
$$f(c) = k \quad (a < c < b)$$
주의: 반드시 '닫힌 구간'에서 '연속'이어야 한다는 두 가정이 충족되어야 합니다.
개념 2. 볼차노 정리 (Bolzano's Theorem)
중간값 정리의 가장 흔한 응용으로, 양 끝점의 함숫값 부호가 다르면 그 사이에 해가 존재한다는 정리입니다.
$$f(a) \cdot f(b) < 0 \implies \exists c \in (a, b) \text{ s.t. } f(c) = 0$$
개념 3. 증명에 필요한 완비성 (Completeness)
유리수 집합 $\mathbb{Q}$ 위에서는 중간값 정리가 성립하지 않습니다. 예를 들어 $f(x)=x^2-2$는 $f(1)=-1, f(2)=2$이지만 $f(c)=0$인 $c=\sqrt{2}$가 유리수에 없기 때문입니다. 따라서 이 정리는 실수의 완비성 공리에 의존합니다.
3. Graph 및 시각적 이해
시각화 1. 중간값 정리의 기하학적 의미
수평선 $y=k$가 함수 그래프와 적어도 한 번은 교차해야 함을 보여줍니다.
시각화 2. 불연속 시의 반례
함수가 중간에 끊어져 있다면, 함숫값이 $k$를 "점프"하여 지나갈 수 있으므로 $f(c)=k$인 지점이 없을 수 있습니다.
4. 각각의 개념 예시 문제
조건
함수 $f(x)$
구간
판단 결과
연속성 결여
$\text{sgn}(x)$
$[-1, 1]$
$f(c)=0.5$인 $c$ 없음
볼차노 정리
$x^2 - 3$
$[1, 2]$
$f(1)=-2, f(2)=1$이므로 해 존재
열린 구간
$1/x$
$(0, 1]$
연속이지만 $x \to 0$에서 발산하므로 주의
5. 기초 5문항
1. 중간값 정리가 성립하기 위해 함수 $f$가 구간 $[a, b]$에서 반드시 갖추어야 하는 전제 조건은?
정답 : 연속성 (Continuity)
2. $f(1)=-5, f(5)=10$이고 $f$가 연속일 때, $f(c)=0$인 $c$가 구간 $(1, 5)$에 존재함을 보장하는 정리는?
정답 : 중간값 정리 (또는 볼차노 정리)
3. 중간값 정리는 $f(c)=k$를 만족하는 $c$의 '개수'를 알려주는가, '존재 여부'를 알려주는가?
정답 : 존재 여부 (적어도 하나 존재)
4. 실수가 아닌 유리수 집합에서 중간값 정리가 성립하지 않는 근본적인 이유는?
정답 : 유리수 집합은 완비성(공간의 메워짐)이 없기 때문 (중간에 구멍이 있음)
5. $f(x) = x^3 + x - 1$은 구간 $[0, 1]$에서 해를 가지는가?
$f(0)=-1, f(1)=1$. 부호가 바뀌므로 해 존재.
정답 : 예
6. 응용 5문항
1. 모든 실수에서 연속인 함수 $f$에 대해 $f(1)=3, f(2)=1, f(3)=4$일 때, $f(c)=2$인 $c$는 적어도 몇 개 존재하는가?
$[1, 2]$ 사이에서 3과 1 사이인 2를 한 번 지나고, $[2, 3]$ 사이에서 1과 4 사이인 2를 한 번 지난다.
정답 : 2개
2. 지구상에서 서로 정반대 편에 있으면서 온도가 정확히 같은 두 지점이 존재함을 중간값 정리로 설명하시오.
$g(\theta) = T(\theta) - T(\theta + \pi)$ 함수를 정의하고 $g(0)$과 $g(\pi)$의 부호가 다름을 이용한다.