Théorème de la moyenne

Le théorème de la moyenne (en analyse réelle)

En analyse réelle, le théorème de la moyenne est un résultat classique concernant l'intégration des fonctions continues d'une variable réelle, selon lequel la moyenne d'une fonction continue sur un segment se réalise comme valeur de la fonction.

Énoncé

Théorème — Pour toute fonction f à valeurs réelles, définie et continue sur un segment [a , b], avec a < b, il existe un réel c dans ]a , b[ vérifiant :

$f(c)={\frac {1}{b-a}}\int _{a}^{b}f(x)~\mathrm {d} x.$

Inégalité de la moyenne: la valeur moyenne d'une fonction $f$ continue sur $[a,b]$ est comprise entre son minimum et son maximum.

L'intégrale est ici définie au sens de Riemann (mais f étant supposée continue, une forme plus simple d'intégration, comme celle utilisée par Cauchy, peut être employée) ; si on admet le premier théorème fondamental de l'analyse, le théorème de la moyenne se confond avec le théorème des accroissements finis.

On n'en utilise souvent que la conséquence plus faible suivante, connue sous le nom d’inégalité de la moyenne :

Théorème — Si f est continue sur [a , b], avec a ≤ b et si pour tout x de cet intervalle, on a :$m\leq f(x)\leq M,$alors$m\,(b-a)\leq \int _{a}^{b}f(x)\,\mathrm {d} x\leq M\,(b-a).$

(ce dernier résultat est encore valable pour des fonctions intégrables quelconques)

Remarques

• Graphiquement, une interprétation de ce théorème est que l'aire algébrique sous la courbe représentative de f est égale à celle d'un rectangle de base [a , b], et de hauteur un point moyen de la courbe.
• Ce théorème s'étend aux fonctions réelles de plusieurs variables sur un domaine compact et connexe par les intégrales multiples.
• Le point c ne dépend pas continûment de f.^{[réf. nécessaire]} Le théorème de la moyenne énonce l'existence d'un réel c mais ne donne aucune information sur sa dépendance en la fonction f.
• L'hypothèse de continuité est essentielle. Par exemple pour [a , b] = [0 ; 1] en posant f(x) = 1 si x < 1/2 et f(x) = 0 sinon, la valeur moyenne de f vaut 1/2 donc n'est pas réalisée comme valeur de f.

Démonstration

En utilisant le premier théorème fondamental de l'analyse, ou alors en court-circuitant la théorie de l'intégrale de Riemann et en prenant, comme définition de l'intégrale d'une fonction continue sur un intervalle, la variation sur cet intervalle de l'une quelconque de ses primitives (donc en admettant qu'il en existe), le théorème de la moyenne devient une simple reformulation du théorème des accroissements finis.

En effet, si F est une primitive de f, alors le théorème des accroissements finis pour F fournit l'existence d'un réel c strictement compris entre a et b tel que

$F'(c)={\frac {F(b)-F(a)}{b-a}}\ ,$

ce qui est le résultat souhaité puisque F' = f et $F(b)-F(a)=\int _{a}^{b}f(x)\,\mathrm {d} x.$

Pour une démonstration plus « directe », cf. généralisation ci-dessous en posant g(x) = 1.

Généralisation

De même que le théorème de la moyenne est une version intégrale du théorème des accroissements finis, sa généralisation suivante est une version intégrale du théorème des accroissements finis généralisé :

Pour toutes fonctions d'une variable réelle f et g continues sur le segment [a, b], avec a < b, g gardant un signe constant sur [a , b], il existe un réel c de ]a , b[ tel que

$\int _{a}^{b}f(x)g(x)~\mathrm {d} x=f(c)\int _{a}^{b}g(x)~\mathrm {d} x.$

Démonstration

On peut supposer que la fonction g est à valeurs positives ou nulles (quitte à la remplacer par –g si nécessaire).

On peut de plus exclure le cas trivial où fg est de la forme Kg pour une certaine constante K. Cela exclut en particulier que g soit constamment nulle ou que f soit constante.

D'après le théorème des bornes et le théorème des valeurs intermédiaires, l'image par f du segment [a, b] est un segment [m, M] avec m < M, et l'image de l'intervalle ouvert ]a , b[ est un intervalle inclus dans ce segment et qui n'en diffère que par au plus deux points, donc $]m,M[\subset f(]a,b[).$

Puisque g est continue positive et non constamment nulle, son intégrale sur [a, b] est strictement positive.

Pour prouver que ${\frac {\int _{a}^{b}f(x)g(x)~\mathrm {d} x}{\int _{a}^{b}g(x)~\mathrm {d} x}}\in f(]a,b[),$ il suffit donc de vérifier que $m\int _{a}^{b}g(x)~\mathrm {d} x<\int _{a}^{b}f(x)g(x)~\mathrm {d} x<M\int _{a}^{b}g(x)~\mathrm {d} x.$

Montrons par exemple la première inégalité stricte (le raisonnement pour la seconde est analogue).

La fonction (f – m)g étant continue positive et non constamment nulle, l'application $y\mapsto \int _{a}^{y}(f(x)-m)g(x)~\mathrm {d} x$ est croissante et non constante, si bien que sa valeur en b est strictement supérieure à celle en a. Ainsi, $m\int _{a}^{b}g(x)~\mathrm {d} x<\int _{a}^{b}f(x)g(x)~\mathrm {d} x,$ ce qui termine la démonstration.

Remarque

L'hypothèse que g garde un signe constant est indispensable : par exemple pour [a, b] = [–1, 1] et f(x) = g(x) = x, il n'existe aucun c tel que 2/3 = c × 0.

Articles connexes

• Théorème de moyenne pour les différences divisées (en)
• Intégrale de Stieltjes : première et seconde formules de la moyenne

Lien externe

• Paul Mansion, « Sur le second théorème de la moyenne » (1885), en ligne et commenté sur BibNum.