Proof that e is irrational

In mathematics, the series representation of Euler's number "e"

: $e = sum_{n = 0}^{infty} frac{1}{n!}!$ can be used to prove that "e" is irrational. Of the many representations of e, this is the Taylor series for 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.

Proof

Suppose that "e" is a rational number. Then there exist positive integers "a" and "b" such that "e" = "a"/"b".

Define the number

: $x = b!,iggl(e - sum_{n = 0}^{b} frac{1}{n!}iggr)!$

To see that "x" is an integer, substitute "e" = "a"/"b" into this definition to obtain

: $x = b!,iggl(frac{a}{b} - sum_{n = 0}^{b} frac{1}{n!}iggr)= a(b - 1)! - sum_{n = 0}^{b} frac{b!}{n!},.$

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

: $x = sum_{n = b+1}^{infty} frac{b!}{n!}>0,.!$

For all terms with "n" ≥ "b" + 1 we have the upper estimate: $frac{b!}{n!}=frac1{(b+1)(b+2)cdots(b+(n-b))}lefrac1{(b+1)^{n-b,,!$ 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: $x =sum_{n = b+1}^{infty} frac{b!}{n!}< sum_{k=1}^inftyfrac1{(b+1)^k}=frac{1}{b+1}iggl(frac1{1-frac1{b+1iggr)= frac{1}{b}le 1.$

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

References

ee also

*Characterizations of the exponential function
*Transcendental number
*Lindemann–Weierstrass theorem

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
e (mathematical constant) — Euler s number redirects here. For γ, a constant in number theory, see Euler s constant. For other uses, see List of topics named after Leonhard Euler#Euler numbers. e is the unique number a, such that the derivative of the exponential function… … Wikipedia
E (mathematical constant) — The mathematical constant e is the unique real number such that the function e x has the same value as the slope of the tangent line, for all values of x . [Keisler, H.J. [http://www.vias.org/calculus/08 exp log functions 03 01.html Derivatives… … 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
Representations of e — The mathematical constant e can be represented in a variety of ways as a real number. Since e is an irrational number (see proof that e is irrational), it cannot be represented as a fraction, but it can be represented as a continued fraction.… … 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
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia

Academic Dictionaries and Encyclopedias

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Look at other dictionaries:

Share the article and excerpts

Direct link