Editing ProofThatEIsIrrational
You are currently browsing as guest..
To change this, fill in the following fields:
Username
Password
Click here to reset your password
Who can read this page?
The World
Members
Council
Admin
You have been granted an edit lock on this page
until Fri Apr 26 01:58:26 2024.
Press
to finish editing.
Who can edit this page?
World editing disabled
Members
Council
Admin
The number /e/ also known as Euler's Number, is irrational. This page could be replaced by a reference to a good proof elsewhere. ---- This will be a proof by contradiction. The number /e/ can be defined as: * EQN:e=\frac{1}{0!}+\frac{1}{1!}+\frac{1}{2!}+\frac{1}{3!}+\frac{1}{4!}+\frac{1}{5!}+... Let's suppose (to get our proof by contradiction started) that /e/ is a rational number, so we write EQN:e=a/b Now we multiply both sides by /b!/ * LHS: EQN:\quad{\quad}b!e=b!(\frac{1}{0!}+\frac{1}{1!}+\frac{1}{2!}+\frac{1}{3!}+\frac{1}{4!}+\frac{1}{5!}+...) * RHS: EQN:\quad{\quad}a(b-1)! Many of the terms on the LHS simplify to integers, up to term EQN:\frac{1}{(b+1)!} from which point we start to get left over denominators. We can subtract the first /b/ terms (which are all integers) from both sides and this expression has to be an integer: * EQN:\frac{1}{(b+1)}+\frac{1}{(b+1)(b+2)}+\frac{1}{(b+1)(b+2)(b+3)}+...\quad\quad(*) Now, we can replace all the /(b+c_i)/ values with /(b+1)/ which makes them all slightly bigger (reducing the denominator increases the value) and now we see that the expression is bigger than 0, but less than * EQN:b^{-1}+b^{-2}+b^{-3}+b^{-4}+... which is a geometric series that converges to EQN:\frac{1}{b-1} which is greater than 0, and less than 1. Hence EQN:\frac{1}{(b+1)}+\frac{1}{(b+1)(b+2)}+\frac{1}{(b+1)(b+2)(b+3)}+... is strictly between 0 and 1. This contradicts the requirement that expression (*) must be an integer. Thus we cannot have EQN:e=a/b and so /e/ is not a rational number - It's an irrational number.