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
Сайт управляется системой uCoz