Complex conjugate — properties, applications in division: Visual walkthrough

Prerequisites we lean on: Argand Diagram and Geometric Representation (drawing $z$ as a point), Complex Numbers — Modulus and Argument (the distance $∣ z ∣$ ), and the everyday idea behind Rationalising Denominators (Real Numbers). Parent: Complex Conjugate — Properties & Division.

Step 1 — Draw the number as a point

WHAT we did: turned an algebra expression $a + bi$ into a dot with coordinates $(a, b)$ .

WHY: division of complex numbers looks scary as symbols but becomes obvious as geometry. We need the picture before we touch the algebra.

PICTURE: the dot below sits $a$ steps right and $b$ steps up. The arrow from the centre to the dot is $z$ itself.

Figure — Complex conjugate — properties, applications in division

Every symbol here is now earned: $a$ = right-shift, $b$ = up-shift, $i$ = the marker that says "this part is vertical".

Step 2 — Reflect it: the conjugate

WHAT we did: kept horizontal position, flipped vertical position.

WHY only $b$ flips: the mirror we are using is the horizontal real axis. A floor mirror keeps left/right the same and swaps up/down. So $a$ stays, $b \to - b$ .

PICTURE: $z$ (coral) above the axis, its reflection $\overset{z}{ˉ}$ (lavender) an equal distance below. The dashed line joining them is perfectly vertical and the real axis cuts it exactly in half.

Recall Why is

$∣ \overset{z}{ˉ} ∣ = ∣ z ∣$ ? A reflection never changes distance from the mirror-line's crossing point at the origin. ::: Reflecting flips the sign of $b$ but $∣ z ∣ = a^{2} + b^{2}$ uses $b^{2}$ , which is unchanged. Same distance, so same modulus.

Step 3 — Multiply $z$ by its mirror

WHAT we did: wrote the multiplication we are about to expand.

WHY difference-of-squares and not brute FORCE? Because $(x + y) (x - y) = x^{2} - y^{2}$ deletes the cross-terms automatically — the $+ a y i$ and $- a y i$ cancel. That cancellation is the whole point: it is what removes $i$ .

PICTURE: the box below lays out the four products of the grid multiplication. Watch the two green off-diagonal boxes: they are equal and opposite, so they vanish.

Step 4 — Watch $i^{2}$ turn the last square real

WHAT we did: used $i^{2} = - 1$ to collapse everything to a real total.

WHY this is the tool we wanted: the whole reason for conjugating was to destroy $i$ . The identity $i^{2} = - 1$ is the exact lever that converts $- b^{2} i^{2}$ into $+ b^{2}$ .

PICTURE: the number line below. All complex mess funnels down onto a single real point $a^{2} + b^{2}$ , always to the right of (or at) zero.

Step 5 — Recognise the answer: it is $∣ z ∣^{2}$

WHAT we did: matched our algebraic result to a geometric quantity.

WHY this matters: $∣ z ∣^{2}$ is not just some real number — it is the squared length of the arrow $z$ . So "multiply by the mirror" literally means "collapse the vector onto its own length-squared".

PICTURE: the arrow $z$ with its length $∣ z ∣$ marked; the shaded square with side $∣ z ∣$ has area $∣ z ∣^{2} = z \overset{z}{ˉ}$ .

Step 6 — Degenerate cases: nothing surprises us

WHAT we did: tested the two axes and the origin — every place the general picture might break.

WHY: a rule you only checked in the "nice" case is a rule you don't trust. We must know $z \overset{z}{ˉ}$ stays real and non-negative in all corners.

PICTURE: three mini-boards — a dot on the real axis, a dot on the imaginary axis, and the dot at the origin — each with its mirror. In all three, the product lands on the non-negative real line.

Step 7 — Cash it in: division becomes scaling

WHAT we did: replaced an impossible-looking "divide by a complex number" with an easy "divide by a real number".

WHY this is exactly Rationalising Denominators (Real Numbers) in disguise: there you multiply by to clear a surd; here you multiply by $\frac{z ˉ _{2}}{z ˉ _{2}}$ to clear the $i$ in the bottom. Same trick, new mirror.

PICTURE: the numerator vector $z_{1} \overset{z}{ˉ}_{2}$ , then the same vector shrunk by the real factor $∣ z_{2} ∣^{2}$ to land on the true quotient.

The one-picture summary

The single arc of the whole derivation: reflect ( $z \to \overset{z}{ˉ}$ ) → multiply ( $z \overset{z}{ˉ}$ ) → the $i$ cancels ( $i^{2} = - 1$ ) → land on $∣ z ∣^{2}$ , a real length-squared → use it as a denominator so division becomes scaling.

Recall Feynman: tell it to a friend in one breath

Picture your complex number as a dot floating above a floor mirror. Its reflection below the floor is the conjugate — same sideways, flipped up-down. Now multiply the dot by its own reflection. Because one goes up and the other goes down by the same amount, the "sideways imaginary" bits perfectly cancel, and you're left with a plain positive number that turns out to be exactly the square of the arrow's length. That's why dividing by a messy complex number becomes easy: you multiply the top and bottom by the bottom's mirror image, the bottom collapses into an ordinary real number, and dividing by an ordinary number is just shrinking. Reflect, multiply, the imaginary cancels, divide. Done.

Active recall

Reveal after answering:

z \overset{z}{ˉ}

, which two terms cancel and why?

The cross terms

+ ab i

and

- ab i

— they are equal and opposite (difference-of-squares).

Which single fact turns

- b^{2} i^{2}

into

+ b^{2}

i^{2} = - 1

What geometric quantity does

z \overset{z}{ˉ}

equal?

∣ z ∣^{2}

, the squared length of the arrow

z

For

z

purely imaginary

z = bi

, what is

z \overset{z}{ˉ}

b^{2}

(still real, non-negative).

Why does multiplying by

\frac{z ˉ _{2}}{z ˉ _{2}}

not change the value?

It equals

1

After conjugating the denominator, division becomes what simple operation?

Scaling (dividing every part by the real number

∣ z_{2} ∣^{2}

Connections

Argand Diagram and Geometric Representation
Complex Numbers — Modulus and Argument
Polar and Exponential Form
Roots of Complex Numbers
Rationalising Denominators (Real Numbers)
Quadratic Equations with Complex Roots