Théorème des accroissements finis (forme intégrale)
Introduction
Le théorème qui nous intéresse ici est un peu complexe à énoncer de manière intuitive. C'est pour cela que nous allons juste en donner un cas particuliers, et expliquer son intérêt.
Il s'énonce de la manière suivante: si on considère une fonction sur un certain intervalle , alors l'aire sous la courbe de cette fonction (que l'on peut calculer par une intégrale) est égale à l'aire d'un rectangle dont la base est l'intervalle et la hauteur une certaine «hauteur moyenne» de la courbe.
Ce théorème (pas le cas particuliers) est utile pour définir le centre de masse de la surface sous la courbe.
Énoncé
Soit deux fonctions et deux fonctions continues définies sur telles que . Il existe alors un nombre tel que:
Démonstration
Tout d'abord, il faut noter que nous allons utiliser le théorème des bornes, qui dit qu'une fonction continue sur un intervalle , possède un minimum et un maximum. Aussi simple et logique soit cette énoncé, sa démonstration l'est moins, et ne figure pas encore sur Freesciences.
Notons donc, et le minimum et maximum de . On a donc, pour tout , , et puisque, :
Par monotonie et linéarité de l'intégrale:
Il existe donc un nombre tel que:
On applique donc le théorème des valeurs intermédiaires, pour trouver tel que :
ce qui achève la démonstration.
Cas particuliers
En prenant , , par simple application de la formule de l'aire d'un rectangle. On a donc:
Soit une fonction une fonction continue définie sur . Il existe alors un nombre tel que: