Maclaurin-Ungleichung

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

<math>\frac{a_1+a_2+\ldots+a_n}n\geq\sqrt[n]{a_1a_2\cdots a_n}</math>

für eine natürliche Zahl <math>n</math> und <math>a_1,a_2,\ldots,a_n>0</math>. 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 <math>x,y,z</math>

Aussage

Sei <math>n \in \N</math> und seien <math>a_1,\ldots,a_n</math> positive reelle Zahlen, und definiere

<math>S_k= \binom{n}{k}^{-1} \sum_{1\le i_1<\ldots<i_k\le n} a_{i_1}\cdots a_{i_k},</math>

dann gilt

<math>S_1\ge S_2^{1/2} \ge \ldots \ge S_n^{1/n}.</math>

Bemerkung: <math>S_1</math> ist das arithmetische Mittel der Zahlen, <math>S_n^{1/n}</math> das geometrische Mittel. Der Zähler von <math>S_k</math> ist das elementarsymmetrische Polynom vom Grad <math>k</math> in <math>a_1,\ldots,a_n</math>.

Beweis

Seien <math>n</math> und <math>a_1, \ldots, a_n</math> wie angegeben. Definiere die Abbildung <math>f \colon \R \to \R</math> durch <math>f(x):=(x+a_1)\cdots (x+a_n)</math>, diese lässt sich nach dem Satz von Vieta schreiben als <math>f(x) = \sum_{k=0}^n {n\choose k} S_k\, x^{n-k}</math>.

Weil <math>f</math> eine Polynomfunktion ist, sind auch alle ihre Ableitungen Polynomfunktionen; für <math>m \in \N_0</math> mit <math>m \leq n</math> ist also <math>f^{(n-m)}(x)=\frac{n!}{m!}\,(x+b_1)\cdots (x+b_m)</math>. Andererseits erhalten wir durch direkte Differentiation der Summendarstellung von <math>f</math>, dass <math>f^{(n-m)}(x) =\frac{n!}{m!}\,\sum_{k=0}^m \binom{m}{k} \, S_k x^{m-k}</math>.

Nach dem Satz von Rolle sind <math>b_1,\ldots,b_m</math> auch alle positiv.

Wieder nach dem Satz von Vieta sind <math>b_1\cdots b_m=S_m</math> und <math>\sum_{i = 1}^m \frac{b_1 \cdots b_m}{b_i} =m\, S_{m-1}</math>.

Nach der AGM-Ungleichung ist <math>\frac{m\, S_{m-1}}{m}\ge (S_m^{m-1})^{1/m}</math> und schließlich <math>S_{m-1}^{1/(m - 1)}\ge S_m^{1/m}</math>.