PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
[parent] 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)

View style:

See Also: Leibniz' estimate for alternating series


This object's parent.
Log in to rate this entry.
(view current ratings)

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 MSC11J72 (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
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)