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

\frac{a_{1} + a_{2} + \dots + a_{n}}{n} \geq \sqrt[n]{a_{1} a_{2} \dots a_{n}}

für eine natürliche Zahl $n$ und $a_{1}, a_{2}, \dots, a_{n} > 0$ . 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{x y + y z + z x}{3}} \geq \sqrt[3]{x y z} .

Aussage

Sei $n \in ℕ$ und seien $a_{1}, \dots, a_{n}$ positive reelle Zahlen, und definiere

S_{k} = {(\binom{n}{k})}^{- 1} \sum_{1 \leq i_{1} < \dots < i_{k} \leq n} a_{i_{1}} \dots a_{i_{k}},

dann gilt

S_{1} \geq S_{2}^{1 / 2} \geq \dots \geq S_{n}^{1 / n} .

Bemerkung: $S_{1}$ ist das arithmetische Mittel der Zahlen, $S_{n}^{1 / n}$ das geometrische Mittel. Der Zähler von $S_{k}$ ist das elementarsymmetrische Polynom vom Grad $k$ in $a_{1}, \dots, a_{n}$ .

Beweis

Seien $n$ und $a_{1}, \dots, a_{n}$ wie angegeben. Definiere die Abbildung $f : ℝ \to ℝ$ durch $f (x) : = (x + a_{1}) \dots (x + a_{n})$ , diese lässt sich nach dem Satz von Vieta schreiben als $f (x) = \sum_{k = 0}^{n} (\binom{n}{k}) S_{k} x^{n - k}$ .

Weil $f$ eine Polynomfunktion ist, sind auch alle ihre Ableitungen Polynomfunktionen; für $m \in ℕ_{0}$ mit $m \leq n$ ist also $f^{(n - m)} (x) = \frac{n!}{m!} (x + b_{1}) \dots (x + b_{m})$ . Andererseits erhalten wir durch direkte Differentiation der Summendarstellung von $f$ , dass $f^{(n - m)} (x) = \frac{n!}{m!} \sum_{k = 0}^{m} (\binom{m}{k}) S_{k} x^{m - k}$ .

Nach dem Satz von Rolle sind $b_{1}, \dots, b_{m}$ auch alle positiv.

Wieder nach dem Satz von Vieta sind $b_{1} \dots b_{m} = S_{m}$ und $\sum_{i = 1}^{m} \frac{b_{1} \dots b_{m}}{b_{i}} = m S_{m - 1}$ .

Nach der AGM-Ungleichung ist $\frac{m S_{m - 1}}{m} \geq (S_{m}^{m - 1})^{1 / m}$ und schließlich $S_{m - 1}^{1 / (m - 1)} \geq S_{m}^{1 / m}$ .

Maclaurin-Ungleichung

Aussage

Beweis

Navigationsmenü

Suche