Терема Ролля. Пусть функция
дифференцируема на интервале
, причем
, тогда найдется хотя бы одна точка внутри интервала, в которой производная функции обращается в нуль, то есть
,
.
Теорема дается без доказательства, ограничимся общими рассуждениями.
Если
, то
во всех точках интервала.
Пусть
переменная и имеет одинаковые значения на границах интервала, тогда она обязательно принимает на рассматриваемом отрезке наибольшее и наименьшее значения, оба они не могут оказаться на границе отрезка (тогда они совпадают, что возможно только при
). Пусть одно из них находится во внутренней точке интервала
. Если это наибольшее значении, то при подходе к указанной точке функция возрастает, угол наклона касательной острый и тангенс этого угла положителен, после этой точки кривая убывает, угол наклона касательной тупой, его тангенс отрицателен. Производная, проходя точку
, меняет знак, и поскольку она существует, то не может в этой точке отличаться от нуля.
Теорема конечных приращений Лагранжа. Если функция
дифференцируема на интервале
, то
где
. (Без доказательства).
Теорема Коши. Если функции
и
дифференцируемы на интервале
и
, то
.
Доказательство. Рассмотрим вспомогательную функцию
.
Она дифференцируема, так как кроме функций
и
в нее входят только постоянные, причем,
, то есть удовлетворяет всем условиям теоремы Ролля. Тогда
, теорема доказана.
Замечание. При формулировке теоремы не следовало добавлять условие
, так как оно следует из теоремы Лагранжа.