평균값 정리 (Mean Value Theorem)

한 줄 정의: 구간의 양 끝을 잇는 평균 변화율과 정확히 같은 순간 변화율(기울기)을 갖는 지점이 그 구간 안에 적어도 하나 존재한다는 정리입니다.

쉽게 풀면

자동차로 100km를 2시간 동안 달렸다면 평균 속도는 시속 50km입니다. 평균값 정리는 "출발부터 도착까지 속도가 매끄럽게 변했다면, 여행 중 어느 한 순간에는 계기판 속도가 정확히 시속 50km를 가리켰을 것"이라는 사실을 수학적으로 보장해 줍니다. 즉 함수가 구간에서 끊기지 않고 매끄럽게(미분 가능하게) 이어져 있다면, 그 구간의 평균 기울기와 똑같은 순간 기울기를 갖는 지점이 반드시 존재한다는 뜻입니다. 이 정리는 단순해 보이지만 미적분학의 다른 많은 정리(예: 함수의 증가·감소 판정)를 증명하는 기초 도구로 쓰입니다.

왜 중요한가

평균값 정리는 함수값의 차이를 도함수(기울기) 정보로 바꿔 표현할 수 있게 해주는 다리 역할을 하기 때문에, 수렴성 증명이나 오차 상한을 유도하는 거의 모든 수학·최적화 논문에서 핵심 보조정리로 등장합니다. 직접 비교하기 어려운 두 값의 차이를 그 사이 어딘가의 미분값으로 바꿔주므로, 부등식을 세우고 증명을 완성하는 표준적인 기법으로 폭넓게 활용됩니다.

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

"평균값 정리(mean value theorem)를 적용하면, 손실 함수의 두 지점 사이의 차이를 그레이디언트의 상한으로 제한할 수 있다."

이 문장은 "두 값 사이의 변화량을 직접 계산하기 어려울 때, 평균값 정리를 이용해 그 사이 어딘가의 기울기 값으로 바꿔 표현함으로써 부등식 형태의 증명을 완성한다"는 뜻입니다. 최적화 이론이나 수렴성 분석 논문에서 오차 범위를 유도할 때 자주 쓰이는 도구입니다.

"평균값 정리를 이용하여 수치적분 공식의 절단 오차(truncation error)를 특정 지점에서의 고계 도함수 값으로 표현하였다."

수치해석 분야에서는 근사 공식이 실제 값과 얼마나 차이가 나는지를 평균값 정리 형태의 오차항으로 표현해 오차의 크기를 분석하는 경우가 흔하다.

"제어 시스템의 리아푸노프 안정성 증명 과정에서 평균값 정리를 활용해 상태 변화량을 순간 변화율의 형태로 재구성하였다."

제어이론에서도 시스템 상태의 변화를 다룰 때 평균값 정리를 이용해 이산적인 변화량을 미분 가능한 형태로 바꿔 안정성을 분석하는 데 사용한다.

조금 더 깊게 보면

평균값 정리는 롤의 정리(Rolle's theorem)의 일반화로 볼 수 있으며, 두 함수를 동시에 다루는 코시 평균값 정리(Cauchy's mean value theorem)나 다변수 함수로 확장한 형태 등 여러 변형이 존재합니다. 실제 증명에서는 정리 자체보다는 이를 응용한 부등식, 예를 들어 립시츠 연속(Lipschitz continuity) 조건과 결합해 함수값의 변화 폭에 상한을 씌우는 형태로 자주 활용됩니다. 다변수 함수나 벡터함수로 확장할 때는 정리가 그대로 성립하지 않는 경우가 있어, 적분 형태의 평균값 정리나 부등식 형태로 대체해서 쓰는 경우가 많다는 점도 논문을 읽을 때 참고할 만합니다.

주의할 점

평균값 정리가 성립하려면 함수가 해당 구간에서 연속이고 미분 가능해야 합니다. 구간 안에 뾰족한 점이나 불연속점이 있으면 정리가 성립하지 않을 수 있으므로, 미분 가능성 조건을 먼저 확인해야 합니다.