It was not obvious that transcendental numbers should exist. Moreover, it’s challenging to prove that a given number is transcendental because it requires proving a negative: that it is not the root of any polynomial with integer coefficients.

In 1844, Joseph Liouville found the first one by coming at the problem indirectly. He discovered that irrational algebraic numbers cannot be approximated well by rational numbers. So if he could find a number that was approximated well by fractions with small denominators, it would have to be something else: a transcendental number. He then constructed just such a number.

Liouville’s manufactured number,

$latex L = 0.1100010000000000000000010…$,

contains only 0s and 1s, with the 1s occurring in certain designated places: the values of $latex n!$. So the first 1 is in the first (1!) place, the second is in the second (2!) place, the third is in the sixth (3!) place, and so on. Notice that as a result of his careful construction, 1/10, 11/100, and 110,001/1,000,000 are all very good approximations of *L* — better than one would expect given the size of their denominators. For instance, the third of these values has 3! (six) decimal digits, 0.110001, but agrees with *L* for a total of 23 digits, or $latex 4!-1$.

Despite *L *proving that transcendental numbers exist, π does not satisfy Liouville’s criterion (it can’t be well approximated by rational numbers), so its classification remained elusive.

The key breakthrough occurred in 1873, when Charles Hermite devised an ingenious technique to prove that *e*, the base of the natural logarithm, is transcendental. This was the first non-contrived transcendental number, and nine years later it allowed Ferdinand von Lindemann to extend Hermite’s technique to prove that π is transcendental. In fact he went further, showing that *e ^{d}* is transcendental whenever

*d*is a nonzero algebraic number. Rephrased, this says that if

*e*is algebraic, then

^{d}*d*is either zero or transcendental.

To prove that π is transcendental, Lindemann then made use of what many people view as the most beautiful formula in all of mathematics, Euler’s identity: $latex e^{\pi i} = -1$. Because −1 is algebraic, Lindemann’s theorem states that $latex \pi i$ is transcendental. And because $latex i$ is algebraic, π must be transcendental. Thus, a segment of length π is impossible to construct, and it is therefore impossible to square the circle.

Although Lindemann’s result was the end of one story, it was just an early chapter in the story of transcendental numbers. Much still had to be done, especially, as we’ll see, given how prevalent these misfit numbers are.

Shortly after Hermite proved that *e* was transcendental, Georg Cantor proved that infinity comes in different sizes. The infinity of rational numbers is the same as the infinity of whole numbers. Such sets are called countably infinite. However, the sets of real numbers and irrational numbers are larger; in a sense that Cantor made precise, they are “uncountably” infinite. In the same paper, Cantor proved that although the set of algebraic numbers contains all rational numbers and infinitely many irrational numbers, it is still the smaller, countable size of infinity. Thus, its complement, the transcendental numbers, is uncountably infinite. In other words, the vast majority of real and complex numbers are transcendental.

Yet even by the turn of the 20th century, mathematicians could conclusively identify only a few. In 1900, David Hilbert, one of the most esteemed mathematicians of the era, produced a now-famous list of the 23 most important unsolved problems in mathematics. His seventh problem, which he considered one of the harder ones, was to prove that *a ^{b}* is transcendental when

*a*is algebraic and not equal to zero or 1, and

*b*is an algebraic irrational number.

In 1929, the young Russian mathematician Aleksandr Gelfond proved the special case in which $latex b = \pm i\sqrt r$ and *r *is a positive rational number. This also implies that $latex e^ {\pi}$ is transcendental, which is surprising because neither *e *nor π is algebraic, as required by the theorem. However, by cleverly manipulating Euler’s identity again, we see that

$latex e^{\pi} = e^{-i \pi i}$ = $latex (e^{\pi i})^{-i}$ = $latex (-1)^{-i}$.

Shortly afterward, Carl Siegel extended Gelfond’s proof to include values of *b *that are real quadratic irrational numbers, allowing him to conclude that $latex 2^{\sqrt 2}$ is transcendental. In 1934, Gelfond and Theodor Schneider independently solved the entirety of Hilbert’s problem.

Work on transcendental number theory continued. In the mid-1960s Alan Baker produced a series of articles generalizing the results of Hermite, Lindemann, Gelfond, Schneider and others, giving a much deeper understanding of algebraic and transcendental numbers, and for his efforts he received the Fields Medal in 1970, at age 31. One consequence of this work was proving that certain products, like $latex 2^{\sqrt 2}$ $latex \times$ $latex 2^{\sqrt [3] 2}$ and $latex 2^{\sqrt 2}$ $latex \times$ $latex 2^{\sqrt 3}$, are transcendental. Besides expanding our understanding of the numbers themselves, his work also has applications throughout number theory.

Today, open problems about transcendental numbers abound, and there are many specific, very transcendental-looking numbers whose classification remains unknown: $latex e \pi $, $latex e + \pi$, $latex e^e$, $latex \pi^{\pi}$ and $latex \pi^e$, to name a few. Just as the mathematician Edward Titchmarsh said of the irrationality of π, it may be of no practical use to know that these numbers are transcendental, but if we can know, it surely would be intolerable not to know.