|
|
|
|
e is irrational
|
(Theorem)
|
|
|
From the Taylor series for $e^x$ we know the following equation: \begin{equation} e=\sum_{k=0}^{\infty}\frac{1}{k!}. \end{equation}Now let us assume that $e$ is rational. This would mean there are two natural numbers $a$ and $b$ such that: $$e=\frac{a}{b}.$$ This yields: $$b!e\in\mathbb{N}.$$ Now we can write $e$ using (1): $$b!e=b!\sum_{k=0}^{\infty}\frac{1}{k!}.$$ This
can also be written: $$b!e=\sum_{k=0}^{b}\frac{b!}{k!}+\sum_{k=b+1}^{\infty}\frac{b!}{k!}.$$ The first sum is obviously a natural number, and thus $$\sum_{k=b+1}^{\infty}\frac{b!}{k!}$$ must also be natural. Now we see: $$\sum_{k=b+1}^{\infty}\frac{b!}{k!}=\frac{1}{b+1}+\frac{1}{(b+1)(b+2)}+...< \sum_{k=1}^{\infty}\left(\frac{1}{b+1}\right)^k=\frac{1}{b}.$$ Since $\frac{1}{b}\leq 1$ we conclude: $$0<\sum_{k=b+1}^{\infty}\frac{b!}{k!}<1.$$ We have also seen that this is an integer, but there is no integer between 0 and 1. So there cannot exist two natural numbers $a$ and $b$ such that $e=\frac{a}{b}$ so $e$ is irrational.
|
"e is irrational" is owned by mathwizard.
|
|
(view preamble | get metadata)
Cross-references: irrational, integer, sum, natural numbers, rational, equation, Taylor series
This is version 10 of e is irrational, born on 2002-03-20, modified 2007-10-01.
Object id is 2795, canonical name is EIsIrrationalProof.
Accessed 9013 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
|
|
|
|
|
|
|
|
|
|
|