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