3.1. teorēma. Lai funkcija būtu konstanta intervālā , ir nepieciešami un pietiekami, lai tai šajā intervālā eksistētu atvasinājums, kas ir vienāds ar nulli.
Nepieciešamība. Izriet no 1.3. teorēmas.
Pietiekamība. Jebkuriem diviem šī intervāla punktiem un , kur - fiksēts, bet - patvaļīgs punkts, ir spēkā Lagranža formula: , kur atrodas starp un .
Tā kā , tad jeb const. Tādējādi funkcija ir konstanta intervālā .
Sekas. Ja divām intervālā diferencējamām funkcijām ir vienādi atvasinājumi, tad šīs funkcijas var atšķirties tikai par konstanti.
Pierādīt patstāvīgi3.1.
Izveidosim divas funkcijas un . Acīmredzami, visiem ir spēkā . Saskaņā ar sekām jeb . Lai atrastu konstantes vērtību, ievietosim šajā identitātē . Iegūsim jeb . Tādējādi un . Ar tiešo pārbaudi var pārliecināties, ka vienādība ir spēkā arī šī intervāla galapunktos.