Ungleichungen meistern: Von AM-GM bis Cauchy-Schwarz

Wer sich ernsthaft auf Mathematikolympiaden vorbereitet, kommt an einem Thema nicht vorbei: Ungleichungen. Sie tauchen auf allen Ebenen auf – von der Schulrunde bis zur Internationalen Mathematik-Olympiade (IMO) – und gehören zu den anspruchsvollsten, aber auch schönsten Aufgabentypen der olympiadischen Mathematik. Das Gute: Mit einem soliden Werkzeugkasten aus klassischen Ungleichungen lassen sich selbst schwierige Beweise elegant führen.

Warum Ungleichungen so zentral sind

Ungleichungsaufgaben testen mehr als nur Rechenfertigkeit. Sie verlangen mathematische Intuition, einen Sinn für Symmetrie und die Fähigkeit, den richtigen „Trick" zu erkennen. Extremwertaufgaben – also das Finden von Minima oder Maxima unter Nebenbedingungen – sind ein klassischer Anwendungsfall. Statt mit Differentialrechnung zu arbeiten, führen algebraische Ungleichungen oft zu eleganteren und allgemeineren Lösungen.

Drei Ungleichungen bilden dabei das Fundament, das jede Olympiade-Teilnehmerin und jeder -Teilnehmer wirklich beherrschen sollte: AM-GM, Cauchy-Schwarz und die Dreiecksungleichung. Darauf aufbauend erweitern Jensen und Schur das Repertoire.

Die AM-GM-Ungleichung

Die Ungleichung vom arithmetischen und geometrischen Mittel ist wahrscheinlich das meistgenutzte Werkzeug bei Ungleichungen auf Olympiaden. Sie besagt:

Für nicht-negative reelle Zahlen $a_1, a_2, \ldots, a_n$ gilt:

$$\frac{a_1 + a_2 + \cdots + a_n}{n} \geq \sqrt[n]{a_1 \cdot a_2 \cdots a_n}$$

Gleichheit gilt genau dann, wenn alle $a_i$ gleich sind.

Wann setzt man AM-GM ein?

Der klassische Anwendungsfall: Man will zeigen, dass ein Ausdruck nach unten beschränkt ist, oder man sucht das Minimum eines Produktterms. Das Muster ist oft erkennbar – sobald eine Summe und ein Produkt gleichzeitig vorkommen, lohnt ein Blick auf AM-GM.

Beispiel: Zeige, dass für positive $a, b$ gilt: $a + b \geq 2\sqrt{ab}$.

Das ist AM-GM direkt für $n = 2$. Das Minimum der linken Seite wird bei $a = b$ angenommen.

Die Kunst des „Aufspalten"

Erfahrenere Olympiademathleterinnen und -athleten nutzen AM-GM nicht nur direkt, sondern wenden es auf geschickt umgeformte Terme an. Ein bewährter Trick: Einen Ausdruck in mehrere Summanden aufteilen, sodass das geometrische Mittel eine schöne Form annimmt. Das erfordert Übung, aber das Prinzip bleibt immer dasselbe.

Cauchy-Schwarz: Das mächtige Mehrzweckwerkzeug

Die Cauchy-Schwarzsche Ungleichung ist in ihrer Summenform für Olympiaden besonders wertvoll:

$$\left(\sum_{i=1}^n a_i b_i\right)^2 \leq \left(\sum_{i=1}^n a_i^2\right)\left(\sum_{i=1}^n b_i^2\right)$$

Gleichheit gilt genau dann, wenn die Folgen $(a_i)$ und $(b_i)$ proportional sind.

Die Engel-Form (Titu's Lemma)

Eine für Olympiaden besonders nützliche Variante ist die sogenannte Engel-Form, auch als Sedrakyan-Ungleichung bekannt:

$$\frac{a_1^2}{b_1} + \frac{a_2^2}{b_2} + \cdots + \frac{a_n^2}{b_n} \geq \frac{(a_1 + a_2 + \cdots + a_n)^2}{b_1 + b_2 + \cdots + b_n}$$

Diese Form ist außerordentlich effektiv bei Bruchsummen. Wenn eine Aufgabe Summen von Brüchen der Form $\frac{x^2}{y}$ enthält, sollte Titu's Lemma sofort auf dem Radar sein.

Typische Aufgabe: Zeige für positive $a, b, c$ mit $a + b + c = 1$:

$$\frac{a^2}{b+c} + \frac{b^2}{a+c} + \frac{c^2}{a+b} \geq \frac{1}{2}$$

Mit Titu's Lemma folgt das in zwei Zeilen – ohne den direkten Ansatz wäre der Beweis deutlich länger.

Jensen und die Konvexität

Für Aufgaben mit konvexen Funktionen bietet die Jensen-Ungleichung einen systematischen Zugang. Ist $f$ konvex auf einem Intervall, dann gilt für Gewichte $\lambda_i \geq 0$ mit $\sum \lambda_i = 1$:

$$f!\left(\sum_{i=1}^n \lambda_i x_i\right) \leq \sum_{i=1}^n \lambda_i f(x_i)$$

Klassische konvexe Funktionen auf den positiven reellen Zahlen: $x^2$, $e^x$, $-\ln x$. Für trigonometrische Anwendungen im Dreieck ist Jensen besonders elegant: Da $\sin$ auf $(0, \pi)$ konkav ist, folgt sofort $\sin A + \sin B + \sin C \leq \frac{3\sqrt{3}}{2}$ für die Winkel eines Dreiecks.

Strategien für Olympiade-Ungleichungen

Den Gleichheitsfall bestimmen

Bevor man einen Beweis ansetzt, lohnt es sich immer, den Gleichheitsfall zu identifizieren. Wann gilt die Ungleichung als Gleichung? Das gibt Hinweise auf die richtige Methode. Ist der Gleichheitsfall $a = b = c$, liegt AM-GM oder Cauchy-Schwarz nahe. Ist es ein asymmetrischer Punkt, braucht man feinere Werkzeuge.

Normierung als Vereinfachung

Viele Extremwertaufgaben lassen sich vereinfachen, indem man die Nebenbedingung normiert. Aus $a + b + c = s$ wird durch $a' = a/s$ die normierte Version $a' + b' + c' = 1$. Das reduziert die Anzahl der freien Parameter und macht die Struktur oft sichtbarer.

Homogenisierung

Ist eine Ungleichung nicht homogen, aber die Nebenbedingung linear, kann man durch Substitution oder Multiplikation mit geeigneten Potenzen Homogenität herstellen. Homogene Ungleichungen lassen sich dann ohne Nebenbedingung behandeln.

Das Skript der Schweizer Mathematik-Olympiade zu Ungleichungen behandelt diese Techniken systematisch und ist eine exzellente deutschsprachige Referenz für alle, die tiefer einsteigen wollen.

Von der Theorie zur Praxis

Das Lesen von Beweisen reicht nicht aus. Ungleichungen lernt man durch Lösen – viele, verschiedene Aufgaben aus unterschiedlichen Quellen. Die bundesweiten Mathematik-Wettbewerbe stellen Aufgaben aus vergangenen IMO-Auswahlwettbewerben bereit, die ideal zum Üben sind.

Ein sinnvolles Vorgehen: Zunächst alle Aufgaben mit AM-GM und Cauchy-Schwarz lösen, bis die Mustererkennung sitzt. Dann erst Jensen und speziellere Ungleichungen wie Schur oder Muirhead hinzunehmen. Tiefes Verständnis von drei Methoden schlägt oberflächliches Kennen von zehn.

Wer die grundlegenden Ungleichungen wirklich verinnerlicht hat, erkennt ihre Fingerabdrücke in Aufgaben sofort – und genau das ist der Unterschied zwischen einem mühsamen Suchen und einem eleganten, zielgerichteten Beweis.