a + b/2 > √ ab (d.h. der arithmetische Mittelwert zweier
positiver Zahlen ist stets größer als der geometrische
Mittelwert).
Ich nehme an es soll
( a + b ) / 2 > √ (ab)
heißen
Da links und rechts etwas positives steht kann
quadriert werden ohne das sich das Relationszeichen
ändert.
[ ( a + b ) / 2 ] ^2 > √ (ab) ^2
( a^2 + 2ab + b^2 ) / 4 > ab
a^2 + 2ab + b^2 > 4 ab
a^2 - 2ab + b^2 > 0
( a - b ) ^2 > 0
Wenn a ungleich b ist,
dann ist der linke Term zum Quadrat
stets > 0