(x^2 / y) + (y^2 / x) ≥ x + y
<=> (x^2 / y) - y ≥ x - (y^2 / x)
<=> y * ( (x^2 / y^2 ) - 1 ) ≥ x * ( 1 - (y^2 / x^2 ) )
<=> y * ( (x^2 - y^2 ) / y^2 ) ≥ x * ( (x^2 - y^2 ) / y^2 )
<=> (y -x )* ( (x^2 - y^2 ) / y^2 ) ≥ 0
<=> (y -x )* (x-y)*(x+y) / y^2 ) ≥ 0
Für y≠0 ( Das ist ja sicher vorausgesetzt.)
<=> (y -x )* (x-y)*(x+y) ≥ 0
Und hier braucht man wohl noch ein paar Voraussetzungen über x und y.