Inégalité arithmético-géométrique

Étant donnés {n} réels {a_1,a_2,\ldots,a_n} positifs ou nuls, avec {n\ge2}, on définit :

  • La moyenne géométrique des {a_k} :{G_{n}=\sqrt[n]{a_1a_2\ldots a_n}}
  • La moyenne arithmétique des {a_k} :{M_{n}=\dfrac{a_1+a_2+\cdots+a_n}{n}}

On se propose de montrer l’inégalité {G\le M} par récurrence sur {n}. L’idée de cette démonstration est attribuée à Leonhard Euler.

Question 1.
Que se passe-t-il si l’un au moins des {a_{k}} est nul?
Dans toute la suite, on supposera donc que les {a_{k}} sont strictement positifs.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question 2.
Montrer que la propriété est vraie au rang {2} et préciser le cas d’égalité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question 3.
Montrer que si la propriété est vraie au rang {n\ge1}, alors elle est vraie au rang {2n}.
Indication : noter {M_1} et {G_1} (resp. {M_2} et { G_2}) les moyennes arithmétique et géométrique de {a_1,\ldots,a_n} (resp. {a_{n+1},\ldots,a_{2n}}), et {M,G} celles de {a_1,\ldots,a_n,\ldots,a_{2n}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question 4.
Montrer que si la propriété est vraie au rang {n\ge3}, alors elle est vraie au rang {n-1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question 5.
Montrer que la propriété est vraie pour tout {n\ge1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question 6.
Montrer que l’inégalité {G\le M} est une égalité si et seulement si tous les {a_{k}} sont égaux.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :