코시의 평균값 정리 (Cauchy's MVT)
코시의 평균값 정리는 일반 평균값 정리를 두 함수에 대해 확장한 것으로, 매개변수로 표현된 곡선의 기하학적 성질을 설명합니다. 이는 로피탈의 정리를 증명하는 결정적인 도구입니다.
1. 정리의 내용 및 조건
두 함수 $f, g$가 다음 조건을 만족해야 합니다.
- 닫힌 구간 $[a, b]$에서 연속
- 열린 구간 $(a, b)$에서 미분 가능
- 구간 $(a, b)$의 모든 $x$에 대하여 $g'(x) \neq 0$
이때, 다음 식을 만족하는 $c$가 $(a, b)$ 내에 적어도 하나 존재합니다.
$$\frac{f'(c)}{g'(c)} = \frac{f(b) - f(a)}{g(b) - g(a)}$$
2. 기하학적 해석
평면 위에서 매개변수 방정식 $(x, y) = (g(t), f(t))$로 표현되는 곡선을 생각해 봅시다.
- 오른변인 $\frac{f(b) - f(a)}{g(b) - g(a)}$는 점 $(g(a), f(a))$와 $(g(b), f(b))$를 잇는 할선의 기울기입니다.
- 왼편인 $\frac{f'(c)}{g'(c)}$는 매개변수 미분법에 의한 $t=c$에서의 접선의 기울기($dy/dx$)입니다.
즉, 양 끝점을 잇는 할선과 평행한 접선이 곡선 위에 반드시 존재함을 의미합니다.
3. 증명의 아이디어
Proof via Rolle's Theorem
다음과 같은 보조 함수 $h(t)$를 정의합니다.
$$h(t) = [f(b) - f(a)]g(t) - [g(b) - g(a)]f(t)$$
- $h(t)$는 $[a, b]$에서 연속이고 $(a, b)$에서 미분 가능합니다.
- 계산해 보면 $h(a) = h(b)$임을 알 수 있습니다.
- 롤의 정리에 의해 $h'(c) = 0$인 $c \in (a, b)$가 존재합니다.
- $h'(c) = [f(b) - f(a)]g'(c) - [g(b) - g(a)]f'(c) = 0$을 정리하면 코시의 공식이 유도됩니다.
4. 일반 평균값 정리와의 관계
만약 $g(x) = x$라면, $g'(x) = 1$이고 $g(b)-g(a) = b-a$가 됩니다. 이 경우 코시의 평균값 정리는 우리가 잘 아는 일반 평균값 정리(Lagrange's MVT)가 됩니다.