|
|
|
|
e is irrational
|
(Proof)
|
|
|
We have the series$$ e^{-1} = \sum_{k=0}^\infty {(-1)^k \over k!}$$ Note that this is an alternating series and that the magnitudes of the terms decrease. Hence, for every integer $n > 0$ , we have the bound$$ 0 < \left| \sum_{k=0}^{n} {(-1)^k \over k!} - e^{-1} \right| < {1 \over (n+1)!},$$ by the Leibniz' estimate for alternating series. Assume that $e = n/m$ , where $m$ and $n$ are integers and $n > 0$ . Then we would have$$ 0 < \left| \sum_{k=0}^{n} {(-1)^k \over k!} - {m \over n} \right| < {1 \over (n+1)!} .$$ Multiplying both sides by $n!$ , this would imply$$ 0 < \left| \sum_{k=0}^{n} {(-1)^k n! \over k!} - m (n-1)! \right| < {1 \over n+1} ,$$ which is a contradiction because every term in the sum is an integer, but there are no integers between $0$ and $1/(n+1)$ .
|
"e is irrational" is owned by rspuzio. [ full author list (3) ]
|
|
(view preamble | get metadata)
Cross-references: sum, contradiction, imply, sides, bound, integer, terms, alternating series, series
There is 1 reference to this entry.
This is version 5 of e is irrational, born on 2007-05-03, modified 2007-05-04.
Object id is 9330, canonical name is EIsIrrational2.
Accessed 904 times total.
Classification:
| AMS MSC: | 11J72 (Number theory :: Diophantine approximation, transcendental number theory :: Irrationality; linear independence over a field) | | | 11J82 (Number theory :: Diophantine approximation, transcendental number theory :: Measures of irrationality and of transcendence) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|