MacLaurin-Ungleichung
aus Wikipedia, der freien Enzyklopädie
Die MacLaurin-Ungleichung (nach Colin Maclaurin) ist eine Aussage aus der Analysis, einem Teilgebiet der Mathematik. Sie verschärft die Ungleichung vom arithmetischen und geometrischen Mittel, die besagt, dass das arithmetische Mittel von endlich vielen positiven reellen Zahlen stets mindestens so groß ist wie ihr geometrisches Mittel, in Formeln
![\frac{a_1+a_2+\ldots+a_n}n\geq\sqrt[n]{a_1a_2\cdots a_n}](../../../math/e/5/7/e575a7c07de58ba10ea944ca691200d5.png)
für eine natürliche Zahl n und 
. In der Verschärfung werden noch weitere Mittelwerte angegeben, die zwischen dem arithmetischen und geometrischen Mittel liegen, beispielsweise besagt die Ungleichung für drei Zahlen x,y,z
![\frac{x+y+z}3\geq\sqrt{\frac{xy+yz+zx}3}\geq\sqrt[3]{xyz}.](../../../math/8/4/0/840a7f45614b0d33e0bbbcd89fc8ea35.png)
[Bearbeiten] Aussage
Sind a1,...,an positive reelle Zahlen, und ist
dann gilt
![S_1\ge \sqrt{S_2}\ge ... \ge \sqrt[n]{S_n}.](../../../math/b/c/f/bcf4eaf9eb720453039def17152f6876.png)
Hinweis: S1 ist das arithmetische Mittel der Zahlen, ![\sqrt[n]{S_n}](../../../math/b/8/3/b8381674ab567f344eeb94ff2baa52a5.png)
das geometrische Mittel. Der Zähler von Sk ist das elementarsymmetrische Polynom vom Grad k in 
.
[Bearbeiten] Beweis
lässt sich nach dem Satz von Vieta schreiben als 
Nach dem Satz von Rolle sind 
auch alle positiv.
Wieder nach dem Satz von Vieta ist 
und 
Nach der AM-GM-Ungleichung ist ![\frac{m\, S_{m-1}}{m}\ge\sqrt[m]{S_m^{m-1}}\,\Longrightarrow \, \sqrt[m-1]{S_{m-1}}\ge\sqrt[m]{S_m}](../../../math/8/a/2/8a23b192431356119f7d14ad42ec2678.png)
