x ist reell und y ist reell, wenn du z = x+iy ansetzt.
Daher x^2 + (1+y)^2 ≥ 0, da keiner der Summanden kleiner als 0 sein kann.
Nenner bringst du weg, indem du mit ihm multiplizierst. Darf man, wenn man nicht mit 0 mult.
Und dann hat man links
0*Nenner = 0 , wenn Nenner ≠0.