Théorème des accroissements finis
Soit f une application continue des [a ;
b] dans 
dérivable sur ]a ; b[. Alors il existe au moins un réel
c appartenant à
]a ; b[ tel que :
f(b) - f(a) = (b - a)f'(c)
Inégalité des accroissements finis :
Soit f une application de [a ; b] dans
continue sur [a ; b] et dérivable sur ]a ; b[ .
Si pour tout
réel x on a :
