Vanishing Roots

Imagine a world where the only numbers are positive integers (whole numbers): 1, 2, 3, ...  We call this set the natural numbers, $\mathbb{N}$.

We can solve some equations involving positive integers, for example the equation $x^3 = 27$ has the solution $x=3$.

But we cannot solve every equation, even those where all the coefficients are positive integers.  For example, the equation $x+2 = 0$ has no solutions in the natural numbers.



So mathematicians extended the pool of numbers that we're allowed to use, by including zero and the negative integers. 

The set of all integers (positive, negative and 0) is called $\mathbb{Z}$.  (Notice that every natural number is an integer.)

Now we can solve the equation $x+2 = 0$, and the equation $x^2 - 9 = 0$ has two solutions.

But again there are equations that we cannot solve, such as $2x - 3 = 0$.





So we extend the pool of numbers again, this time to give the set of rational numbers, called $\mathbb{Q}$.

These are the numbers of the form $\frac{x}{y}$ where $x$ and $y$ are integers and $y$ is not 0.  (Notice that every integer is a rational number.)

Now we can solve the equation $2x - 3 = 0$, but we still cannot solve some equations, such as $x^2 - 2 = 0$.  (This article includes a proof that $\sqrt{2}$ is irrational - it is not a rational number.)










We need the set of real numbers, called $\mathbb{R}$, which includes both the rational and irrational numbers.

We can now solve equations like $x^3 - 17 = 0$ and $x^2 - 5 = 0$. 















But we still cannot solve the equation $x^2 + 2 = 0$ in the real numbers.  This is where the set of complex numbers, written $\mathbb{C}$, comes in.

We introduce a new number $i$, with the property that $i^2 = -1$, and then a complex number is one of the form $a + bi$ where $a$ and $b$ are real.

Now we can solve $x^2 + 2 = 0$.

Rather satisfyingly, we do not need to extend the complex numbers any further.  If we have any polynomial equation (such as a linear equation, quadratic equation, cubic equation,...) where all the coefficients are complex numbers, then we can always solve the equation in the complex numbers.  Better still, every quadratic with complex coefficients always has two complex roots, every cubic with complex coefficients always has three complex roots, and so on.  (Note that the roots might not necessarily be distinct: we can have repeated roots, where two or more roots are the same.)  This is known as the Fundamental Theorem of Algebra.