Fie o funcție crescătoare, derivabilă pe cu . Să se arate ca exista cel puțin un punct , cu proprietatea că
.
Daca , cum e crescătoare, vom avea ca , deci . Atunci luam arbitrar si concluzia este verificata. Analog pentru (luam din ).
In functie de cum e fata de , concluzia se verifica pentru (). Nu avem nevoie de faptul ca e derivabila, nici de .