IzI= I Re(z)I+ I Im(z)I
für z = a + bi heißt das
√( a
2 + b
2 ) = | a | + | b | da alles nicht negativ ist,
ist Quadrieren eine Äquivalenzumformung:
⇔ a
2 + b
2 = ( | a | + | b | )
2 ⇔ a
2 + b
2 = | a |
2 + 2|a| * | b | + | b|
2 ⇔ 0 = 2|a| * | b |
Also gilt es nur wenn a=0 oder b=0 also
für alle komplexen Zahlen
mit Realteil=0 oder Im-Teil=0.