(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