Ad
related to: proof a number is irrational
Search results
Results From The WOW.Com Content Network
Dov Jarden gave a simple non-constructive proof that there exist two irrational numbers a and b, such that a b is rational: [28] [29] Consider √ 2 √ 2; if this is rational, then take a = b = √ 2. Otherwise, take a to be the irrational number √ 2 √ 2 and b = √ 2. Then a b = (√ 2 √ 2) √ 2 = √ 2 √ 2 · √ 2 = √ 2 2 = 2 ...
Apéry's original proof [3] [4] was based on the well-known irrationality criterion from Peter Gustav Lejeune Dirichlet, which states that a number is irrational if there are infinitely many coprime integers p and q such that
In 1840, Liouville published a proof of the fact that e 2 is irrational [10] followed by a proof that e 2 is not a root of a second-degree polynomial with rational coefficients. [11] This last fact implies that e 4 is irrational. His proofs are similar to Fourier's proof of the irrationality of e.
Written in 1873, this proof uses the characterization of as the smallest positive number whose half is a zero of the cosine function and it actually proves that is irrational. [ 3 ] [ 4 ] As in many proofs of irrationality, it is a proof by contradiction .
This means that is not a rational number; that is to say, is irrational. This proof was hinted at by Aristotle, in his Analytica Priora, §I.23. [12] It appeared first as a full proof in Euclid's Elements, as proposition 117 of Book X.
The following famous example of a nonconstructive proof shows that there exist two irrational numbers a and b such that is a rational number. This proof uses that 2 {\displaystyle {\sqrt {2}}} is irrational (an easy proof is known since Euclid ), but not that 2 2 {\displaystyle {\sqrt {2}}^{\sqrt {2}}} is irrational (this is true, but the proof ...
Rational numbers have irrationality exponent 1, while (as a consequence of Dirichlet's approximation theorem) every irrational number has irrationality exponent at least 2. On the other hand, an application of Borel-Cantelli lemma shows that almost all numbers, including all algebraic irrational numbers , have an irrationality exponent exactly ...
This shows that any irrational number has irrationality measure at least 2. The Thue–Siegel–Roth theorem says that, for algebraic irrational numbers, the exponent of 2 in the corollary to Dirichlet’s approximation theorem is the best we can do: such numbers cannot be approximated by any exponent greater than 2.