Es sei w= a+ ib ∈ ℂ mit b ≠0. Es sei z= x1+iy1 die Quadratwurzel von w mit x1>0.
Dann gilt doch
(x1+iy1 )^2 = a+bi
x1^2 +2*x1y1*i -y1^2 = a+bi
==> x1^2 - y1^2 = a und 2x1*y1=b
==> x1^2 = a + y1^2 und y1 = b/(2x1)
==> x1^2 = a + b^2 / (4x1^2)
==> 4x1^4 = 4ax1^2 + b^2 #
außerdem |w|=√(a^2+b^2), also b^2 = |w|^2 - a^2
Damit wird # zu
<=> 4x1^4 = 4ax1^2 + |w|^2 - a^2
<=> 4x1^4 - 4ax1^2 + a^2 = |w|^2
<=> ( 2x1^2 - a ) ^2 = |w|^2
<=> 2x1^2 - a = |w| oder 2x1^2 - a = -|w|
<=> x1^2 = ( |w| + a )/2 oder x1^2 = ( a-|w| ) /2
wegen x1>0 also x1 = √ ( ( |w| + a )/2 )