### Topic Page: Irrational numbers

**irrational number**from

*Philip's Encyclopedia*

**III.41 Irrational and Transcendental Numbers**

*The Princeton Companion to Mathematics*

An irrational number is one that cannot be written as a/b with both a and b integers. A great many naturally occurring numbers, such as
, e, and π, are irrational. The following proof that
is irrational is one of the best-known arguments in all of mathematics. Suppose that
since common factors can be canceled, we may assume that a and b have no common factor; we have a^{2} = 2b^{2}, which means that a must be even; write a = 2c; but then 4c^{2} = 2b^{2}, which implies that 2c^{2} = b^{2}, and hence b must be even too; this, however, is contrary to our assumption that a and b were coprime.

There are several famous conjectures in mathematics that ask whether certain specific numbers are rational or not. For example, π + e and π^{e} are not known to be irrational, and neither is Euler’s constant:

^{−3}+ 3

^{−3}+ . . . is irrational. Almost certainly, ζ(5), ζ(7), ζ(9), . . . are all irrational as well. However, although it has been shown that infinitely many of these numbers are irrational, no specific one is known to be.

A classic proof is that of the irrationality of e. If

were equal to p/q, then we would have The left-hand side and the terms of the sum with j ≤ q are all integers. Therefore the quantity is also an integer. But it is not hard to show that this quantity lies strictly between 0 and 1, a contradiction.The principle used here, that a nonzero integer must have absolute value at least one, is surprisingly powerful in the theory of irrational and transcendental numbers.

Some numbers are more irrational than others. In a sense, the most irrational number is , the golden ratio, because the best rational approximations to it, which are ratios of consecutive Fibonacci numbers, approach it rather slowly. There is also a very elegant proof that τ is irrational. This is based on the observation that the τ × 1 rectangle R may be divided into a square of side 1 and a 1/τ × 1 rectangle. If τ were rational, then we would be able to create a rectangle with integer sides that was similar to R. From this we could remove a square, and we would be left with a smaller rectangle with integer sides that would still be similar to R. We could continue this process ad infinitum, which is clearly impossible.

A transcendental number is one which is not algebraic, that is to say, is not the root of a polynomial equation with integer coefficients. Thus,
is not transcendental, since it solves x^{2} − 2 = 0, and neither is
.

Are there, in fact, any transcendental numbers? This question was answered by liouville [VI.39] in 1844, who showed that various numbers were transcendental, of which

is a well-known example. This is not algebraic, because it can be approximated by rationals more accurately than any algebraic number can. For example, the rational approximation 110 001/1 000 000 is very close indeed to κ, but its denominator is not particularly large.Liouville showed that if α is a root of a polynomial of degree n, then

for all integers a and q and for some constant C depending on α. In words, α cannot be too well approximated by rationals. Roth later proved that the exponent n here can actually be replaced by 2 + ε for any ε > 0. (For more on these topics, see liouville’s theorem and roth’s theorem [V.22].)A completely different approach to the existence of transcendental numbers was discovered by cantor [VI.54] thirty years later. He proved that the set of algebraic numbers is countable [III.11], which means, roughly speaking, that they may be listed in order. More precisely, there is a surjective map from , the set of natural numbers, to the set of algebraic numbers. By contrast, the real numbers are not countable. Cantor’s famous proof of this uses a diagonalization argument to show that any listing of all the real numbers must be incomplete. There must, therefore, be real numbers that are not algebraic.

It is generally rather difficult to prove that a specific number is transcendental. For instance, it is by no means the case that all transcendental numbers are very well approximated by rationals; this merely provides a useful sufficient condition. There are other ways to establish that numbers are transcendental. Both e and π are known to be transcendental, and it is known that |e − a/b| > C(ε)/b^{2 + ε} for all ε > 0, so e is not all that well approximated by rationals. Since ζ(2m) is always a rational multiple of π^{2m}, it follows that the numbers ζ(2), ζ(4), . . . are all transcendental.

The modern theory of transcendental numbers contains a wealth of beautiful results. An early one is the Gel’fond–Schneider theorem, which says that α^{β} is transcendental if α ≠ 0, 1 is algebraic, and if β is algebraic but not rational. In particular,
is transcendental. There is also the six-exponentials theorem, which states that if x_{1}, x_{2} are two linearly independent complex numbers, and if y_{1}, y_{2}, y_{3} are three linearly independent complex numbers, then at least one of the six numbers
e^{x1y1}, e^{x1y2}, e^{x1y3}, e^{x2y1}, e^{x2y2}, e^{x2y3}
is transcendental. Related to this is the (as yet unsolved) four-exponentials conjecture: if x_{1} and x_{2} are two linearly independent complex numbers, and if y_{1} and y_{2} are linearly independent, then at least one of the four exponentials
e^{x1y1}, e^{x1y2}, e^{x2y1}, e^{x2y2}
is transcendental.

### Related Articles

##### Full text Article III.41 Irrational and Transcendental Numbers

An irrational number is one that cannot be written as a/b with both a and b integers. A great many naturally occurring numbers, such as ...

##### Full text Article Algebraic Numbers

In the development of numbers , algebraic numbers come in generality between the rational numbers and the real numbers . A rational number...

##### Full text Article Rational Numbers

A rational number, in mathematics, is one which can be represented by a fraction, the ratio of two integers (the one which does the...