Le théorème des accroissements finis

Ce théorème est une conséquence directe du théorème de Rolle.

Soit une fonction \(f(x)\) continue sur un intervalle \([a,b]\), et dérivable sur \(]a,b[\).

$$ f \ continue \ sur \ [a,b] \ et \ dérivable \ sur \ ]a,b[ \ \Longrightarrow \ \exists c \in \hspace{0.05em} ]a, b[, \ f'(c) = \frac{ f(b) - f(a)}{b-a}$$

---

Démonstration

Soit une fonction \(f(x)\) continue sur un intervalle \([a,b]\), et dérivable sur \(]a,b[\)

Soient de même un réel \( c \in [a,b] \), la tangente \(T_c(x)\) de la courbe de \(f\) au point \(c\), ainsi qu'une fonction affine \(g(x)\) joignant les points \(A\) et \(B\).

Les points \(A, B, C\) sont les points de la courbe de \(f\) correspondants aux abscisses \(a, b, c\).

Considérons une fonction \(\Phi\) définie de même sur \([a,b]\) telle que :

Étant donné que la pente entre \(a\) et un point dans \(x \in [a, b]\) vaut :

Or,

$$ \Biggl \{ \begin{align*} f(a) = g(a) \\ f(b) = g(b) \end{align*} $$

Soit,

Alors, en injectant \((g)\) dans \((\Phi)\),

Les fonctions \( f, g \) étant dérivables sur \( ]a, b[ \), elle sont dérivables sur ce même intervalle, il en sera de même pour \(\Phi\).

Et comme :

Le théorème de Rolle peut alors s'appliquer.

Dans notre cas,

Et, en appliquant la dérivée à l'expression \((\Phi^*)\) on obtient \(\Phi'\) :

Et grâce aux résultats \((1)\) et \((\Phi ')\), on obtient que :

Alors,

Soit finalement,

$$ f \ continue \ sur \ [a,b] \ et \ dérivable \ sur \ ]a,b[ \ \Longrightarrow \ \exists c \in \hspace{0.05em} ]a, b[, \ f'(c) = \frac{ f(b) - f(a)}{b-a}$$