-
Inégalité $MG \leq MA$ via la concavité
- La fonction $x \mapsto \ln(x)$ est concave sur $]0 ; +\infty[$ car sa dérivée seconde $f''(x) = -1/x^2$ est négative.
- D'aprÚs l'inégalité de convexité (avec $\lambda = 1/2$) : $\ln\left(\frac{a+b}{2}\right) \geq \frac{\ln(a) + \ln(b)}{2}$.
- D'oĂč $\ln\left(\frac{a+b}{2}\right) \geq \ln(\sqrt{ab})$.
- Par croissance de la fonction log, on obtient : \[\frac{a+b}{2} \geq \sqrt{ab}\]
-
Inégalité $MH \leq MG$
- En appliquant le résultat précédent à $1/a$ et $1/b$, on a: \[\sqrt{\frac{1}{ab}} \leq \frac{1/a + 1/b}{2}\]
- En prenant l'inverse : \[\frac{2ab}{a+b} \leq \sqrt{ab}\]
-
Moyennes Harmonique, Géométrique et Arithmétique
- On en conclut que : \[MH \leq MG \leq MA\].