(x2 / y) + (y2 / x) ≥ x + y
<=> (x2 / y) - y ≥ x - (y2 / x)
<=> y * ( (x2 / y2 ) - 1 ) ≥ x * ( 1 - (y2 / x2 ) )
<=> y * ( (x2 - y2 ) / y2 ) ≥ x * ( (x2 - y2 ) / y2 )
<=> (y -x )* ( (x2 - y2 ) / y2 ) ≥ 0
<=> (y -x )* (x-y)*(x+y) / y2 ) ≥ 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.