Théorème des accroissements finis
En analyse, le théorème des accroissements finis (en abrégé : TAF) est à la fois une généralisation et un corollaire du théorème de Rolle. Pour toute fonction dérivable d'une variable réelle, son taux d'accroissement entre deux valeurs est réalisable comme pente d'une des tangentes à son graphe. Graphiquement, le théorème des accroissements finis indique que, pour toute droite sécante en deux points à une courbe différentiable, il existe, entre ces deux points, une tangente parallèle à la sécante. On peut illustrer ainsi le théorème : « Si un véhicule parcourt une distance à la vitesse moyenne de , alors son compteur (censé indiquer avec une précision infinie la vitesse instantanée) a indiqué au moins une fois la vitesse précise de . » La solution c n'est pas unique en général. Plus précisément, pour une fonction dérivable sur un intervalle I, la solution c est unique pour tous a < b dans I si et seulement si f est strictement convexe ou strictement concave sur I. Deux conséquences directes du théorème des accroissements finis sont : le lien entre monotonie et signe de la dérivée ; le théorème « limite de la dérivée » (si une fonction f, continue en a, est dérivable sauf peut-être en a, mais si sa dérivée a une limite finie au point a, alors f est en fait de classe C en a). Ce théorème s'applique dans le cas de deux fonctions continues sur [a,b] et dérivables sur ]a, b[. Il assure qu'il existe un réel c de l'intervalle ]a, b[ tel que Géométriquement, il signifie que toute courbe représentative d'une fonction différentiable de R dans R, t ↦ (f(t), g(t)), possède une tangente parallèle à l'une quelconque de ses cordes. Dans le cas où g ne s'annule pas sur ]a, b[, l'égalité peut s'écrire : Sous cette forme, le théorème est appelé théorème de la moyenne de Cauchy. Il peut être utilisé pour démontrer la règle de L'Hôpital. Remarque Si a = –∞ ou b = +∞ et si f et g sont dérivables sur ]a, b[ et possèdent en a et b des limites finies, notées f(a), f(b), g(a) et g(b), on obtient par la même méthode (en remplaçant le théorème de Rolle par une généralisation adaptée) une conclusion identique.
