Conjugate. The conjugate of z=x+iy is z=x−iy — obtained by flipping the sign of the imaginary part, equivalently by reflecting z across the real axis in the Argand plane. A key fact: the product of a complex number with its own conjugate is always a non-negative real number, zz=(x+iy)(x−iy)=x2+y2.
Ten conjugate properties (each provable directly from the definition, several proved in the text):
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, n an integer
z is real⟺z=z
z is purely imaginary⟺z=−z
z=z
Proof idea (property 1): writing z1=x1+iy1,z2=x2+iy2, z1+z2=(x1+x2)−i(y1+y2)=(x1−iy1)+(x2−iy2)=z1+z2. Proof idea (property 9): z=−z⟺x+iy=−(x−iy)=−x+iy⟺2x=0⟺x=0, i.e. z is purely imaginary.
The conjugate is the standard tool for dividing by a complex number: multiplying numerator and denominator by the conjugate of the denominator makes the denominator real (exactly like rationalising a surd).
Modulus. The modulus of z=x+iy, written ∣z∣, is ∣z∣=x2+y2 — the distance from z to the origin in the Argand plane, generalising the real-number absolute value. Note zz=∣z∣2.
For each number a+ib, compute ∣z∣=a2+b2, then x=2∣z∣+a and y=2∣z∣−a, matching the sign of y to the sign of b (same sign if b>0, opposite if b<0) exactly as in Example 2.17.
Step 1. (i) 4+3i: compute ∣z∣.a=4,b=3, so ∣z∣=42+32=25=5.
Step 2. (i) Compute x,y.x=2∣z∣+a=25+4=29=23, y=2∣z∣−a=25−4=21=21. Since b=3>0, x and y take the same sign.
Step 3. (i) Assemble the square root.4+3i=±(23+i21)=±23+i. Check: (23+i)2=29+6i−1=28+6i=4+3i✓.
Step 4. (ii) −6+8i: compute ∣z∣.a=−6,b=8, so ∣z∣=(−6)2+82=36+64=100=10.
Step 5. (ii) Compute x,y.x=210+(−6)=24=2, y=210−(−6)=216=8=22. Since b=8>0, same sign.
Step 6. (ii) Assemble.−6+8i=±(2+22i)=±2(1+2i). Check: (2(1+2i))2=2(1+2i)2=2(1+4i−4)=2(−3+4i)=−6+8i✓. …