Summary

사잇값 정리(Intermediate Value Theorem, IVT)는 “끊김 없이 이어진 함수가 두 높이 사이를 지나려면, 그 사이의 모든 높이를 반드시 한 번씩은 거친다”는 정리예요. 덕분에 식을 직접 풀지 않고도 “해(근)가 존재한다”는 사실을 증명할 수 있어서, 방정식 풀이와 이분법(bisection method)의 출발점이 됩니다.

용어 설명

• continuous (연속): 함수의 그래프를 연필을 떼지 않고 한 번에 그릴 수 있다는 뜻. 중간에 끊김(jump)이나 구멍(hole)이 없음.
• closed interval [a,b] (닫힌구간): 양 끝점 $a$와 $b$를 포함하는 구간. 대괄호 [ ]가 “끝점 포함”을 의미해요.
• open interval (a,b) (열린구간): 양 끝점을 제외한 구간. 소괄호 ( )가 “끝점 제외”.
• N (목표값, target value): $f(a)$와 $f(b)$ 사이에 있는 어떤 높이.
• root / 근: $f(c)=0$이 되는 점. $N=0$인 특수한 경우.
• existence (존재성): “있다”는 사실만 보장. “어디 있는지”, “몇 개인지”는 따로 보장하지 않음.

Intermediate Value Theorem

한국어 이름: 사잇값 정리 (중간값 정리)

1. 직관

엘리베이터를 생각해 봐요. 1층에서 출발해 10층까지 멈추지 않고 이어서 올라간다면, 도중에 5층을 반드시 지나가게 돼요. 5층을 건너뛰고 4층에서 6층으로 순간이동할 수는 없죠.

함수도 똑같아요. 연속(continuous) 함수가 높이 $f(a)$에서 높이 $f(b)$로 이어서 변한다면, 그 사이의 모든 높이를 적어도 한 번씩은 통과합니다.

2. 정식 진술 (Formal statement)

가정(전제, hypotheses):

• $f$가 닫힌구간 $[a,b]$에서 연속(continuous) 이다.
• $N$이 $f(a)$와 $f(b)$ 사이의 값이다 (단, $f(a)\ne f(b)$).

결론(conclusion):
$f(c)=N\text{을 만족하는 }c\in (a,b)\text{ 가 적어도 하나 존재한다.}$

전제 두 가지를 꼭 기억하세요

1. 닫힌구간 $[a,b]$ 에서 연속 — 끝점 포함, 그리고 끊김 없음.
2. $N$ 은 $f(a)$ 와 $f(b)$ 사이의 값. (바깥 값은 보장 못 함.)
   결론의 $c$ 는 열린구간 $(a,b)$ 안에 있어요(끝점이 아닌 내부).

3. 왜 성립하나 (직관적 설명)

높이 $N$에 해당하는 수평선 $y=N$을 그어 봐요. 함수값이 한쪽 끝에서는 $N$보다 아래($f(a)<N$), 다른 끝에서는 $N$보다 위($f(b)>N$)에 있어요. 그래프가 끊기지 않고(연속) 아래에서 위로 가려면, 그 수평선을 반드시 한 번은 가로질러야 합니다. 가로지르는 그 점이 바로 $f(c)=N$인 점이에요.

만약 그래프에 끊김(점프)이 있다면? 수평선을 만나지 않고 훌쩍 건너뛸 수 있어요. 그래서 연속이 핵심 전제입니다.

4. 예시 (구체적 숫자)

$f(x)=x^3-x-1$ 의 근이 존재할까요? (이 식은 손으로 풀기 어려워요.)

• $f(1)=1-1-1=-1(<0)$
• $f(2)=8-2-1=5(>0)$

$f$는 다항함수라 어디서나 연속이고, $N=0$은 $-1$과 $5$ 사이의 값이에요. 따라서 IVT에 의해 $f(c)=0$인 $c$가 $(1,2)$ 안에 적어도 하나 존재합니다. 식을 못 풀어도 “근이 있다”는 건 증명 끝!

 y
 5 |                         * f(2)=5
   |                      /
 0 |--------- * ---------/------------  y = N = 0
   |       /  c (여기 어딘가 근!)
-1 |  *  /  f(1)=-1
   +--+----+----+----+---- x
      1    c    2

연속 곡선이 $y=0$ 선을 가로지르는 지점이 근 $c$. 이걸 반씩 좁혀가며 찾는 게 이분법(bisection method) 이에요: 중점 $x=1.5$를 넣어 부호를 보고, 근이 있는 절반 구간을 계속 골라 나갑니다.

5. 어디에 쓰나 / 흔한 함정

어디에 쓰나

• 방정식 해의 존재성 증명: 직접 못 풀어도 부호가 바뀌면 근이 있다.
• 이분법(bisection method): 근을 수치적으로 찾는 알고리즘의 이론적 근거.
• 고정점(fixed point) 존재 증명 등 응용.

함정 1 — 연속이 깨지면 무용지물

불연속(끊김) 함수에는 적용 못 해요. 예: $f(x)=\frac{1}{x}$ 는 $[-1,1]$에서 $f(-1)=-1$, $f(1)=1$ 이지만, $x=0$에서 끊겨 있어 $N=0$을 통과하지 않습니다. (실제로 $1/x$는 절대 0이 안 됨.)

함정 2 — 존재성만 보장

IVT는 $c$가 있다고만 말해요. $c$의 정확한 값도, 유일성(딱 하나인지) 도 보장하지 않습니다. 부호가 한 번만 바뀌어도 근은 여러 개일 수 있어요.

거꾸로도 주의

“$f(a)$와 $f(b)$ 사이 바깥의 값 $N$“에 대해서는 아무것도 말하지 않아요. 또 결론은 “충분조건”이라 부호가 안 바뀌어도(예: $f(a),f(b)$ 둘 다 양수) 근이 있을 수 있습니다 — 그땐 IVT로는 판단 불가일 뿐.

6. 30초 요약

• 이름: 사잇값 정리 (Intermediate Value Theorem, IVT)
• 전제: $f$가 닫힌구간 $[a,b]$에서 연속 + $N$이 $f(a)$와 $f(b)$ 사이.
• 결론: $f(c)=N$인 $c$가 $(a,b)$에 적어도 하나 존재.
• 핵심 직관: 끊김 없는 곡선은 두 높이 사이 모든 높이를 통과(순간이동 불가).
• 대표 용도: 방정식 근의 존재성 증명, 이분법의 근거.
• 함정: 연속 필수 / 존재성만 보장(값·개수 X).
• 교과서: Stewart, Calculus: Early Transcendentals, §2.5 Continuity.

관련 노트

• Calculus Theorems (index)
• Extreme Value Theorem
• Mean Value Theorem