Seien
- Konjugation der Summe
- Konjugation der Konjugation
- Realteil und Imaginärteil
, - Absolutwert des Realteils und Imaginärteils
und - Abschätzung des Absolutwerts
- Betrag
, - Gleichheit des Absolutwerts
- Absolutwert des Produkts
- Nichtnegativität des Absolutwerts
- Multiplikation mit der konjugierten Komplexen
- Dreiecksungleichung
und