# The basics of complex number arithmetic

The so-called “complex numbers” are actually quite simple. The terminology surrounding the complex numbers reflects centuries of ignorance as humans groped for an understanding of how to quantify things that are not solid.

In the study of electricity and in the study of particle physics, it is often necessary to deal with a “special” number *x* that is a solution to the equation *x*² = −1, or multiples of that number.

The similar equation *x*² = 1 is quite easy to solve. It has two solutions and you already know the most obvious solution. The other solution, though less obvious, takes only a little thought to figure out: *x* = −1 (every high school graduate should be able to figure it out).

That’s because a negative number times a negative number is a positive number. So −1 times −1 equals 1. Indeed any negative number times any other negative number is positive, and any positive number times any other positive number is also positive.

Clearly *x*² = 0 if *x* = 0, so *x*² is a positive number if *x* is any number from that familiar number line that includes the numbers −1, 0 and 1. It looks like *x*² = −1 has no solutions.

It’s lost to history who first thought to simply imagine that a solution exists. We can call this solution the “imaginary” unit and notate it *i*, or *j* as electrical engineers prefer (I’ll use *i* for the rest of this article — we won’t be delving into the mathematics of electricity in this article).

Then we can deal with this sort of unknown quantity as we deal with other unknown quantities in algebra. Twice the imaginary unit is notated 2*i*. And the imaginary unit negated is (−1) × *i* = −*i*, or, as mathematicians prefer to write it, (−1)*i* = −*i*.

Similarly, we see that (−*i*)² = (−1)²*i*² = −1. So the equation *x*² = −1 in fact has two solutions, just like the *x*² = 1 equation. Indeed any equation of the form *x*² + *c*, where *c* is some specific number, has two solutions.

The practical applications of imaginary numbers are quite real, but the terminology has stuck. The disadvantages of changing the terminology far outweigh the advantages.

So far we’ve only dealt with multiplication. Arithmetic of course also requires addition, and that’s as easy as additions with a single unknown quantity.

Maybe you vaguely remember from high school algebra that you solved simple “problems” like (5 + 2*x*) + (3 − 12*x*). All you have to do is line up the multiples of *x* and go from there. The answer in the example is then simply (5 + 3) + (2*x* − 12*x*) = 8 − 10*x*.

Suppose that *x* = *i*. Then we have (5 + 2*i*) + (3 − 12*i*) = (5 + 3) + (2*i* − 12*i*) = 8 − 10*i*. Easy enough. You can figure out subtraction from this (I’ll still post the formula at the end).

Sometimes a number like 1 is called a “purely real” number and a number like *i* is called a “purely imaginary” number, distinguishing them from “proper” or “nontrivial” complex numbers that have nonzero real part and nonzero imaginary part, like 8 − 10*x*.

It can nevertheless be useful to regard all numbers as complex and fill in 0 or 0*i* as needed, e.g., (8 − 10*i*) + 1 = (8 − 10*i*) + (1 + 0*i*) = 9 − 10*i* and (8 − 10*i*) + *i* = (8 − 10*i*) + (0 + *i*) = 8 − 9*i*.

Though I admit that’s much more useful for division than for addition or multiplication. Before we can deal with the division of complex numbers, we need to understand the multiplication of “proper” complex numbers.

To keep this next example simple, I’m going to make the multiplicands only have positive real parts and positive imaginary parts. Here we go: (2 + *i*)(3 + 5*i*). The result will probably have negative real or negative imaginary parts.

Multiplication is distributive, meaning that (*a* + *b*)*c* = *ac* + *bc*. But that doesn’t seem to help us here, because we need (*a* + *b*)(*c* + *d*). I still remember the mnemonic FOIL: First, Outer, Inner, Last.

Then, given (2 + *x*)(3 + 5*x*), we have 6 + 10*x* + 3*x* + 5*x*², which we can simplify to 6 + 13*x* + 5*x*². But we want *x* = *i*, and since *i*² = −1, we can simplify 6 + 13*i* + 5*i*² further: 6 + 13*i* + 5*i*² = 6 + 13*i* − 5 = 1 + 13*i*.

From FOIL we can glean the formula (*a* + *bx*)(*c* + *dx*) = *ac* + *adx* + *bcx* + *bdx*² = *ac* + (*ad* + *bc*)*x* + *bdx*². But if we have *x* = *i*, then *ac* + (*ad* + *bc*)*i* + *bdi*² can be simplified to (*ac* − *bd*) + (*ad* + *bc*)*i*.

Of course if any of *a*, *b*, *c* or *d* are negative, you will have to take care to use the right signs or your answer might not be correct. That’s why I gave the example with only positive real parts and positive imaginary parts.

I recommend you try out on your own an example with negative real parts and/or negative imaginary parts.

Things get extremely complicated for division, so I’m just going to give you the formula without explaining *how* to get the formula.

But I’m not asking you to take the formula on faith: if you know how to multiply two complex numbers, you also know how to verify the division of a complex number by another complex number.

The formula to divide *a* + *bi* by *c* + *di* is (*ac* + *bd* + (*bc* − *ad*)*i*)/(*c*² + *d*²). If that’s correct, using it to calculate 1 + 13*i* divided by 2 + *i* should give 3 + 5*i*, and likewise 1 + 13*i* divided by 3 + 5*i* should give 2 + *i*, since those are the numbers we multiplied to get 1 + 13*i*.

Plugging in the former into the formula, we get (2 + 13 + (26 − 1)*i*)/(4 + 1) = (15 + 25*i*)/5 = 3 + 5*i*. That checks out. You can check the latter, 1 + 13*i* divided by 3 + 5*i*, if you want.

# A note about division by zero

Even with complex numbers, division by zero is still invalid, undefined, whatever you want to call it. Just don’t call it well-defined.

We’re going to set the “properly” imaginary and “properly” complex numbers aside for a moment and focus on purely real numbers (technically zero is both purely real and purely imaginary).

Given a purely real positive divisor *d* such that *d* > 1, we see that 1/*d* < 1. For example, 1/5 = 0.2. Obviously if *d* = 1, then 1/*d* = 1. And if *d* < 1, but with *d* still positive, we see that 1/*d* > 1. For example, 1/0.2 = 5.

As we make *d* smaller still, and closer to 0, but still greater than 0, 1/*d* will be even larger and closer to positive infinity. For example, 1/0.0000000001 = 10000000000. Surely that must mean that 1/0 equals positive infinity.

If you think that makes sense, then you need to look at it from the other side. Given a purely real negative divisor *d* such that *d* < −1, we see that 1/*d* > −1.

For example, 1/−5 = −0.2. Obviously if *d* = −1, then 1/*d* = −1. And if *d* > −1, but with *d* still negative, we see that 1/*d* < −1. For example, 1/−0.2 = −5. Hopefully I haven’t made any mistakes with the comparison operators in these examples.

As we make *d* smaller still in absolute value, and closer to 0, but still less than 0, 1/*d* will be even larger in absolute value and closer to negative infinity. Surely that must mean that 1/0 equals negative infinity.

That contradicts my earlier assertion that 1/0 equals positive infinity. I’m guessing that’s what mathematicians call a “discontinuity.”

A similar situation occurs with *i*/*d* where *d* is purely real. As *d* gets closer to 0, *i*/*d* approaches positive infinity times *i* if *d* > 0 and negative infinity times *i* if *d* < 0. And if *d* is allowed to have a nonzero imaginary part, you can send division by zero in whatever direction you want. Just choose the angle you want relative to the real number line.

However, it’s perfectly valid to divide any complex number by a number with real part zero or imaginary part zero *if* the other part is not zero.

Notice the *c*² + *d*² in the division formula: if either *c* or *d* is a nonzero number, or if they are both nonzero, then *c*² + *d*² is positive, and there is no problem of division by zero.

# Summary

Let’s review the formulas for the basic arithmetic of complex numbers:

- (
*a*+*bi*) + (*c*+*di*) = (*a*+*c*) + (*b*+*d*)*i*. For example, (1 +*i*) + (7 + 13*i*) = 8 + 14*i*. - (
*a*+*bi*) − (*c*+*di*) = (*a*−*c*) + (*b*−*d*)*i*. For example, (1 +*i*) − (7 + 13*i*) = −6 − 12*i*. - (
*a*+*bi*)(*c*+*di*) = (*ac*−*bd*) + (*ad*+*bc*)*i*. For example, (2 − 7*i*)(2 + 7*i*) = 53 + 0*i*. - (
*a*+*bi*)/(*c*+*di*) = ((*ac*+*bd*) + (*ad*−*bc*)*i*)/(*c*² +*d*²). For example, (53 + 0*i*)/(2 + 7*i*) = 2 − 7*i*.

Well, there you have it, complex number arithmetic is actually quite simple. At least as far as the basic arithmetic operations are concerned. And division by zero is just as invalid and undefined as when we only deal with purely real numbers.

Even so, you might prefer to use a computer to do calculations with complex numbers. As long as the computer has been properly programmed, and with caveats for numeric precision, the computer should give correct results.