Theorems from Complex arithmetic
All theorems from Complex arithmetic.
[THEOREM]For z,z1,z2∈C with z2=0,
z=z,z1+z2=z1+z2,z1−z2=z1−z2,z1z2=z1z2,z2z1=z2z1,Re(z)=2z+z,Im(z)=2iz−z.Each identity can be checked by writing the numbers in Cartesian form. The last two recover the real and imaginary parts of z from z and z.