Proof that e is irrational explained

The number e was introduced by Jacob Bernoulli in 1683. More than half a century later, Euler, who had been a student of Jacob's younger brother Johann, proved that e is irrational; that is, that it cannot be expressed as the quotient of two integers.

Euler's proof

Euler wrote the first proof of the fact that e is irrational in 1737 (but the text was only published seven years later).[1] [2] [3] He computed the representation of e as a simple continued fraction, which is

e=[2;1,2,1,1,4,1,1,6,1,1,8,1,1,\ldots,2n,1,1,\ldots].

Since this continued fraction is infinite and every rational number has a terminating continued fraction, e is irrational. A short proof of the previous equality is known.[4] [5] Since the simple continued fraction of e is not periodic, this also proves that e is not a root of a quadratic polynomial with rational coefficients; in particular, e2 is irrational.

Fourier's proof

The most well-known proof is Joseph Fourier's proof by contradiction,[6] which is based upon the equality

e=

infty
\sum
n=0
1
n!

.

Initially e is assumed to be a rational number of the form . The idea is to then analyze the scaled-up difference (here denoted x) between the series representation of e and its strictly smaller partial sum, which approximates the limiting value e. By choosing the scale factor to be the factorial of b, the fraction and the partial sum are turned into integers, hence x must be a positive integer. However, the fast convergence of the series representation implies that x is still strictly smaller than 1. From this contradiction we deduce that e is irrational.

Now for the details. If e is a rational number, there exist positive integers a and b such that . Define the number

x=b!\left(e-

b
\sum
n=0
1
n!

\right).

Use the assumption that e = to obtain

x=b!\left(

a
b

-

b
\sum
n=0
1
n!

\right)=a(b-1)!-

b
\sum
n=0
b!
n!

.

The first term is an integer, and every fraction in the sum is actually an integer because for each term. Therefore, under the assumption that e is rational, x is an integer.

We now prove that . First, to prove that x is strictly positive, we insert the above series representation of e into the definition of x and obtain

x=

infty
b!\left(\sum
n=0
1
n!

-

b
\sum
n=0
1
n!

\right)=

infty
\sum
n=b+1
b!
n!

>0,

because all the terms are strictly positive.

We now prove that . For all terms with we have the upper estimate

b!=
n!
1{(b
+

1)(b+2)(b+(n-b))}\le

1{(b
+

1)n-b

}.

This inequality is strict for every . Changing the index of summation to and using the formula for the infinite geometric series, we obtain

x

infty
=\sum
n=b+1
b!
n!

<

infty
\sum
n=b+1
1{(b
+

1)n-b

}=\sum_^\infty \frac1=\frac \left (\frac1\right)= \frac \le 1.

And therefore

x<1.

Since there is no integer strictly between 0 and 1, we have reached a contradiction, and so e is irrational, Q.E.D.

Alternate proofs

Another proof[7] can be obtained from the previous one by noting that

(b+1)x= 1+

1{b
+

2}+

1{(b
+

2)(b+3)}+< 1+

1{b
+

1}+

1{(b
+

1)(b+2)}+= 1+x,

and this inequality is equivalent to the assertion that bx < 1. This is impossible, of course, since b and x are positive integers.

Still another proof[8] [9] can be obtained from the fact that

1
e

=e-1=

infty
\sum
n=0
(-1)n
n!

.

Define

sn

as follows:

sn=

n
\sum
k=0
(-1)k
k!

.

Then

e-1-s2n-1=

infty
\sum
k=0
(-1)k
k!

-

2n-1
\sum
k=0
(-1)k
k!

<

1
(2n)!

,

which implies

0<(2n-1)!\left(e-1-s2n-1\right)<

1
2n

\le

1
2

for any positive integer

n

.

Note that

(2n-1)!s2n-1

is always an integer. Assume that

e-1

is rational, so

e-1=p/q,

where

p,q

are co-prime, and

q0.

It is possible to appropriately choose

n

so that

(2n-1)!e-1

is an integer, i.e.

n\geq(q+1)/2.

Hence, for this choice, the difference between

(2n-1)!e-1

and

(2n-1)!s2n-1

would be an integer. But from the above inequality, that is not possible. So,

e-1

is irrational. This means that

e

is irrational.

Generalizations

In 1840, Liouville published a proof of the fact that e2 is irrational[10] followed by a proof that e2 is not a root of a second-degree polynomial with rational coefficients.[11] This last fact implies that e4 is irrational. His proofs are similar to Fourier's proof of the irrationality of e. In 1891, Hurwitz explained how it is possible to prove along the same line of ideas that e is not a root of a third-degree polynomial with rational coefficients, which implies that e3 is irrational.[12] More generally, eq is irrational for any non-zero rational q.[13]

Charles Hermite further proved that e is a transcendental number, in 1873, which means that is not a root of any polynomial with rational coefficients, as is for any non-zero algebraic α.[14]

See also

References

  1. Euler . Leonhard . 1744 . De fractionibus continuis dissertatio . Commentarii Academiae Scientiarum Petropolitanae . 9 . 98–137 . A dissertation on continued fractions.
  2. Euler . Leonhard . An essay on continued fractions . Mathematical Systems Theory . 1985 . 18 . 295–398 . 1985 . 10.1007/bf01699475. 1811/32133 . 126941824 . free .
  3. Book: Sandifer . C. Edward . How Euler did it . Chapter 32: Who proved e is irrational? . . 185–190 . 2007 . 978-0-88385-563-8 . 2007927658.
  4. https://arxiv.org/abs/math/0601660 A Short Proof of the Simple Continued Fraction Expansion of e
  5. Cohn . Henry . . 113 . 1 . 57–62 . 2006 . A short proof of the simple continued fraction expansion of e . 27641837 . 10.2307/27641837. math/0601660 . 2006math......1660C .
  6. Book: de Stainville . Janot . 1815 . Mélanges d'Analyse Algébrique et de Géométrie . A mixture of Algebraic Analysis and Geometry . Veuve Courcier . 340–341.
  7. MacDivitt . A. R. G. . Yanagisawa . Yukio . An elementary proof that e is irrational . . 71 . 457 . 217 . 1987 . . London . 3616765 . 10.2307/3616765. 125352483 .
  8. Penesi . L. L. . 1953 . Elementary proof that e is irrational . . . 60 . 7 . 474 . 2308411 . 10.2307/2308411 .
  9. Apostol, T. (1974). Mathematical analysis (2nd ed., Addison-Wesley series in mathematics). Reading, Mass.: Addison-Wesley.
  10. Liouville . Joseph . . Sur l'irrationalité du nombre e = 2,718… . 1 . 5 . 192 . 1840 . fr.
  11. Liouville . Joseph . . Addition à la note sur l'irrationnalité du nombre e . 1 . 5 . 193–194 . 1840 . fr.
  12. Book: Hurwitz . Adolf . 1933 . 1891 . Mathematische Werke . 2 . de . Über die Kettenbruchentwicklung der Zahl e . . Basel . 129–133.
  13. Book: Aigner . Martin . Martin Aigner . Ziegler . Günter M. . Günter M. Ziegler . . . Berlin, New York . 1998 . 27–36 . 978-3-642-00855-9 . 10.1007/978-3-642-00856-6 . 4th.
  14. Hermite . C. . Charles Hermite . 1873 . Sur la fonction exponentielle . fr . Comptes rendus de l'Académie des Sciences de Paris . 77 . 18–24.