이어진 경사로로 1층에서 3층까지 갔다면, 2층 높이를 반드시 한 번은 지났을까요?
이어진 길에는 빠뜨린 높이가 없다. 출발과 도착 사이의 어떤 높이든, 연속 함수는 반드시 한 번은 지난다.
Experiment
직접 만져보기
1층에서 출발해 3층에 도착했습니다. 계단을 안 쓰고 이어진 경사로로만 갔다면, 2층 높이를 반드시 지났을까요? 아래에서 경로를 골라 직접 확인해 보세요.
🔮 예측 먼저 — 이어진 경로로 높이 1에서 3까지 가면서, 높이 2를 '건너뛸' 수 있을까요?
📖 더 읽기 — 왜 필요한가 · 인사이트 · 흔한 오해 · 수식 정리펼치기 ▾
Why
왜 필요한가
복잡한 방정식은 손으로 해를 못 구할 때가 많습니다. 그럴 때 먼저 답해야 할 질문은 '풀 수 있느냐'가 아니라 '해가 있기는 하냐'예요. 존재부터 확인해야 사냥을 시작할 수 있습니다.
중간값 정리는 이 질문에 답합니다. 함수가 이어져 있고 한쪽 끝에서 음수, 다른 끝에서 양수라면, 그 사이 어딘가에서 0을 반드시 지나요. 부호만 바뀌면 해의 존재가 공짜로 따라옵니다.
여기서 '이어져 있다(연속)'가 핵심입니다. 길이 끊기면 값을 건너뛸 수 있어요. 연속이라는 조건이 빈틈을 막아, '반드시 지난다'를 참으로 만듭니다.
Insight
영상에서 말한 인사이트
“이어진 길에는 빠뜨린 높이가 없다.”
산을 걸어 넘으면 정상까지 가는 동안 중간의 모든 높이를 지납니다. 순간이동을 하지 않는 한 특정 높이만 건너뛸 수는 없어요. 연속 함수도 똑같아서, 출발과 도착 사이의 값은 하나도 빠뜨리지 않습니다.
“존재를 보장하는 정리가 그대로 근을 찾는 기계가 된다.”
중간값 정리는 √2가 [1,2]에 있다고 보장합니다. 그다음 구간을 반씩 자르며 부호가 바뀌는 쪽만 남기면, 존재하던 그 해를 원하는 자리까지 조여요. 존재 증명이 곧 계산 알고리즘입니다.
Misconception
사람들이 흔히 하는 오해
중간값 정리는 해가 몇 개인지, 어디 있는지 알려준다.
정리는 '해가 적어도 하나 존재한다'만 보장합니다. 1단계의 출렁이는 곡선은 하나의 목표 높이를 세 번, 다섯 번도 지났어요. 개수도 위치도 정리는 말하지 않습니다. 위치를 알려면 이분법 같은 사냥이 따로 필요해요.
불연속 함수에도 중간값 정리는 성립한다.
연속은 심장 같은 조건입니다. 1단계에서 펜을 떼 계단 함수로 바꾸면, 높이 1에서 3으로 점프하며 그 사이 높이를 하나도 지나지 않아요. 교차점이 0개가 됩니다. 길이 끊긴 순간 정리는 무너져요.
Formula
수식으로 정리하기
실험에서 몸으로 느낀 '반드시 지난다'를 수학의 언어로 쓰면 이렇습니다.
🔬 공식 해부 — 실험에서 만진 것과 짝지어 보기
, ⇒
중간값 정리
출발과 도착 사이에 낀 어떤 높이 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 — 소수 여섯째 자리까지 확정돼요.
In Real Life
현실에서 만나는 곳
지구 대척점의 같은 기온
적도를 도는 기온 곡선에서 마주 보는 두 점의 기온 차는 이어져 있고 어딘가에서 부호가 바뀝니다. 그래서 기온이 정확히 같은 대척점 쌍이 반드시 존재해요. 보르숙-울람 정리의 1차원판입니다.
흔들리는 탁자 세우기
다리가 같은 네 다리 탁자를 바닥에서 돌리면 흔들림이 이어지게 변하며 부호가 바뀝니다. 그래서 네 다리가 모두 닿는 각도가 반드시 있어요. 돌려서 안 흔들리게 맞출 수 있습니다.
컴퓨터의 방정식 수치해법
손으로 못 푸는 방정식도 부호가 바뀌는 구간만 찾으면 됩니다. 그다음 이분법과 이진 탐색으로 해를 원하는 자리까지 좁혀요. 존재를 보장하는 정리가 수치해석의 첫 단추입니다.
√2가 실수에 있다는 보장
x²=2의 해가 유리수에는 없지만 실수에는 있습니다. 이 존재를 떠받치는 것이 실수의 완비성이에요. 중간값 정리는 그 완비성과 사실상 같은 이야기입니다.
Practice
풀어보기 — 유형 정복
f(x)=x²−2가 [1,2]에서 f(c)=0인 해를 반드시 갖는 이유는?
[1,2]에서 이분법을 10번 반복하면 구간의 폭은 얼마가 되나요? (초기 폭 1)
중간값 정리가 보장하는 것은 무엇인가요?
함수가 불연속이면 중간값 정리가 성립하지 않는 이유는?
Watch
관련 유튜브 영상
Connection
개념은 이어진다
이전 개념
다음 개념으로 연결
Related
함께 보면 좋은 실험실
관련 실험실
관련 실험실