Пусть функция :
1. непрерывна на ;
2. дифференцируема на ;
3. .
Тогда .
Доказательство. Случай тривиален. Будем считать далее, что . По теореме Вейерштрасса в некоторых точках отрезка функция принимает максимальное и минимальное значения. По крайней мере, одна из этих точек лежит на интервале , так как . Тогда по теореме Ферма производная в этой точке равна нулю, что и требовалось доказать.
Если функция непрерывна на отрезке и дифференцируема на интервале , то в этом интервале найдется хотя бы одна точка , такая что
Доказательство.
Рассмотрим функцию
где число выберем таким, чтобы выполнялось условие , т.е. . Отсюда находим
Так как функция непрерывна на отрезке , дифференцируема на интервале и принимает равные значения в концах этого интервала, то по теореме Ролля существует точка такая, что . Отсюда в силу условия (2) получаем равенство
равносильное равенству (1).
Если функции и непрерывны на отрезке , дифференцируемы на интервале , причем во всех точках этого интервала, то найдется хотя бы одна точка такая, что
Доказательство.
Рассмотрим функцию
где число выберем таким, чтобы выполнялось равенство , которое равносильно следующему:
Заметим, что , так как в противном случае согласно теореме Ролля существовала бы точка такая что вопреки условиям теоремы.
Итак, и из равенства (1) следует, что
Так как функция при любом непрерывна на отрезке и дифференцируема на интервале , а при определяемой формулой (2), принимает равные значения в точках и , то по теореме Ролля существует точка такая, что , откуда . Из этого равенства следует утверждение теоремы.
О.В Бесов Лекции по математическому анализу.Часть 1.стр. 86.