Division of Complex Numbers

Theorem

Let $z_1 := a_1 + i b_1$ and $z_2 := a_2 + i b_2$ be complex numbers such that $z_2 \ne 0$.

The operation of division is performed on $z_1$ by $z_2$ as follows:

$\dfrac {z_1} {z_2} = \dfrac {a_1 a_2 + b_1 b_2} {a_2^2 + b_2^2} + i \dfrac {a_2 b_1 - a_1 b_2} {a_2^2 + b_2^2}$

$\ds \frac {z_1} {z_2}$

$=$

$\ds z_1 \paren {z_2}^{-1}$

$\ds $

$=$

$\ds \paren {a_1 + i b_1} \dfrac {a_2 - i b_2} {a_2^2 + b_2^2}$

$\ds $

$=$

$\ds \frac {\paren {a_1 a_2 + b_1 b_2} + i \paren {a_2 b_1 - a_1 b_2} } {a_2^2 + b_2^2}$

$\ds $

$=$

$\ds \frac {a_1 a_2 + b_1 b_2} {a_2^2 + b_2^2} + i \frac {a_2 b_1 - a_1 b_2} {a_2^2 + b_2^2}$

$\blacksquare$

1957: E.G. Phillips: Functions of a Complex Variable (8th ed.) ... (previous) ... (next): Chapter $\text I$: Functions of a Complex Variable: $\S 1$. Complex Numbers: $\text {(iv)}$ The definition of division
1960: Walter Ledermann: Complex Numbers ... (previous) ... (next): $\S 1.2$. The Algebraic Theory: $(1.13)$
1968: Murray R. Spiegel: Mathematical Handbook of Formulas and Tables ... (previous) ... (next): $6.5$: Division of Complex Numbers
1981: Murray R. Spiegel: Theory and Problems of Complex Variables (SI ed.) ... (previous) ... (next): $1$: Complex Numbers: Fundamental Operations with Complex Numbers: $4$. Division