In short
To divide two complex numbers, multiply the numerator and denominator by the conjugate of the denominator. The denominator becomes a real number — the sum of squares of its parts — and the result falls into the standard form a + bi. Division is the last of the four arithmetic operations for complex numbers, and it rests entirely on the conjugate.
What is \dfrac{3 + 5i}{1 - 2i}? It is supposed to be a complex number -- something of the form a + bi. But staring at the fraction does not tell you what a and b are. The imaginary unit is tangled up in the denominator, and you cannot read off the answer.
The trick is one you have seen before with surds: multiply top and bottom by the conjugate of the denominator. The denominator collapses into a plain real number, the numerator becomes a standard complex product, and the answer falls right out.
Why the denominator is the problem
A complex number in standard form looks like a + bi, where a and b are both real. When you write \dfrac{3 + 5i}{1 - 2i}, the expression is not in standard form because the denominator is complex. You cannot read off the real and imaginary parts of the answer just by looking at it.
The goal of complex division is: given \dfrac{z_1}{z_2}, find a real number a and a real number b such that \dfrac{z_1}{z_2} = a + bi.
The conjugate does exactly this. Recall from Algebra of Complex Numbers that for any non-zero complex number z = x + yi, the product z \cdot \bar{z} = x^2 + y^2 is a positive real number. So if you multiply the denominator by its conjugate, the denominator becomes real. Multiply the numerator by the same thing to keep the fraction's value unchanged.
The division algorithm
Here is the procedure stated precisely.
Division of complex numbers
If z_1 = a + bi and z_2 = c + di \neq 0, then
You do not need to memorise this formula. The mechanical procedure is short enough to run from scratch every time:
- Write the conjugate of the denominator.
- Multiply both numerator and denominator by that conjugate.
- Expand the numerator as a binomial product (and use i^2 = -1).
- The denominator is c^2 + d^2 — compute it.
- Divide the real and imaginary parts of the numerator by the denominator.
That is the entire algorithm. Every complex division problem is these five steps.
Rationalising the denominator
The phrase "rationalise the denominator" comes from surd arithmetic. When you have \dfrac{1}{1 + \sqrt{2}}, you multiply top and bottom by 1 - \sqrt{2} to clear the surd from the denominator. The denominator becomes (1 + \sqrt{2})(1 - \sqrt{2}) = 1 - 2 = -1, a rational number.
Complex division uses the identical move. The imaginary unit i plays the role of \sqrt{2}. The conjugate c - di plays the role of 1 - \sqrt{2}. The product (c + di)(c - di) = c^2 + d^2 plays the role of the difference of squares.
The difference: with surds, you get a rational number in the denominator. With complex numbers, you get a real number. In both cases, the denominator is tamed — brought down to a simpler number system — and the result can be read off.
A concrete walk-through
Take \dfrac{7 + i}{3 + 4i}. The conjugate of the denominator is 3 - 4i.
Numerator: (7 + i)(3 - 4i) = 21 - 28i + 3i - 4i^2 = 21 - 25i + 4 = 25 - 25i.
Denominator: (3 + 4i)(3 - 4i) = 9 + 16 = 25.
Result: \dfrac{25 - 25i}{25} = 1 - i.
Check: (1 - i)(3 + 4i) = 3 + 4i - 3i - 4i^2 = 3 + i + 4 = 7 + i. Correct.
The check is always the same: multiply the quotient by the divisor and confirm you recover the dividend. This is the definition of division — \dfrac{z_1}{z_2} = w means w \cdot z_2 = z_1.
Dividing when the denominator is purely imaginary
A special case: the denominator has no real part, like \dfrac{5 + 3i}{2i}.
The conjugate of 2i = 0 + 2i is -2i. Multiplying top and bottom by -2i:
There is a shortcut for purely imaginary denominators: dividing by ki is the same as multiplying by \dfrac{1}{ki} = \dfrac{-i}{k} (since \dfrac{1}{i} = -i). So \dfrac{5 + 3i}{2i} = (5 + 3i) \cdot \dfrac{-i}{2} = \dfrac{-5i - 3i^2}{2} = \dfrac{3 - 5i}{2}. Same answer, fewer steps.
The multiplicative inverse
The special case z_1 = 1 gives the multiplicative inverse (reciprocal) of z_2:
For example, \dfrac{1}{3 + 4i} = \dfrac{3 - 4i}{9 + 16} = \dfrac{3 - 4i}{25} = \dfrac{3}{25} - \dfrac{4}{25}i.
Check: (3 + 4i)\left(\dfrac{3}{25} - \dfrac{4}{25}i\right) = \dfrac{9}{25} - \dfrac{12}{25}i + \dfrac{12}{25}i - \dfrac{16}{25}i^2 = \dfrac{9 + 16}{25} = 1.
The inverse exists whenever z_2 \neq 0 — that is, whenever c^2 + d^2 > 0. Every non-zero complex number has a reciprocal in \mathbb{C}.
Properties of division
Division of complex numbers inherits a clean set of properties from the field structure of \mathbb{C}.
1. Division is not commutative. In general, \dfrac{z_1}{z_2} \neq \dfrac{z_2}{z_1}. For instance, \dfrac{1}{i} = -i but \dfrac{i}{1} = i.
2. Conjugate of a quotient. The conjugate distributes over division:
This follows from the conjugate distributing over multiplication and the fact that conjugation is an involution.
3. Modulus of a quotient. The modulus of a quotient is the quotient of the moduli:
If the dividend has modulus 5 and the divisor has modulus 2, the quotient has modulus \frac{5}{2}. Division scales distances from the origin.
4. Dividing conjugates. If z = a + bi with b \neq 0, then \dfrac{z}{\bar{z}} = \dfrac{a + bi}{a - bi}. Multiplying top and bottom by a + bi:
The result always has modulus 1 (since |z| = |\bar{z}|, the modulus quotient is 1), and it encodes twice the argument angle of z. You will see this when you study the argument of a complex number.
5. Division by a real number. If the denominator z_2 = r is real (so d = 0), division is trivial: \dfrac{a + bi}{r} = \dfrac{a}{r} + \dfrac{b}{r}i. No conjugate trick is needed.
An interactive division explorer
Drag the two points z_1 (dividend) and z_2 (divisor) around the complex plane. The readout shows the quotient z_1 / z_2 in real time. Notice how the quotient's distance from the origin is the ratio of the two distances, and its angle is the difference of the two angles.
Worked examples
Example 1: Compute $\dfrac{2 + 3i}{1 + i}$ in the form $a + bi$
A straightforward division with small numbers. Follow the five-step algorithm.
Step 1. Write the conjugate of the denominator.
Why: the conjugate flips only the sign of the imaginary part. The denominator 1 + i becomes 1 - i.
Step 2. Multiply numerator and denominator by 1 - i.
Why: multiplying by \frac{1-i}{1-i} = 1 preserves the value. The denominator will become real.
Step 3. Expand the numerator.
Why: binomial expansion, then i^2 = -1 turns the -3i^2 into +3, contributing to the real part.
Step 4. Compute the denominator.
Why: the product z\bar{z} = a^2 + b^2. Here a = 1, b = 1, so the denominator is 1 + 1 = 2.
Step 5. Divide.
Result: \dfrac{2 + 3i}{1 + i} = \dfrac{5}{2} + \dfrac{1}{2}i.
Verify: \left(\frac{5}{2} + \frac{1}{2}i\right)(1 + i) = \frac{5}{2} + \frac{5}{2}i + \frac{1}{2}i + \frac{1}{2}i^2 = \frac{5}{2} + 3i - \frac{1}{2} = 2 + 3i. The quotient times the divisor recovers the dividend.
Example 2: Simplify $\dfrac{(1 + i)^2}{1 - i}$
This problem combines a power with a division. The numerator needs to be computed first.
Step 1. Compute (1 + i)^2.
Why: binomial square. The real parts cancel (1 - 1 = 0), leaving a purely imaginary number.
Step 2. The problem reduces to \dfrac{2i}{1 - i}. The conjugate of 1 - i is 1 + i.
Why: the conjugate flips the sign of -i to +i.
Step 3. Multiply numerator and denominator by 1 + i.
Why: the numerator gives 2i + 2(-1) = -2 + 2i. The denominator is 1^2 + 1^2 = 2.
Step 4. Divide.
Result: \dfrac{(1 + i)^2}{1 - i} = -1 + i.
An alternative path: note that \dfrac{(1+i)^2}{1-i} = \dfrac{(1+i)(1+i)}{1-i}. Since (1+i)(1-i) = 2, you can write this as (1+i) \cdot \dfrac{1+i}{1-i} = (1+i) \cdot \dfrac{(1+i)^2}{(1-i)(1+i)}... but the direct conjugate method is faster. The algebraic shortcut is worth noting, though: spotting factors before expanding can save work.
Common confusions
-
"To divide complex numbers, divide the real parts and divide the imaginary parts." This is wrong. Division is not component-wise. \dfrac{4 + 6i}{2 + 3i} \neq 2 + 2i. The correct answer is \dfrac{(4+6i)(2-3i)}{4+9} = \dfrac{8-12i+12i-18i^2}{13} = \dfrac{26}{13} = 2. The quotient is the real number 2, not 2 + 2i.
-
"The conjugate of 3 - 2i is -3 + 2i." That is the negative, not the conjugate. The conjugate flips only the imaginary sign: \overline{3 - 2i} = 3 + 2i. The real part stays.
-
"You can divide by zero in complex numbers." No. \dfrac{z}{0} is undefined in \mathbb{C}, just as in \mathbb{R}. The denominator z_2 \cdot \bar{z_2} = c^2 + d^2 is positive only when z_2 \neq 0.
-
"The modulus of the quotient is the difference of the moduli." It is the ratio, not the difference: |z_1/z_2| = |z_1|/|z_2|. Moduli multiply under multiplication, so they divide under division.
-
"If z_1/z_2 is real, then z_1 and z_2 must both be real." Not necessarily. The quotient \dfrac{2 + 4i}{1 + 2i} = \dfrac{(2+4i)(1-2i)}{1+4} = \dfrac{2-4i+4i-8i^2}{5} = \dfrac{10}{5} = 2. Both z_1 and z_2 are complex, but their quotient is real. This happens whenever z_1 is a real multiple of z_2.
Going deeper
If you can divide any two complex numbers (with non-zero denominator), rationalise any complex denominator, and know the properties of division — you have the complete picture for this topic. The material below is for readers who want to see the connection to geometry and fields.
Division as inverse rotation-and-scaling
In Algebra of Complex Numbers, multiplication by a complex number z_2 was described as a rotation-and-scaling operation. Specifically, multiplying by z_2 scales distances by |z_2| and rotates by the argument of z_2.
Division is the inverse operation. Dividing by z_2 scales distances by 1/|z_2| and rotates by minus the argument of z_2. If multiplying by z_2 = 1 + i (which has modulus \sqrt{2} and argument 45°) stretches and rotates counterclockwise by 45°, then dividing by 1 + i shrinks and rotates clockwise by 45°.
This is why the division algorithm works: the conjugate \bar{z_2} has the same modulus as z_2 but the opposite argument. Multiplying numerator and denominator by \bar{z_2} rotates the denominator to land on the positive real axis. That is the geometric meaning of "the denominator becomes real."
Why \mathbb{C} is a field
A field is a number system where addition, subtraction, multiplication, and division (by non-zero elements) all work and obey the standard rules: commutativity, associativity, distributivity, and the existence of identity and inverse elements. The real numbers \mathbb{R} are a field, and so are the complex numbers \mathbb{C}.
The division formula z^{-1} = \bar{z}/|z|^2 is the proof that every non-zero complex number has a multiplicative inverse. This is the piece that closes the field structure. With the inverse in hand, \mathbb{C} inherits all the algebraic machinery of \mathbb{R} — and gains the additional power that every polynomial equation has roots (the Fundamental Theorem of Algebra). The trade-off is that \mathbb{C} cannot be ordered: there is no consistent way to say i > 0 or i < 0.
Repeated division and complex fractions
Just as with real fractions, you can stack divisions:
The "flip and multiply" rule for compound fractions works identically in \mathbb{C}. This is because division is defined as multiplication by the inverse, and the inverse of a quotient is the reciprocal of the quotient: \left(\frac{z_3}{z_4}\right)^{-1} = \frac{z_4}{z_3}.
Where this leads next
Division is the last arithmetic operation. The articles below build on this foundation.
- Algebra of Complex Numbers — addition, subtraction, multiplication, and the conjugate that makes division work.
- Square Root of Complex Number — finding \sqrt{a + bi}, which requires setting up a complex equation and solving a system of two real equations.
- Modulus of Complex Number — the quantity |z| = \sqrt{a^2 + b^2} that appeared in the division formula as the denominator |z_2|^2.
- Complex Numbers — Introduction — the definition of i and the motivation for the complex number system, if you want to revisit the starting point.
- Fractions and Decimals — the real-number version of rationalising the denominator, the ancestor of the conjugate trick.