Fie
o funcție crescătoare, derivabilă pe
cu
. Să se arate ca exista cel puțin un punct
, cu proprietatea că

.
Failed to parse (unknown function "\c"): {\displaystyle Solu\c t ie:\ (Robert \ Rogozsan)}
Dacă
, cum
e crescătoare, vom avea că
, deci
. Atunci luăm
arbitrar și concluzia este verificată. Analog pentru
(luăm
din
).
Failed to parse (unknown function "\c"): {\displaystyle Observa\c t ie:}
În funcție de cum e
față de
, concluzia se verifică pentru
(
). Nu avem nevoie de faptul că
e derivabilă, nici de
.