Wähle zwei komplexe Zahlen
z1 = r1*e^(i*φ) und z2=r2*e^(i*ψ).
Dann ist das Produkt einerseits
z1*z2=r1*r2*e(i*φ+i*ψ)=r1*r2*e(i*(φ+ψ))=r1*r2*e(i*(φ+ψ))
=r1*r2*(cos(φ+ψ)+i*sin(φ+ψ))
andererseits
z1*z2=r1*(cos(φ)+i*sin(φ)) * r2*(cos(ψ)+i*sin(ψ))
= r1*r2*( cos(φ)*cos(ψ)-sin(φ)*sin(ψ)+i*(sin(φ)*cos(ψ)+cos(φ)*sin(ψ))
Der Vergleich der Imaginärteile liefert das Ergebnis.