- Proof that e is irrational
mathematics, the series representation of Euler's number "e"
: can be used to prove that "e" is irrational. Of the many
representations of e, this is the Taylor seriesfor the exponential function"e""y" evaluated at "y" = 1.
ummary of the proof
This is a proof by contradiction. Initially "e" is assumed to be a rational number of the form "a"/"b". We then analyze a blown-up difference "x" of the series representing "e" and its strictly smaller "b"th partial sum, which approximates the limiting value "e". By choosing the magnifying factor to be "b"!, the fraction "a"/"b" and the "b"th partial sum are turned into integers, hence "x" must be a positive integer. However, the fast convergence of the series representation implies that the magnified approximation error "x" is still strictly smaller than 1. From this contradiction we deduce that "e" is irrational.
Suppose that "e" is a
rational number. Then there exist positive integers "a" and "b" such that "e" = "a"/"b".
Define the number
To see that "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 an integer since "n"≤"b" for each term. Therefore "x" is an integer.
We now prove that 0 < "x" < 1. First, insert the above series representation of "e" into the definition of "x" to obtain
For all terms with "n" ≥ "b" + 1 we have the upper estimate:which is even 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.
"e""q" is irrational
The above proof can be found in
Proofs from THE BOOK. It is used as a stepping stone in Ivan Niven's 1947 proof that π2 is irrational and also for the stronger result that "e""q" is irrational for any non-zero rational "q". [Citation | last1=Aigner | first1=Martin | last2=Ziegler | first2=Günter M. | author2-link=Günter M. Ziegler | title= Proofs from THE BOOK| publisher= Springer-Verlag| location=Berlin, New York | year=1998|pages=27-36.]
Characterizations of the exponential function
Wikimedia Foundation. 2010.
Look at other dictionaries:
Proof that π is irrational — Although the mathematical constant known as pi; (pi) has been studied since ancient times, and so has the concept of irrational number, it was not until the 18th century that π was proved to be irrational.In the 20th century, proofs were found… … Wikipedia
Proof that 22/7 exceeds π — Proofs of the famous mathematical result that the rational number 22⁄7 is greater than π date back to antiquity. What follows is a modern mathematical proof that 22⁄7 > π, requiring only elementary techniques from calculus. The purpose is not… … Wikipedia
Irrational — may refer to: *Irrationality *Irrational rhythm, *Irrational exuberance *Irrational GamesIn mathematics: *Irrational number *Proof that e is irrational *Proof that pi; is irrational *Quadratic irrational *List of integrals of irrational… … Wikipedia
Irrational number — In mathematics, an irrational number is any real number that is not a rational number that is, it is a number which cannot be expressed as a fraction m / n , where m and n are integers, with n non zero. Informally, this means numbers that cannot… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true. Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Quadratic irrational — In mathematics, a quadratic irrational, also known as a quadratic irrationality or quadratic surd, is an irrational number that is the solution to some quadratic equation with rational coefficients. Since fractions can be cleared from a quadratic … Wikipedia
Cantor's first uncountability proof — Georg Cantor s first uncountability proof demonstrates that the set of all real numbers is uncountable. Cantor formulated the proof in December 1873 and published it in 1874 in Crelle s Journal [cite… … Wikipedia
Pi — This article is about the number. For the Greek letter, see Pi (letter). For other uses, see Pi (disambiguation). The circumference of a ci … Wikipedia