4.2 평균값 정리
평균값 정리를 얻기 위해서 우선 다음 정리가 필요하다. 롤의 정리 f 는 다음 세 가지 가정을 만족하는 함수라고 하자. f 는 폐구간 [a,b] 에서 연속이다. f 는 개구간 (a,b) 에서 미분가능하다. f(a) = f(b) 이때, f'(c)=0 을 만족하는 수 c 가 (a,b) 안에 존재한다. 증명, 세 가지 경우로 나누어 증명한다. 경우 1 f(x) = k, 상수 f'(x) = 0 이므로, c 는 (a,b) 안에 어떠한 수도 취할 수 있다. 경우 2 (a,b) 안에 어떤 x 에 대해 f(x) > f(a) 극값 정리에 의해 f 는 [a, b] 에서 최댓값을 갖는다. f(a) = f(b) 이므로 개구간 (a, b) 안에 어떤 수 c 에서 이 최댓값을 갖는다. 이때, f 는 c 에서 극대이고 f 는 c ..