Теорема
Пусть функции

определены и дифференцируемы в некотором интервале
, где
, причем

на

и
, где
.
Тогда в каждом из двух следующих случаев:
1)

и
или
2)
верно
.
Аналогично можно сформулировать теорему для случая
.
Замечание: запись

означает, что

стремится

справа, а запись

означает, что

стремится

слева.
Доказательство
Так как

на
, то

строго монотонна на
, а следовательно на интервале

не может быть более одной точки
, в которой
. Если такая точка

есть, то всегда можно укоротить интервал

справа так, чтобы
, а следовательно можно считать, что

на
.
Для любых

выполнены условия для использования формулы Коши. Действительно, функции

непрерывны и дифференцируемы на
![$[x,y]$ $[x,y]$](/getteximg?%5Bx%2Cy%5D)
и

на
.
Формула Коши в данном случае имеет вид:
.
Заметим, что порядок следования

и

неважен, то есть возможны случаи

и
.
Соотношение Коши можно переписать в виде
Далее оттуда можно выразить
.
При

можно согласованно устремить

к

так, что

и
, причем, поскольку

лежит между

и
, то также
.
Следовательно будем иметь
.
Для обоснования рассуждений докажем вспомогательные леммы.
Лемма 1
Пусть функции

определены на интервале
, причем

на

и

при
.
Тогда найдется функция

такая, что

и

при
.
Доказательство
Пусть на

задана какая-нибудь функция

такая, что

при
.
Так как

при
, то для любого временно фиксированного

найдется

такой, что
.
Находя таким образом для каждого

соответствующий ему
, можем определить функцию
, которая действует из

в
.
Поскольку
, то также

при
.
При этом будем иметь
, откуда следует, что

при
.
Лемма 2
Пусть функции

определены на интервале
, причем

при
.
Тогда найдется функция

такая, что

и

при
.
Доказательство
Пусть на

задана какая-нибудь функция

такая, что

при
.
Так как

при
, то для любого временно фиксированного

найдется

такой, что
.
Находя таким образом для каждого

соответствующий ему
, можем определить функцию
, которая действует из

в
.
Поскольку
, то также

при
.
При этом будем иметь
, откуда следует, что

при
.