(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.