해석학에서 평균값 정리

해석학에서 평균값 정리

정리

두 함수 $f$, $g$가 구간 $[a,b]$에서 연속이고, $(a,b)$에서 미분 가능한 함수라고 하자. 그러면 아래의 식을 만족하는 $x \in (a,b)$가 존재한다.

$$ [f(b)-f(a)]g'(x)=[g(b)-g(a)]f^{\prime}(x) $$


양 끝점 $a$, $b$에서는 미분가능성이 필요하지 않음에 주의하라.

설명

이는 고등학교와 미분적분학에서 배운 평균값 정리를 일반화 한 것이다. $g(x)=x$라고 두면 흔히 보던 꼴이 된다.

따름정리: 평균값 정리

함수 $f$가 $[a,b]$에서 연속이고, $(a,b)$에서 미분 가능한 실수 함수라고 하자. 그러면 아래의 식을 만족하는 $x\in (a,b)$가 존재한다.

$$ f(b)-f(a)=(b-a)f^{\prime}(x) $$

증명

함수 $h$를 다음과 같이 두자.

$$ h(t) = [f(b)-f(a)]g(t) -[g(b)-g(a)]f(t)\quad (a\le t \le b) $$

그러면 $h$는 연속 함수의 합이므로 $[a,b]$에서 연속이다. 또한 미분 가능한 함수의 합이므로 $(a,b)$에서 미분가능하다. 그러면 다음이 성립한다.

$$ h'(t)= [f(b)-f(a)]g'(t) -[g(b)-g(a)]f^{\prime}(t) $$

그러면 또한 다음의 식이 성립한다.

$$ \begin{equation} \begin{aligned} h(a) &= [f(b)-f(a)]g(a)-[g(b)-g(a)]f(a) \\ &= f(b)g(a)-f(a)g(b) \\ &= [f(b)-f(a)]g(b)-[g(b)-g(a)]f(b) \\ &= h(b) \end{aligned} \label{eq1} \end{equation} $$

이제 어떤 $x\in (a,b)$에 대해서 $h'(x)=0$임을 보이면 증명이 끝난다.

댓글