중간값 정리 (Intermediate Value Theorem)

한 줄 정의: 연속함수가 구간의 양 끝에서 서로 다른 값을 가지면, 그 사이의 모든 값을 적어도 한 번은 지나간다는 정리입니다.

쉽게 풀면

아침에 산 아래(고도 0m)에서 출발해 저녁에 산 정상(고도 1000m)에 도착했다고 해봅시다. 중간에 순간이동을 하지 않고 길을 따라 계속 걸었다면, 그날 어느 한 순간에는 반드시 고도 500m 지점을 지나갔을 것입니다. 이렇게 "끊기지 않고 이어진(연속인) 길"이라면 시작과 끝 사이의 모든 높이를 한 번씩은 거쳐야 한다는 것이 중간값 정리입니다.

왜 중요한가

중간값 정리는 방정식의 해를 직접 구하지 않고도 "해가 존재한다"는 사실만을 증명할 수 있게 해주는 강력한 도구입니다. 복잡한 방정식이나 명시적으로 풀 수 없는 함수를 다룰 때, 해의 존재성을 먼저 확보하는 것은 수치해석·최적화·미분방정식 등 여러 분야의 이론 전개에서 출발점이 되기 때문에 순수수학뿐 아니라 응용수학 논문에서도 기초적인 도구로 자주 활용됩니다.

논문에서는 이렇게 쓰입니다

"방정식 f(x)=0의 해가 구간 [a,b] 내에 존재함을 중간값 정리를 이용하여 증명하였다."

이 문장은 "f(a)와 f(b)의 부호가 서로 다르므로, 그 사이 어딘가에서 함숫값이 반드시 0을 지나간다"는 것을 근거로 해가 존재함을 보였다는 뜻입니다.

"수치해석에서는 중간값 정리에 기반한 이분법(bisection method)을 이용하여 비선형 방정식의 근을 반복적으로 좁혀가며 수치적으로 근사하였다."

해의 존재를 보장하는 이론적 근거(중간값 정리)를 실제 계산 알고리즘(이분법)으로 구현해, 컴퓨터로 방정식의 근을 점점 정밀하게 구해나갔다는 뜻입니다.

조금 더 깊게 보면

중간값 정리를 실제로 활용할 때 가장 널리 쓰이는 방식은 구간을 절반씩 좁혀가며 부호가 바뀌는 지점을 찾는 이분법으로, 이는 해의 존재만 보장하는 이론을 실질적인 근사해 계산 절차로 바꿔줍니다. 다만 이 정리는 해가 "존재한다"는 것만 보장할 뿐 해가 몇 개인지나 정확한 위치는 알려주지 않으므로, 실제 응용에서는 함수의 단조성이나 추가적인 조건을 함께 살펴 해의 유일성 여부를 별도로 논의하는 경우가 많습니다.

주의할 점

이 정리는 함수가 해당 구간에서 함수의 극한과 연속이어야만 성립합니다. 함수가 중간에 끊어져 있다면(불연속이라면) 중간값을 건너뛸 수 있으므로 정리가 적용되지 않습니다.