Femtobytes
Problem type

Add, subtract, multiply and divide complex numbers

What it solves
All four operations on two complex numbers, each worked from the single fact that i squared is minus one: parts added side by side, brackets multiplied out term by term, and division done by the conjugate and then checked by multiplying back.
Subject
Complex Numbers
Topic
Arithmetic with complex numbers
Also called
add complex numbers, multiply complex numbers, divide complex numbers, conjugate, rationalise the denominator
Your problem

Work out z+wz + w, z−wz - w, zwzw and zw\dfrac{z}{w}.

z=2+3i,w=1−iz = 2 + 3 i, \qquad w = 1 - i
Invent a new one:
The problem

Work out z+wz + w, z−wz - w, zwzw and zw\dfrac{z}{w}.

z=2+3i,w=1−iz = 2 + 3 i, \qquad w = 1 - i
The result
z+w=3+2i,z−w=1+4i,zw=5+i,zw=−12+52iz + w = 3 + 2 i, \quad z - w = 1 + 4 i, \quad zw = 5 + i, \quad \dfrac{z}{w} = -\frac{1}{2} + \frac{5}{2} i

The quotient was checked by multiplying it by ww, which gives back zz exactly.

checked 27 lines of this solution were evaluated with exact arithmetic before it was shown to you. A solution with a false line is never served.
Picture 1 of 6Step 1: Add: real part with real part, imaginary part with imaginary part
22i-2-2i44i-4-4ireal axisimaginary axiszwz + w
z, w and their sum on the plane. Adding w carries z along the arrow of w: across by the real part of w, then up by its imaginary part.
1

Add: real part with real part, imaginary part with imaginary part

Why this step

A complex number is two ordinary numbers travelling together: how far across, and how far up. No amount of adding ordinary numbers ever produces a multiple of ii, so the two parts cannot leak into each other. That is why addition needs no new rule at all: it is two ordinary additions done side by side.

(2+3i)+(1−i)\displaystyle \left( 2 + 3 i \right) + \left( 1 - i \right)==(2+1)+(3−1)i\displaystyle \left( 2 + 1 \right) + \left( 3 - 1 \right) i
Drop the brackets and put like with like: the two real parts together, the two numbers in front of ii together. checked
==3+2i\displaystyle 3 + 2 i
Two ordinary additions. checked
2

Subtract: the minus sign reaches both parts of w

Why this step

Subtracting ww means adding its opposite, and the opposite of c+dic + di is −c−di-c - di: BOTH parts change sign. The slip to guard against is changing the sign of the real part only and leaving the ii part as it was.

(2+3i)−(1−i)\displaystyle \left( 2 + 3 i \right) - \left( 1 - i \right)==(2−1)+(3−(−1))i\displaystyle \left( 2 - 1 \right) + \left( 3 - \left( -1 \right) \right) i
Real part minus real part, and the number in front of ii minus the number in front of ii. checked
==1+4i\displaystyle 1 + 4 i
Two ordinary subtractions. checked
3

Multiply: every part of z meets every part of w

Why this step

The tempting guess is to multiply real by real and imaginary by imaginary, as addition did. It is wrong, and the reason is the distributive law: a bracket times a bracket means each term of the first times each term of the second, which is FOUR products, not two. One of the four is ii times ii, and that is where the new number earns its keep: it turns back into an ordinary number.

(2+3i)(1−i)\displaystyle \left( 2 + 3 i \right) \left( 1 - i \right)==2⋅1+2(−i)+3i⋅1+3i(−i)\displaystyle 2 \cdot 1 + 2 \left( -i \right) + 3 i \cdot 1 + 3 i \left( -i \right)
The distributive law, twice: each of the two terms of zz multiplies each of the two terms of ww. Four products. checked
==2−2i+3i−3i2\displaystyle 2 - 2 i + 3 i - 3 i^{2}
Work out each of the four products. Numbers multiply as usual, and i⋅ii \cdot i is written i2i^2 for one more line so nothing is lost. checked
==2−2i+3i+3\displaystyle 2 - 2 i + 3 i + 3
Now the one fact that defines ii: i2=−1i^2 = -1. The last term stops being imaginary and becomes an ordinary number with its sign flipped. checked
==(2+3)+(−2+3)i\displaystyle \left( 2 + 3 \right) + \left( -2 + 3 \right) i
Collect the ordinary numbers together, and collect the multiples of ii together. checked
==5+i\displaystyle 5 + i
Do the two small sums. checked
4

Divide: clear i from the bottom with the conjugate

Why this step

Dividing by an ordinary number is easy: divide each part. Dividing by a number with ii in it is not, so the plan is to turn the bottom INTO an ordinary number without changing the fraction. The tool is the conjugate of ww, written w‾\overline{w}: the same number with the sign of its ii part flipped. A number times its conjugate is always c2+d2c^2 + d^2, an ordinary positive number, because the two middle terms cancel and i2=−1i^2 = -1 repairs the last one. Multiplying top and bottom by the same nonzero number is multiplying by 1, so the value of the fraction does not move.

2+3i1−i=(2+3i)(1+i)(1−i)(1+i)\frac{2 + 3 i}{1 - i} = \frac{\left( 2 + 3 i \right) \left( 1 + i \right)}{\left( 1 - i \right) \left( 1 + i \right)}
Multiply the top and the bottom by w‾\overline{w}. This is multiplying by 1, so nothing has changed except how the fraction looks. checked
(1−i)(1+i)\displaystyle \left( 1 - i \right) \left( 1 + i \right)==1+i−i−i2\displaystyle 1 + i - i - i^{2}
The bottom first. Four products again, exactly as in the multiplication step. checked
==1+1\displaystyle 1 + 1
The two middle terms are equal and opposite, so they cancel. And i2=−1i^2 = -1 turns the last term positive. No ii is left: that was the whole point of the conjugate. checked
==2\displaystyle 2
An ordinary positive number. It is the square of the length of ww. checked
(2+3i)(1+i)\displaystyle \left( 2 + 3 i \right) \left( 1 + i \right)==2⋅1+2i+3i⋅1+3ii\displaystyle 2 \cdot 1 + 2 i + 3 i \cdot 1 + 3 i i
Now the top, zz times w‾\overline{w}: four products, as before. checked
==2+2i+3i+3i2\displaystyle 2 + 2 i + 3 i + 3 i^{2}
Work out each of the four products. Numbers multiply as usual, and i⋅ii \cdot i is written i2i^2 for one more line so nothing is lost. checked
==2+2i+3i−3\displaystyle 2 + 2 i + 3 i - 3
Now the one fact that defines ii: i2=−1i^2 = -1. The last term stops being imaginary and becomes an ordinary number with its sign flipped. checked
==(2−3)+(2+3)i\displaystyle \left( 2 - 3 \right) + \left( 2 + 3 \right) i
Collect the ordinary numbers together, and collect the multiples of ii together. checked
==−1+5i\displaystyle -1 + 5 i
Do the two small sums. checked
−1+5i2\displaystyle \frac{-1 + 5 i}{2}==−12+52i\displaystyle \frac{-1}{2} + \frac{5}{2} i
The bottom is now an ordinary number, so it divides each part of the top separately. checked
==−12+52i\displaystyle -\frac{1}{2} + \frac{5}{2} i
Simplify the two fractions. checked
5

Check the division by multiplying back

Why this step

Division is DEFINED by multiplication: z/wz / w is the number that gives zz when it is multiplied by ww. So the quotient can be tested with nothing but the multiplication step, and a slip anywhere in the division would show up here.

(−12+52i)(1−i)\displaystyle \left( -\frac{1}{2} + \frac{5}{2} i \right) \left( 1 - i \right)==−12⋅1+(−12(−i))+52i⋅1+52i(−i)\displaystyle -\frac{1}{2} \cdot 1 + \left( -\frac{1}{2} \left( -i \right) \right) + \frac{5}{2} i \cdot 1 + \frac{5}{2} i \left( -i \right)
The quotient times ww: four products. checked
==−12+12i+52i−52i2\displaystyle -\frac{1}{2} + \frac{1}{2} i + \frac{5}{2} i - \frac{5}{2} i^{2}
Work out each of the four products. Numbers multiply as usual, and i⋅ii \cdot i is written i2i^2 for one more line so nothing is lost. checked
==−12+12i+52i+52\displaystyle -\frac{1}{2} + \frac{1}{2} i + \frac{5}{2} i + \frac{5}{2}
Now the one fact that defines ii: i2=−1i^2 = -1. The last term stops being imaginary and becomes an ordinary number with its sign flipped. checked
==(−12+52)+(12+52)i\displaystyle \left( -\frac{1}{2} + \frac{5}{2} \right) + \left( \frac{1}{2} + \frac{5}{2} \right) i
Collect the ordinary numbers together, and collect the multiples of ii together. checked
==2+3i\displaystyle 2 + 3 i
Do the two small sums. checked
6

Two facts worth seeing on these numbers: the mirror and the ruler

Why this step

The conjugate is a mirror and the modulus is a ruler, and both behave perfectly under multiplication. These two facts are what make the division trick work every time, so it is worth watching them hold on the numbers just used.

(2−3i)(1+i)=5−i\left( 2 - 3 i \right) \left( 1 + i \right) = 5 - i
The mirror of a product is the product of the mirrors: multiply z‾\overline{z} by w‾\overline{w} and the answer is the conjugate of zwzw from the multiplication step. checked
13⋅2=2613 \cdot 2 = 26
Lengths multiply. The square of the length of zz is 1313, of ww is 22, and of zwzw is 2626. Squares of lengths are compared so that no square root has to be taken. checked