Proof that e is Irrational

The number e = 2.71828.. can be shown to be irrational by a very 
simple argument based on the power series expansion of the exponential
function, which gives

    1/e  =  1/0! - 1/1! + 1/2! - 1/3! + 1/4! - ...

If P(k) is the kth partial sum, we see that P(k) - P(k-1) = +-1/k!,
and so k((k-1)!)P(k-1) - k!P(k) = +-1.  It follows that placing 
each pair of consecutive partial sums on a common basis, we have 
the relations
                2/  6  <   1/e  <      3/  6
                8/ 24  <   1/e  <      9/ 24
               44/120  <   1/e  <     45/120
              264/720  <   1/e  <    265/720

and so on, where each pair of bounding numerators differs by 1, and
the denominators are m!.  The first of these relations proves that 
if 1/e is rational its denominator cannot be a divisor of 6, because
then it could be written n/6 for some integer n, and there is no 
such integer greater than 2 and less than 3.

Similarly the next relation proves that the denominator of 1/e cannot
be a divisor of 24, and the next proves that it cannot be a divisor 
of 120, and so on.  Continuing in this way, it's clear that the 
denominator of 1/e cannot be a divisor of any m! for m=2,3,4,...and 
so on to infinity.  But every integer k is a divisor of m! for all 
m >= k, so 1/e (and therefore e) cannot be a rational number.

Return to MathPages Main Menu