롤의 정리(Rolle's Theorem)함수 $f(x)$가 구간 $[a,\,b]$에서 연속이고 구간 $(a,\,b)$에서 미분 가능하며, $f(a) = f(b)$일 때, $f'(c) = 0$을 만족하는 $c$가 적어도 하나 존재한다.pf) i) $f(x)=k$, ($k$는 상수)$f'(x)=0$이므로 구간 $(a,\,b)$에서 모든 점 $c$에 대해 $f'(c)=0$이다.ii) 구간 $(a,\,b)$에서 어떤 $x$가 $f(x)>f(a)$최대 최소 정리와 가정에 의해 함수 $f$는 구간 $[a,\,b]$에서 $f(a)$나 $f(b)$가 아닌 최댓값을 가진다. 따라서 그 최댓값은 극댓값이고 미분가능하므로 $f'(c)=0$을 만족하는 $c$가 적어도 하나 존재한다.iii) 구간 $(a,\,b)$에서 어떤 $..