Mein Ansatz war erstmal der:
(2/((1/a)+(1/b)))^2 ≤ ab ≤ ((a+b)/2)^2 ⇒ (2/((1/a)+(1/b)))^2 ≤ ab ∧ ab ≤ ((a+b)/2)^2
Bei 1. komm ich auf 2ab ≤ b^2+a^2 und bei 2. auf 0 ≤ (b+a)^2
Vorausgesetzt ich habe mich nicht iwo verhaspelt, ist das ja nicht der Beweis ...
Iwelche Tipps, wie ich beim Umformen auf die richtige Spur komme ?