Inégalité de Maclaurin

En mathématiques, les inégalités de Maclaurin forment une généralisation de l'inégalité arithmético-géométrique.

Elles sont parfois dénommées aussi "inégalités de Newton", dont elles sont une conséquence^[1].

Énoncé[modifier | modifier le code]

Soient $a 1, a 2, \dots , a n$ des nombres réels strictement positifs et, pour $k = 1, 2, \dots , n$ , les moyennes $S k$ définies par

S_{k}={\frac {\displaystyle \sum _{1\leqslant i_{1}<\cdots <i_{k}\leqslant n}a_{i_{1}}a_{i_{2}}\cdots a_{i_{k}}}{\displaystyle {n \choose k}}}\cdot

Le numérateur de ce quotient est la fonction symétrique élémentaire de degré $k$ en les $n$ variables $a 1, a 2, \dots , a n$ , c'est-à-dire la somme de tous les produits de $k$ d'entre ces nombres. Le coefficient binomial au dénominateur est donc le nombre de termes du numérateur.

Alors,

S_{1}\geqslant {\sqrt {S_{2}}}\geqslant {\sqrt[{3}]{S_{3}}}\geqslant \cdots \geqslant {\sqrt[{n}]{S_{n}}},

et ces inégalités sont strictes, sauf si tous les $a i$ sont égaux.

Exemples[modifier | modifier le code]

L'inégalité $S_{1}\geqslant {\sqrt[{n}]{S_{n}}}$ est l'inégalité usuelle entre la moyenne arithmétique et la moyenne géométrique des $n$ nombres.

Pour $n=4$ , les inégalités intermédiaires sont (pour tous réels $a, b, c, d > 0$ )

${\frac {a+b+c+d}{4}}\geqslant {\sqrt {\frac {ab+ac+ad+bc+bd+cd}{6}}}\geqslant {\sqrt[{3}]{\frac {abc+abd+acd+bcd}{4}}}\geqslant {\sqrt[{4}]{abcd}}.$

Démonstration[modifier | modifier le code]

Les inégalités de Maclaurin peuvent se déduire des inégalités de Newton, qui sont (en posant S₀ = 1)

\forall k=1,\ldots ,n-1\quad S_{k}^{2}\geqslant S_{k-1}S_{k+1}.

En effet, $S_{1}^{2}S_{2}^{4}S_{3}^{6}\ldots S_{k}^{2k}\geqslant (S_{0}S_{2})(S_{1}S_{3})^{2}(S_{2}S_{4})^{3}\ldots (S_{k-1}S_{k+1})^{k}$ se simplifie en $S_{k}^{k+1}\geqslant S_{k+1}^{k},$ qui équivaut à $S_{k}^{1/k}\geqslant S_{k+1}^{1/(k+1)}.$ Le cas d'égalité pour Newton fournit celui pour Maclaurin.

Références[modifier | modifier le code]

↑ Mohammed Aassila, 100 chalenges mathématiques, Analyse, Ellipses, 2016, p. 294-296

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Maclaurin's inequality » (voir la liste des auteurs).
(en) Piotr Biler et Alfred Witkowski, Problems in Mathematical Analysis, New York/Basel, CRC Press, 1990, 227 p. (ISBN 0-8247-8312-3, lire en ligne), p. 5
(en) Colin Mac Laurin, « A second letter from Mr. Colin M^c Laurin, […] to Martin Folks, Esq.; concerning the roots of equations, with the demonstration of other rules in algebra […] », Phil. Trans., vol. 36, n^os 407-416,‎ 1729, p. 59-96 (DOI 10.1098/rstl.1729.0011)

Articles connexes[modifier | modifier le code]

Portail des mathématiques

[:0-1] Mohammed Aassila, 100 chalenges mathématiques, Analyse, Ellipses, 2016, p. 294-296

[1]