IVT · 중간값 정리
빠뜨린 높이가 없는 이어진 길, 중간값 정리
이어진 경사로로 1층에서 3층까지 갔다면, 2층 높이를 반드시 한 번은 지났을까요?
지구 반대편에 기온이 똑같은 두 곳이 늘 있다는 사실
몰입형 화면으로도 볼 수 있어요 →이 질문이 왜 필요할까요?
복잡한 방정식은 손으로 해를 못 구할 때가 많습니다. 그럴 때 먼저 답해야 할 질문은 '풀 수 있느냐'가 아니라 '해가 있기는 하냐'예요. 존재부터 확인해야 사냥을 시작할 수 있습니다.
중간값 정리는 이 질문에 답합니다. 함수가 이어져 있고 한쪽 끝에서 음수, 다른 끝에서 양수라면, 그 사이 어딘가에서 0을 반드시 지나요. 부호만 바뀌면 해의 존재가 공짜로 따라옵니다.
여기서 '이어져 있다(연속)'가 핵심입니다. 길이 끊기면 값을 건너뛸 수 있어요. 연속이라는 조건이 빈틈을 막아, '반드시 지난다'를 참으로 만듭니다.
잠깐, 직접 확인해 볼까요?
먼저 결과를 예상해 보세요. 값을 하나씩 바꾸면서 예상과 무엇이 다른지 살펴봅시다.
1층에서 출발해 3층에 도착했습니다. 계단을 안 쓰고 이어진 경사로로만 갔다면, 2층 높이를 반드시 지났을까요? 아래에서 경로를 골라 직접 확인해 보세요.
예측 먼저 — 이어진 경로로 높이 1에서 3까지 가면서, 높이 2를 '건너뛸' 수 있을까요?
같은 생각을 다른 말로 읽어 봅시다
연속인 함수가 한 값에서 다른 값으로 이동한다면 그 사이의 값을 건너뛸 수 없다는 것이 중간값 정리의 핵심입니다. 정리는 그 값을 갖는 점이 있음을 말하지, 그 점의 위치를 바로 계산해 주지는 않습니다.
f(x)=x²−2는 1에서 음수이고 2에서 양수입니다. 연속이므로 그 사이 어딘가에서 0이 됩니다. 이로써 해의 존재를 말할 수 있지만, 그 해가 유일한지는 따로 확인해야 합니다.
이어진 길에는 빠뜨린 높이가 없다.
산을 걸어 넘으면 정상까지 가는 동안 중간의 모든 높이를 지납니다. 순간이동을 하지 않는 한 특정 높이만 건너뛸 수는 없어요. 연속 함수도 똑같아서, 출발과 도착 사이의 값은 하나도 빠뜨리지 않습니다.
존재를 보장하는 정리가 그대로 근을 찾는 기계가 된다.
중간값 정리는 √2가 [1,2]에 있다고 보장합니다. 그다음 구간을 반씩 자르며 부호가 바뀌는 쪽만 남기면, 존재하던 그 해를 원하는 자리까지 조여요. 존재 증명이 곧 계산 알고리즘입니다.
이제 정의와 조건을 함께 읽습니다
닫힌 구간에서의 연속성이 기본 전제입니다. 양 끝의 부호가 다르다는 정보만으로 모든 함수의 근을 보장하지는 않습니다.
실험에서 몸으로 느낀 '반드시 지난다'를 수학의 언어로 쓰면 이렇습니다.
공식 해부 — 실험에서 만진 것과 짝지어 보기
, ⇒
중간값 정리
출발과 도착 사이에 낀 어떤 높이 k든, 그 높이를 지나는 c가 열린 구간 안에 반드시 있습니다. 필요한 조건은 오직 연속이에요.
해의 존재 (부호 변화판)
양 끝의 부호가 다르면(곱이 음수) 그 사이에서 0을 반드시 지납니다. 방정식 f(x)=0의 해가 존재한다는 보장이에요. f(x)=x²−2, [1,2]가 그 예입니다.
이분법의 수렴 폭
구간을 n번 반으로 자르면 폭이 1/2ⁿ배가 됩니다. [1,2]에서 10번이면 1/1024 ≈ 0.001, 20번이면 약 0.0000009 — 소수 여섯째 자리까지 확정돼요.
여기서 한 번 더 구분해 볼까요?
중간값 정리는 해가 몇 개인지, 어디 있는지 알려준다.
정리는 '해가 적어도 하나 존재한다'만 보장합니다. 1단계의 출렁이는 곡선은 하나의 목표 높이를 세 번, 다섯 번도 지났어요. 개수도 위치도 정리는 말하지 않습니다. 위치를 알려면 이분법 같은 사냥이 따로 필요해요.
불연속 함수에도 중간값 정리는 성립한다.
연속은 심장 같은 조건입니다. 1단계에서 펜을 떼 계단 함수로 바꾸면, 높이 1에서 3으로 점프하며 그 사이 높이를 하나도 지나지 않아요. 교차점이 0개가 됩니다. 길이 끊긴 순간 정리는 무너져요.
다른 질문에서는 어떻게 쓰일까요?
지구 대척점의 같은 기온
적도를 도는 기온 곡선에서 마주 보는 두 점의 기온 차는 이어져 있고 어딘가에서 부호가 바뀝니다. 그래서 기온이 정확히 같은 대척점 쌍이 반드시 존재해요. 보르숙-울람 정리의 1차원판입니다.
흔들리는 탁자 세우기
다리가 같은 네 다리 탁자를 바닥에서 돌리면 흔들림이 이어지게 변하며 부호가 바뀝니다. 그래서 네 다리가 모두 닿는 각도가 반드시 있어요. 돌려서 안 흔들리게 맞출 수 있습니다.
컴퓨터의 방정식 수치해법
손으로 못 푸는 방정식도 부호가 바뀌는 구간만 찾으면 됩니다. 그다음 이분법과 이진 탐색으로 해를 원하는 자리까지 좁혀요. 존재를 보장하는 정리가 수치해석의 첫 단추입니다.
√2가 실수에 있다는 보장
x²=2의 해가 유리수에는 없지만 실수에는 있습니다. 이 존재를 떠받치는 것이 실수의 완비성이에요. 중간값 정리는 그 완비성과 사실상 같은 이야기입니다.
이번에는 내 말로 설명해 보세요
점프하는 함수에서도 끝점의 부호만 다르면 0을 지나나요?
생각한 뒤 설명 확인하기
아닙니다. 음수에서 양수로 뛰어넘을 수 있습니다. 연속 조건이 어디에 쓰이는지 보여주는 반례입니다.
계산과 개념을 문제로 확인하기 (4)
문제 완료 0 / 4
1. f(x)=x²−2가 [1,2]에서 f(c)=0인 해를 반드시 갖는 이유는?
2. [1,2]에서 이분법을 10번 반복하면 구간의 폭은 얼마가 되나요? (초기 폭 1)
3. 중간값 정리가 보장하는 것은 무엇인가요?
4. 함수가 불연속이면 중간값 정리가 성립하지 않는 이유는?
다음에는 어떤 질문을 해볼까요?
증명 실험실
여기서는 비유를 쓰지 않습니다.
믿기로 한 것 몇 줄에서 출발해 직접 걸어가기 →
믿기로 한 것 몇 줄에서 출발해 직접 걸어가기 →
학습 실험실
이 개념은 학년 전체에서 어디쯤일까요?
앞뒤로 무엇이 오는지 순서대로 읽어보기 →
이전 개념
다음 개념으로 연결
관련 실험실
관련 실험실