Теорема. Если непрерывна на отрезке , дифференцируема во всех внутренних точках этого отрезка и = (т.е. принимает на концах этого отрезка равные значения), то внутри этого отрезка существует хотя бы одна точка , для которой =0.
Доказательство.
Если =, то возможны два случая:
1. функция = const внутри = 0, " Î .
2. функция изменяется, т.к. непрерывна на она принимает на свое наибольшее и наименьшее значения, причем хотя бы одно из них будет внутри интервала .
По условию функция дифференцируема во всех точках и в точке, где принимается наибольшее (наименьшее) значение () по теореме Ферма =0.
Если = =0 между всякими двумя нулями функции лежит точка , что =0 (именно в таком виде теорема дана Роллем).
Теорема Роля теряет силу, если не требовать дифференцируемость во всех точках интервала.
Пример 1. , при , =1, но ни где не обращается в 0, в точке не существует.
.