vielleicht kannst du es so leichter einsehen:
Das ganze kann ja nicht klappen wenn x=0 oder y=0,
weil die im Nenner stehen.
1/(x+y)= 1/x +1/y         |*xy
(xy)/(x+y)=y+x              | * ( x+y) 
xy = (x+y)^2    also muss  xy ≥ 0 sein, da Quadrate nie negativ.   #
weiter umgeformt gibt es 
xy = x^2 + 2xy + y^2 
-xy = x^2 + y^2 
rechts steht die Summe zweier Quadrate, also muss 
- xy ≥ 0 sein.    ## 
# und ## bedeuten aber zusammen  xy = 0 
im Widerspruch zur Voraussetzung: beide ungleich 0.