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 ...
The square root of 2 (approximately 1.4142) is the positive real number that, when multiplied by itself or squared, equals the number 2. It may be written in mathematics as 2 {\displaystyle {\sqrt {2}}} or 2 1 / 2 {\displaystyle 2^{1/2}} .
But the proof of this number's transcendence was published by Kuzmin in 1930, [2] well within Hilbert's own lifetime. Namely, Kuzmin proved the case where the exponent b is a real quadratic irrational, which was later extended to an arbitrary algebraic irrational b by Gelfond and by Schneider.
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 .
Hence, the set of real numbers consists of non-overlapping sets of rational, algebraic irrational, and transcendental real numbers. [3] For example, the square root of 2 is an irrational number, but it is not a transcendental number as it is a root of the polynomial equation x 2 − 2 = 0.
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 is irrational (an easy proof is known since Euclid), but not that is irrational (this is true, but the proof is not elementary).
The classic proof that the square root of 2 is irrational is a refutation by contradiction. [11] Indeed, we set out to prove the negation ¬ ∃ a, b ∈ . a/b = √ 2 by assuming that there exist natural numbers a and b whose ratio is the square root of two, and derive a contradiction.
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 ...