이문제좀풀어주세요~~ 도함수의 중간값정리?

[멍청이]

윤양동선생님 문제풀이를 보니 해석학 부분에서
도함수의 중간값정리를 이용하여 문제를 푸는 것이 있는 것 같아서요
도함수의 중간값정리라는 정리가 있습니까?
처음 봐서요
여기서는 도함수의 중간값정리에 대하여 이렇게 말하고 있습니다?
함수가 미분가능한 함수일때 그 도함수는 중간값정리를 만족한다.
이 말이 맞는 것이라면 증명은 어떻게 하지요?
궁금하네요

[수리메시아]

이거는 다복스정리라고 하네요....^^ 미분가능 함수가 중간값정리 만족하는 것 맞았요....

[보컬라인]

그증명은 미분가능한 함수는 연속이니깐~ 최대최소값 정리가 성립하니까 그걸 이용해서요~