Proof
Towards a contradiction, suppose that e is a rational number. Then there exist positive integers a and b such that e = a/b where clearly b > 1.
Define the number
To see that if e is rational, then x is an integer, substitute e = a/b into this definition to obtain
The first term is an integer, and every fraction in the sum is actually an integer because n ≤ b for each term. Therefore x is an integer.
We now prove that 0 < x < 1. First, to prove that x is strictly positive, we insert the above series representation of e into the definition of x and obtain
because all the terms with n ≤ b cancel and the remaining ones are strictly positive.
We now prove that x < 1. For all terms with n ≥ b + 1 we have the upper estimate
This inequality is strict for every n ≥ b + 2. Changing the index of summation to k = n – b and using the formula for the infinite geometric series, we obtain
Since there is no integer strictly between 0 and 1, we have reached a contradiction, and so e must be irrational. Q.E.D.
The above proof can be found in Proofs from THE BOOK, where the stronger result that eq is irrational for any non-zero rational q is also proved.
Read more about this topic: Proof That e Is Irrational
Famous quotes containing the word proof:
“If some books are deemed most baneful and their sale forbid, how, then, with deadlier facts, not dreams of doting men? Those whom books will hurt will not be proof against events. Events, not books, should be forbid.”
—Herman Melville (18191891)
“From whichever angle one looks at it, the application of racial theories remains a striking proof of the lowered demands of public opinion upon the purity of critical judgment.”
—Johan Huizinga (18721945)
“Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other twoa proof of the decline of that country.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (16941773)



