Author |
Topic: Irrationality of e (Read 613 times) |
|
Aryabhatta
Uberpuzzler
Gender:
Posts: 1321
|
|
Re: Irrationality of e
« Reply #1 on: Dec 12th, 2007, 5:16pm » |
Quote Modify
|
I don't remember seeing a thread on this (nor did a search seem to reveal any threads...) Here is a proof which involves the infinite series representation of e We use the following e = Sum 1/n! Suppose e = p/q where q > 1 (p, q are integers) Then consider q!e = Sum_{n=1 to q} q!/n! + Sum_{n=q+1 to oo} q!/n! The n=1 to q part is an integer. Consider the nth tern of remaining: q!/n! = 1/(q+1)(q+2)...(q+n-q) < 1/qn-q Thus Sum_{n=q+1 to oo} q!/n! < Sum_{n=q+1 to oo} 1/qn-q = 1/(q-1) <= 1 But q!e must be an integer. Hence e is irrational.
|
« Last Edit: Dec 12th, 2007, 5:30pm by Aryabhatta » |
IP Logged |
|
|
|
JiNbOtAk
Uberpuzzler
Hana Hana No Mi
Gender:
Posts: 1187
|
|
Re: Irrationality of e
« Reply #2 on: Dec 12th, 2007, 5:20pm » |
Quote Modify
|
What do you know, Wikipedia has a topic on this.
|
« Last Edit: Dec 12th, 2007, 5:21pm by JiNbOtAk » |
IP Logged |
Quis custodiet ipsos custodes?
|
|
|
cool_joh
Guest
|
on Dec 12th, 2007, 5:16pm, Aryabhatta wrote: We use the following e = Sum 1/n! |
| How can we prove that?
|
|
IP Logged |
|
|
|
pex
Uberpuzzler
Gender:
Posts: 880
|
|
Re: Irrationality of e
« Reply #4 on: Dec 14th, 2007, 3:13am » |
Quote Modify
|
on Dec 14th, 2007, 2:43am, cool_joh wrote: As far as I know, we don't have to; it's the definition of e.
|
|
IP Logged |
|
|
|
Hippo
Uberpuzzler
Gender:
Posts: 919
|
|
Re: Irrationality of e
« Reply #5 on: Dec 17th, 2007, 12:52pm » |
Quote Modify
|
on Dec 14th, 2007, 2:43am, cool_joh wrote: Suppose e is such a constant that (ex)'=ex. Than we can approximate ex in 0 by the "infinite polynomial" such that it agrees in each derivative in 0. The polynomial is \sumk=0\inftyxk/k!. We can show the error of approximation goes to 0 for an arbitrary large x as more and more sum elements are added together. Therefore ex=\sumk=0\inftyxk/k! Special case e=e1=\sumk=0\infty1k/k!.
|
« Last Edit: Dec 17th, 2007, 12:57pm by Hippo » |
IP Logged |
|
|
|
|