Seien a, b ∈ R mit a,b > 0. Dann ist für G(a,b) ≤ A(a,b)
zu zeigen √ab ≤ (a+b)/2
<=> 2√ab ≤ a+b
wegen a,b > 0 gilt a=(√a) ^2 und b=(√b) ^2
also bleibt zu zeigen: 2√ab ≤ (√a) ^2 + (√b) ^2
<=> 0 ≤ (√a) ^2 - 2√ab + (√b) ^2
<=> 0 ≤ (√a- √b) ^2
Und Quadrate sind nie negativ. q.e.d.
Außerdem ist =0 nur für a=b erfüllt.
Und für H(a,b) ≤ G(a,b) ist zu zeigen
2ab/(a+b) ≤ √ab
<=> 2ab ≤ (a+b)√ab
<=> ab / √ab ≤ (a+b)/ 2
<=> √ab ≤ (a+b)/ 2 . Und das kennen wir schon.