Доказательство теоремы Ролля: ru.wikipedia.org ru.ruwiki.ru
- Если функция на отрезке постоянна, то утверждение очевидно, поскольку производная функции равна нулю в любой точке интервала. ru.wikipedia.org
- Если же нет, то, поскольку функция непрерывна на отрезке, то согласно теореме Вейерштрасса, она принимает своё наибольшее или наименьшее значение в некоторой точке интервала, то есть имеет в этой точке локальный экстремум. ru.wikipedia.org
- По лемме Ферма производная в этой точке равна 0. ru.wikipedia.org
Таким образом, если функция непрерывна на отрезке, то она достигает на этом отрезке свои наименьшее и наибольшее значения, и по крайней мере одно из них достигается во внутренней точке интервала, в которой производная равна нулю. www.gubkin.ru portal.tpu.ru