평균값 정리

개요

평균값 정리(Mean value theorem, MVT)는 미분가능한 함수의 그래프의 두 점을 이었을 때, 두 점 사이의 다른 점이 존재하여 그 점에서 접선의 기울기가 두 점을 이은 직선의 기울기와 같다는 명제다.

진술

실수 [math]\displaystyle{ a,b\;(a\lt b) }[/math]에 대해, 함수 [math]\displaystyle{ f:[a,b]\to\mathbb{R} }[/math]가 닫힌 구간 [math]\displaystyle{ [a,b] }[/math]에서 연속이고 열린 구간 [math]\displaystyle{ (a,b) }[/math]에서 미분가능하면,

[math]\displaystyle{ \frac{f(b)-f(a)}{b-a}=f'(c) }[/math]

인 [math]\displaystyle{ c\in(a,b) }[/math]가 존재한다.

증명

[math]\displaystyle{ g(x) = f(x) - f(a) - \frac{f(b)-f(a)}{b-a}(x-a) }[/math] 라고 하자. 그러면 [math]\displaystyle{ g(a) = 0, g(b) = 0 }[/math]이라서 롤의 정리를 적용해 [math]\displaystyle{ g'(c) = 0 = f'(c) - \frac{f(b)-f(a)}{b-a} }[/math]인 [math]\displaystyle{ c }[/math]를 찾을 수 있다. 그러면 [math]\displaystyle{ f'(c)= \frac{f(b)-f(a)}{b-a} }[/math]. 롤의 정리가 캐리해서 짧아진 증명

코시의 평균값 정리

위 평균값의 정리를 좀 더 일반화 시킨 버전.

실수 [math]\displaystyle{ a,b\;(a\lt b) }[/math]에 대해, 함수 [math]\displaystyle{ f,g:[a,b]\to\mathbb{R} }[/math]가 닫힌 구간 [math]\displaystyle{ [a,b] }[/math]에서 연속이고 열린 구간 [math]\displaystyle{ (a,b) }[/math]에서 미분가능하면,

[math]\displaystyle{ (f(b)-f(a)):(g(b)-g(a))=f'(c):g'(c) }[/math]

인 점 [math]\displaystyle{ c\in (a,b) }[/math]가 존재한다.

증명

함수 [math]\displaystyle{ h:[a,b]\to\mathbb{R} }[/math]을 다음과 같이 정의하자.

[math]\displaystyle{ h(x)=\frac{g(b)-g(a)}{b-a}f(x)-\frac{f(b)-f(a)}{b-a}g(x) }[/math]

그러면 h는 닫힌 구간 [math]\displaystyle{ [a,b] }[/math]에서 연속이고 열린 구간 [math]\displaystyle{ (a,b) }[/math]에서 미분가능하며,

[math]\displaystyle{ h(b)-h(a)=0 }[/math]

이다. 따라서 롤의 정리에 의해 [math]\displaystyle{ h'(c)=0 }[/math]인 [math]\displaystyle{ c\in (a,b) }[/math]가 존재한다. 그러면

[math]\displaystyle{ \frac{g(b)-g(a)}{f(b)-f(a)}=\frac{g'(c)}{f'(c)} }[/math]

이므로 원하는 결론을 얻는다.

활용

함수의 증감

여러가지 활용이 있겠지만 가장 익숙한 것은 함수의 그래프를 그리는 방법일 것이다.

함수 [math]\displaystyle{ f }[/math]가 [math]\displaystyle{ \left(a, b\right) }[/math]에서 미분가능하고 [math]\displaystyle{ f'\left(x\right) \geq 0 }[/math]이면, [math]\displaystyle{ f }[/math]는 그 구간에서 증가한다.

함수 [math]\displaystyle{ f }[/math]가 [math]\displaystyle{ \left(a, b\right) }[/math]에서 미분가능하고 [math]\displaystyle{ f'\left(x\right) \leq 0 }[/math]이면, [math]\displaystyle{ f }[/math]는 그 구간에서 감소한다.

증명

[math]\displaystyle{ \left(a,b\right) }[/math]내에서 임의의 [math]\displaystyle{ x_1, x_2 }[/math]를 [math]\displaystyle{ x_1\lt x_2 }[/math]가 되게 잡는다. 그럼 [math]\displaystyle{ f }[/math]는 [math]\displaystyle{ \left[x_1, x_2\right] }[/math]에서 연속이고 [math]\displaystyle{ \left(x_1, x_2\right) }[/math]에서 미분가능하다. 따라서 평균값의 정리에 의해 [math]\displaystyle{ f'\left(x_0\right) = \frac{f\left(x_2\right)-f\left(x_1\right)}{x_2-x_2} }[/math]를 만족하는 [math]\displaystyle{ x_0 }[/math]가 [math]\displaystyle{ \left(x_1, x_2\right) }[/math]내에 적어도 하나 존재한다. 또한 [math]\displaystyle{ x_2-x_1 \gt 0, f'\left(x_0\right) \geq 0 }[/math]이므로 [math]\displaystyle{ f\left(x_2\right)-f\left(x_1\right) \geq 0 }[/math]이다. 이것은 곧 [math]\displaystyle{ f\left(x_1\right) \leq f\left(x_2\right) }[/math]이고, [math]\displaystyle{ x_1, x_2 }[/math]는 구간 내의 임의의 값이므로 [math]\displaystyle{ f }[/math]는 구간 내에서 증가한다.

비슷한 방법으로 함수의 감소에 대해 증명할 수 있다.

연쇄 법칙

Chain Rule 이라고도 부르는 미분 법칙.

[math]\displaystyle{ \left(g\left(f\left(x\right)\right)\right)'=g'\left(f\left(x\right)\right)f'\left(x\right) }[/math]

좀 더 엄밀한 버전은 아래.

[math]\displaystyle{ \left[a,b\right] }[/math]에서 연속이고 [math]\displaystyle{ \left(a,b\right) }[/math]에서 미분가능한 함수 [math]\displaystyle{ f }[/math]와 [math]\displaystyle{ \text{Im}f }[/math], 혹은 이를 포함하는 집합에서 정의된 함수 [math]\displaystyle{ g }[/math]를 생각하자. [math]\displaystyle{ f }[/math]가 [math]\displaystyle{ c }[/math]에서 미분가능하며 [math]\displaystyle{ g }[/math]가 [math]\displaystyle{ f\left(c\right) }[/math]에서 미분 가능하면, [math]\displaystyle{ g\left(f\left(x\right)\right) }[/math]는 [math]\displaystyle{ x=c }[/math]에서 미분 가능하며, [math]\displaystyle{ \left.\frac{\mathrm{d}}{\mathrm{dx}}g\left(f\left(x\right)\right)\right|_{x=c}=g'\left(f\left(c\right)\right)f'\left(c\right) }[/math]이다.