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 .