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