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 : 
