(a - b)2 ≥ 0
2. bnomische Formel:
⇔ a2 - 2ab + b2 ≥ 0 | + 4ab ( Edit: statt 2ab)
⇔ a2 + 2ab + b2 ≥ 4ab
1. binomische Formel:
⇔ (a + b)2 ≥ 4ab | √
⇔ |a + b| ≥ 2 • √(ab) [ ab ≥0 ]
wegen a,b ≥ 0 gilt |a + b| = a + b :
⇔ a + b ≥ 2 • √(ab) | : 2
(a + b) / 2 ≥ √(ab) (= q)
Zusatzfrage:
a,b ≥0
Für a = b sind aritmetisches und geometrisches Mittel sinnvollerweise gleich:
a+b / 2 = 2a/2 = a = √a2 = √(a•b)
Das ist mit a,b ≥0 auch die einzige Möglichkeit, weil man die obenstehende Rechnung (für ... = ... ) rückwärts durchführen kann:
(a + b) / 2 = √(ab) ⇔ ... ⇔ (a - b)2 = 0 ⇔ a = b
Gruß Wolfgang