Ten properties of complex conjugates (for complex numbers z,z1,z2 and integer n):
- z1+z2=z1+z2
- z1−z2=z1−z2
- z1z2=z1z2
- (z2z1)=z2z1, z2=0
- Re(z)=2z+z
- Im(z)=2iz−z
- zn=(z)n
- z is real ⟺z=z
- z is purely imaginary ⟺z=−z
- z=z
Proof (property 1). Let z1=x1+iy1, z2=x2+iy2. Then
z1+z2=(x1+x2)+i(y1+y2)=(x1+x2)−i(y1+y2)=(x1−iy1)+(x2−iy2)=z1+z2.
This generalises by induction to any finite number of terms: z1+z2+⋯+zn=z1+z2+⋯+zn.
Proof (property 3). With z1,z2 as above, direct expansion gives z1z2=(x1x2−y1y2)+i(x1y2+x2y1), so
z1z2=(x1x2−y1y2)−i(x1y2+x2y1),
while z1z2=(x1−iy1)(x2−iy2)=(x1x2−y1y2)−i(x1y2+x2y1) — the same expression, so z1z2=z1z2.
Proof (property 9). Let z=x+iy; then z=x−iy, so z=−z⟺x+iy=−(x−iy)=−x+iy⟺2x=0⟺x=0, which is exactly the condition for z to be purely imaginary. …