Skip to content

Mathematics · Ch 4 — Complex Numbers and Quadratic Equations

The Modulus and the Conjugate of a Complex Number

4.4

The Modulus and the Conjugate of a Complex Number

The Modulus and the Conjugate of a Complex Number

Every complex number z=a+ibz = a + ib carries two fundamental real-valued companions: its modulus and its conjugate. These two tools let us measure the "size" of a complex number and reflect it across the real axis, and they turn out to be indispensable for division, for proving identities, and for understanding the geometry of the complex plane.

Definitions

Let z=a+ibz = a + ib, where aa and bb are real numbers.

Modulus — denoted ∣z∣|z| — is the non-negative real number

∣z∣=a2+b2.|z| = \sqrt{a^2 + b^2}.

It is the distance of the point (a,b)(a, b) from the origin in the complex plane.

Conjugate — denoted zˉ\bar{z} — is the complex number

zˉ=a−ib.\bar{z} = a - ib.

Geometrically, zˉ\bar{z} is the reflection of zz across the real axis.

For z=3+iz = 3 + i: ∣z∣=32+12=10|z| = \sqrt{3^2 + 1^2} = \sqrt{10}, and zˉ=3−i\bar{z} = 3 - i.

For z=2−5iz = 2 - 5i: ∣z∣=22+(−5)2=29|z| = \sqrt{2^2 + (-5)^2} = \sqrt{29}, and zˉ=2+5i\bar{z} = 2 + 5i.

For z=−3−5iz = -3 - 5i: zˉ=−3+5i\bar{z} = -3 + 5i (notice the sign of both parts flips).

Watch out

The modulus is always a non-negative real number. It is never negative, and it is never imaginary. A common mistake is to write ∣a+ib∣=a2+b2|a+ib| = a^2 + b^2 — the square root is essential.

The Multiplicative Inverse and the Conjugate

For a non-zero complex number z=a+ibz = a + ib, its multiplicative inverse z−1z^{-1} is the complex number that satisfies z⋅z−1=1z \cdot z^{-1} = 1. We can find it using the conjugate:

z−1=1a+ib=a−ib(a+ib)(a−ib)=a−iba2+b2=zˉ∣z∣2.z^{-1} = \frac{1}{a+ib} = \frac{a-ib}{(a+ib)(a-ib)} = \frac{a-ib}{a^2 + b^2} = \frac{\bar{z}}{|z|^2}.

This gives the compact formula

z−1=zˉ∣z∣2.z^{-1} = \frac{\bar{z}}{|z|^2}.

Tip

To find the multiplicative inverse of any non-zero complex number, just write zˉ∣z∣2\frac{\bar{z}}{|z|^2}. No need to rationalise from scratch every time.

Properties of Modulus and Conjugate

For any two complex numbers z1z_1 and z2z_2, the following five properties hold. Each one is proved directly from the definitions.

›Proof

Property (i): z1z2‾=zˉ1⋅zˉ2\overline{z_1 z_2} = \bar{z}_1 \cdot \bar{z}_2

Let z1=a+ibz_1 = a+ib, z2=c+idz_2 = c+id. Then

z1z2=(a+ib)(c+id)=(ac−bd)+i(ad+bc).z_1 z_2 = (a+ib)(c+id) = (ac - bd) + i(ad + bc).

Taking the conjugate:

z1z2‾=(ac−bd)−i(ad+bc).\overline{z_1 z_2} = (ac - bd) - i(ad + bc).

Now compute zˉ1⋅zˉ2=(a−ib)(c−id)=(ac−bd)−i(ad+bc)\bar{z}_1 \cdot \bar{z}_2 = (a-ib)(c-id) = (ac - bd) - i(ad + bc).

The two expressions are identical, so the property holds.

›Proof

Property (ii): (z1z2)‾=zˉ1zˉ2\overline{\left(\frac{z_1}{z_2}\right)} = \frac{\bar{z}_1}{\bar{z}_2}, provided z2≠0z_2 \neq 0.

Using Property (i) and the fact that z1z2⋅z2=z1\frac{z_1}{z_2} \cdot z_2 = z_1, take conjugates of both sides:

z1z2‾⋅zˉ2=zˉ1.\overline{\frac{z_1}{z_2}} \cdot \bar{z}_2 = \bar{z}_1.

Since zˉ2≠0\bar{z}_2 \neq 0 (because z2≠0z_2 \neq 0), divide through to get the result.

›Proof

Property (iii): ∣z1z2∣=∣z1∣ ∣z2∣|z_1 z_2| = |z_1| \, |z_2|

Let z1=a+ibz_1 = a+ib, z2=c+idz_2 = c+id. Then

∣z1z2∣2=(ac−bd)2+(ad+bc)2.|z_1 z_2|^2 = (ac - bd)^2 + (ad + bc)^2.

Expand:

=a2c2−2abcd+b2d2+a2d2+2abcd+b2c2=a2(c2+d2)+b2(c2+d2)=(a2+b2)(c2+d2).= a^2 c^2 - 2abcd + b^2 d^2 + a^2 d^2 + 2abcd + b^2 c^2 = a^2(c^2+d^2) + b^2(c^2+d^2) = (a^2+b^2)(c^2+d^2).

But a2+b2=∣z1∣2a^2+b^2 = |z_1|^2 and c2+d2=∣z2∣2c^2+d^2 = |z_2|^2, so ∣z1z2∣2=∣z1∣2∣z2∣2|z_1 z_2|^2 = |z_1|^2 |z_2|^2. Taking square roots (all quantities are non-negative) gives ∣z1z2∣=∣z1∣ ∣z2∣|z_1 z_2| = |z_1| \, |z_2|.

›Proof

Property (iv): z1±z2‾=zˉ1±zˉ2\overline{z_1 \pm z_2} = \bar{z}_1 \pm \bar{z}_2

Let z1=a+ibz_1 = a+ib, z2=c+idz_2 = c+id. Then

z1±z2=(a±c)+i(b±d).z_1 \pm z_2 = (a \pm c) + i(b \pm d).

Taking the conjugate:

z1±z2‾=(a±c)−i(b±d)=(a−ib)±(c−id)=zˉ1±zˉ2.\overline{z_1 \pm z_2} = (a \pm c) - i(b \pm d) = (a-ib) \pm (c-id) = \bar{z}_1 \pm \bar{z}_2. …