Algebraic and transcendental numbers
Categories: number theory

An algebraic number is any number that is a root of some polynomial with integer coefficients. A transcendental number is any number that is not algebraic.
In this article, we will unpack those definitions, look at some of the properties of both types of number, and see how they are useful in various branches of mathematics. We will only consider real numbers here, but the concept applies equally to complex numbers.
Definition of algebraic number
As we noted above, an algebraic number is any number that is a root of some polynomial with integer coefficients (sometimes called integer polynomials). That is to say, any number that is a solution to an equation like this is algebraic:
All the coefficients must be integers, which of course includes positive and negative values, and zero. We write that like this in maths notation, stating that the coefficients are members of Z, the set of integers:
Notice that we have also specified that the highest order coefficient, a_n, cannot be zero. That is simply because, if that coefficient is zero, we will miss the term out altogether and write it as a lower-order polynomial. For example, a cubic polynomial with a zero cubic coefficient is simply a quadratic polynomial:
Simple examples of algebraic numbers
What are some examples of algebraic numbers? We can start by looking at the roots of various simple integer polynomials. Any root of any such polynomial will be an algebraic number by definition.
First, we will look at a first-order polynomial (ie a linear equation), where a is an integer:
This has a solution x = a, and by definition, this means that a is an algebraic number. Since a can be any integer, this means that all integers are algebraic numbers.
Here is another case:
This has a solution x = a/b, where a and b are integers and b is not zero. This means that all rational numbers are algebraic. For example, 1/2 or -22/3 are algebraic.
What about quadratic polynomials? Here is a simple case:
We can solve this for x squared:
Now this equation only has a real solution when a/b is positive (ie, a and b have the same sign), but in that case, both the positive and negative square roots are solutions:
This means that the square root of any rational number is algebraic. Since this includes the special case when b is 1, so a/b is an integer, it means that the square root of any integer is also algebraic.
We can do the same thing with a simple cubic polynomial:
This time, of course, the root of the polynomial is a cube root.
This time, a and b do not need to be the same sign, because we can find the cube root of a negative number. This means that the cube root of any rational number (and also any integer, of course) is an algebraic number.
We won't show it here, but it is hopefully fairly clear that the logic above doesn't only apply to square roots and cube roots. In general, the nth root of any rational number is algebraic. Again, that includes integers.
Further examples of algebraic numbers
Rational numbers and roots of rational numbers are algebraic. What about the sum of a number and a root?
This looks like it might be the root of a quadratic equation (based on the standard quadratic formula). We can check that by creating an integer polynomial that has the value above as a root. To do this, we need to eliminate any roots from the coefficients of the polynomial. We can start by finding x squared:
If we subtract 4x from x squared, the root term will cancel, leaving just an integer value:
So we can say that:
So our original term, the sum of a number and a root, is the solution to this particular quadratic equation, so it is an algebraic number.
We won't prove it here, but we could perform a similar manipulation of any rational plus the root of a rational, to demonstrate that it is an algebraic number. Furthermore, we could take any expression involving only rational numbers, roots, and basic arithmetic operations, and manipulate it to find an integer polynomial that it solves. This gives us the general rule:
Any expression that uses only rational numbers, roots, addition, subtraction, multiplication, and division will be an arithmetic number
Unsolvable algebraic numbers
The previous statement does not include every possible algebraic number. There is one additional type of algebraic number.
All polynomials of order 4 or less are solvable. That is to say, every quadratic polynomial can be expressed as a product of two terms of the form "ax + b". Every cubic polynomial can be expressed as three such terms, and every quartic polynomial can be expressed as four such terms. Sometimes the terms aren't all unique, for example, the polynomial (x - 1)(x - 1). Sometimes the roots are complex numbers rather than real numbers. But they can all be factorised, one way or another.
For polynomials of order 5 (quintic) and above, that is not always the case. It is sometimes, for example:
Can be factored out as:
But sometimes that is not possible, for example:
This polynomial cannot be reduced to a set of simpler factors.
It is important to be clear exactly what we mean by this. We are not saying that some of the factors are identical or some are imaginary. We are not saying that the factors exist, but we don't know how to find them. We are saying that factors don't exist. The polynomial is not made up of a product of several factors. It just isn't built that way.
If the function cannot be factorised, does that mean it has no roots? Well, we can easily plot the function to find out, and yes, it does have a root:
It has a root at approximately -1.1673. But that cannot be found by factorising the polynomial (because it can't be factorised), and it therefore can't be expressed in terms of basic operations on rational numbers and their roots.
Does this weird number count as an algebraic number? Well, yes, of course, it is the root of an integer polynomial, so it is algebraic by definition.
So let's update our previous rule:
Any expression that uses only rational numbers, roots, addition, subtraction, multiplication, and division will be an arithmetic number, BUT not every arithmetic number can be expressed using only rational numbers, roots, addition, subtraction, multiplication, and division.
So, how do we find the roots?
How do we find the roots of an unsolvable quintic? Well, we can't, not exactly. We can only use numerical methods to find an approximate value. For example, we can use interval bisection where we try x different values close to -1.6 and gradually home in on a value of x that gives a result that is closer and closer to zero. Or instead, we could use Newton's method, which is basically the same thing, it just converges faster.
That might seem like an unsatisfactory method. But if you think about it, that is what we do in a lot of other cases. For example, suppose we know the solution to an equation is the square root of 2. We have given the value a name, but what is its actual, numerical value? Nobody knows the exact value of the square root of two, because it is an irrational number. All we can do is calculate its approximate value. Usually using Newton's method... That is no different from finding the approximate roots of an unsolvable polynomial.
The set of algebraic numbers is countable
We can describe infinite sets as either being countable or uncountable. The set of all integers is infinite, but countable. The set of all real numbers is uncountable. But what about the set of algebraic numbers? We know that every algebraic number is a root of an integer polynomial. Can we count those roots?
Let's break this problem down a little. So, we will start by considering only polynomials of order 1:
The coefficient a0 is an integer, so the set of possible values of a0 is countable. The same is true of a1.
There is a rule that the Cartesian product of a finite number of countable sets is itself a countable set. That means that the set of all possible pairs (a0, a1) is countable. That means that the total number of different integer polynomials of order 1 is countable. And since each polynomial has one solution, that means that the total number of solutions (ie arithmetic numbers) is countable.
Next, we will consider only polynomials of order 2:
Each coefficient (a0, a1, and a2) is countable, so again the set of all possible triplets (a0, a1, a2) is countable. Since each triplet corresponds to a unique polynomial, and each polynomial has at most two solutions, the number of solutions is countable.
We can apply the same logic to polynomials of order 3, 4, and so on. The number of solutions for all the polynomials of any particular size is countable.
There is another rule that the union of any countable set of countable sets is also a countable set. We have looked at polynomials of order 1, 2, 3, 4, etc. There is a countable set of polynomial orders, and each polynomial order is associated with a countable set of possible solutions of polynomials of that order. So that means the set of all possible solutions to any integer polynomial is countable.
So the set of all algebraic numbers is countable.
Transcendental numbers
As we saw earlier, any number that isn't algebraic is transcendental. Put another way, a transcendental number is any number that isn't a root of any integer polynomial.
In the early days of studying algebraic numbers, it wasn't particularly obvious whether transcendental numbers even existed. There are so many ways to create algebraic numbers by combining any number of rational numbers and irrational roots. Who is to say that we can't form every possible real number from some such combination?
As an aside, we now know that the set of algebraic numbers is countable, and the set of real numbers is uncountable, and since an uncountable set is larger than a countable set, there must be real numbers that are not algebraic (ie are transcendental). But that knowledge comes from Cantor, who wasn't even born when the initial work on transcendent numbers was being done.
But even if we know that transcendent numbers exist, finding them seems quite daunting. We have to prove that the number cannot be the root of any possible integer. It took a great deal of ingenuity to do that, and there are still some numbers that are almost certainly transcendent, but nobody has yet managed to prove it.
We won't cover any of the proofs in detail here, they will be the subject of a later article.
The Liouville constant
The first proven transcendent number was the Liouville constant, devised by Joseph Liouville. This was a special number that had been deliberately designed so that it could be proven to be transcendent. The number is defined as:
To understand this number, let's look at the first few terms:
Each term is 10 to the power -n!, with a decimal with all 0s except a 1 in the n! decimal place. So the first term has a 1 in dp 1, the second has a 1 in dp 2, the third in dp 6, and the fourth in dp 24. When we add all these together, we get a decimal fraction that is mainly zeros, with a 1 every so often.
The factorial term gets very big, very quickly, so the number of 0s between each 1 gets larger and larger as we progress. For example, 10! is 3,628,300. So the tenth term is a decimal point followed by more than three million 0s, and then 1.
We won't go through the proof here, that is for another article. To give a brief outline, we define Ln as being L truncated to n decimal places. It can be shown that if L is the solution to some integer polynomial, the Ln will also be a solution to that same polynomial, provided n is large enough. This arises because the ones get more and more sparse as we include more decimal places, so at some point, if we truncate those decimal places, the resulting Ln is still a solution. Since all Ln are solutions if n is big enough, there are infinitely many solutions. But a polynomial can only have a finite set of solutions, so L cannot be a solution to any integer polynomial.
Transcendental mathematical constants
The well-known constants π and e (Euler's number) have both been proved to be transcendental. Several mathematical combinations have also been proved to be transcendental, including e to the power of π, and also e to the power of a where a is any algebraic number (except 0). These numbers are transcendental:
There are other, similar combinations of π and e that have not been proved to be transcendental. That doesn't mean they are not transcendental; many people think that they are. But so far, nobody has found proof for these cases:
Hilbert's number
Hilbert's number is interesting because it contains only integers and square roots:
Why isn't this number algebraic? Well, if you recall, a number is guaranteed to be algebraic if it consists only of rational numbers and roots that are combined using addition, subtraction, multiplication, and division.
In this case, 2 is raised to the power of root 2, and powers are not an allowed operation. Raising to an integer power is permitted because that can be expressed as multiplication, but raising to an irrational power is not.
This alone doesn't prove the solution is transcendent; it only indicates that it might be. However, Hilbert proved that it is, and the number was named after him.
i to the power i
This article only deals with real numbers. However, we can perhaps make a special case for i raised to the power i (where i is the imaginary unit). That is because, somewhat surprisingly, this expression has a real number value:
It can be shown that this number is also transcendental.
The set of transcendent numbers is uncountable
We know that every real number is either algebraic or transcendental. We previously proved that the set of algebraic numbers is uncountable. What about the set of transcendental numbers?
For brevity, we will make use of some well-known facts about sets and numbers, without proof. The first is that the set of real numbers is uncountable. That is, unlike the set of algebraic numbers, the set of reals cannot be arranged in order and counted. There are infinitely many algebraic numbers, but there are far, far more reals.
Our second fact is that if you have an uncountable set (the real numbers) and remove a countable set of values (the algebraic numbers), the remaining set is still uncountable. In our case, when we remove the countable set of algebraic numbers from the uncountable set of real numbers, we are left with the set of transcendental numbers.
This proves that the set of transcendental numbers is uncountable.
This is a little counterintuitive. We all know lots of algebraic numbers - all the integers, all the fractions, all the square roots and cube roots of all those previous numbers, and more. But the only transcendental numbers most people have heard of are π and (possibly) e.
But in fact, almost every number is transcendental. It is the algebraic numbers that are, comparatively, extremely rare.
See also

Join the GraphicMaths Newletter
Sign up using this form to receive an email when new content is added:
Popular tags
adder adjacency matrix alu and gate angle answers area argand diagram binary maths cartesian equation chain rule chord circle cofactor combinations complex modulus complex polygon complex power complex root cosh cosine cosine rule countable cpu cube decagon demorgans law derivative determinant diagonal directrix dodecagon e eigenvalue eigenvector ellipse equilateral triangle euler eulers formula exercises exponent exponential exterior angle first principles flip-flop focus gabriels horn gradient graph hendecagon heptagon hexagon horizontal hyperbola hyperbolic function hyperbolic functions infinity integration by parts integration by substitution interior angle inverse hyperbolic function inverse matrix irrational irregular polygon isosceles trapezium isosceles triangle kite koch curve l system line integral locus logarithm maclaurin series major axis matrix matrix algebra mean minor axis n choose r nand gate net newton raphson method nonagon nor gate normal normal distribution not gate octagon or gate parabola parallelogram parametric equation pentagon perimeter permutations pi polar coordinates polynomial power probability probability distribution product rule proof pythagoras proof quadrilateral questions radians radius rectangle regular polygon rhombus root sech segment set set-reset flip-flop sine sine rule sinh sloping lines solving equations solving triangles square square root standard curves standard deviation star polygon statistics straight line graphs surface of revolution symmetry tangent tanh transformation transformations trapezium triangle turtle graphics uncountable variance vertical volume volume of revolution xnor gate xor gate