Involvierte Definitionen
:
Proposition: Verhältnis von arithmetischem und geometrischem Mittel
Sind
so gilt:
Beweis
Wir führen den Beweis per Widerspruch.
Nehmen wir also an, dass
Nach Proposition 12.2.12 dürfen gleichgerichtete Ungleichungen miteinander multipliziert werden. Daher gilt:
Es gibt mit Korollar 12.2.7 jedoch keine reelle Zahl, deren Quadrat
Mit dem Widerspruch folgt