Da beide Varaible ≥ 0 sind, ist das Quadrieren eine Äquivalenzumformung
[ ( x + y ) / 2 ]^2 ≤ ( x^2 + y^2 ) / 2
( x^2 + 2xy + y^2 ) / 4 ≤ ( x^2 + y^2 ) / 2 | * 4
x^2 + 2xy + y^2 ≤ ( x^2 + y^2 ) * 2
x^2 + 2xy + y^2 ≤ 2 * x^2 + 2 * y^2
2xy ≤ x^2 + y^2
0 ≤ x^2 - 2xy + y^2
0 ≤ ( x - y )^2
Ein Quadrat ist stets größer / gleich 0.
q.e.d. oder Nachweis erbracht