Search results
Results From The WOW.Com Content Network
A stronger result is the following: [31] Every rational number in the interval ((/) /,) can be written either as a a for some irrational number a or as n n for some natural number n. Similarly, [ 31 ] every positive rational number can be written either as a a a {\displaystyle a^{a^{a}}} for some irrational number a or as n n n {\displaystyle n ...
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.
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 ...
This application also invokes the integer root theorem, a stronger version of the rational root theorem for the case when () is a monic polynomial with integer coefficients; for such a polynomial, all roots are necessarily integers (which is not, as 2 is not a perfect square) or irrational. The rational root theorem (or integer root theorem ...
The proof by Pythagoras about 500 BCE has had a profound effect on mathematics. It shows that the square root of 2 cannot be expressed as the ratio of two integers. The proof bifurcated "the numbers" into two non-overlapping collections—the rational numbers and the irrational numbers.
If y is irrational, then f(y) = 0. Again, we can take ε = 1 ⁄ 2, and this time, because the rational numbers are dense in the reals, we can pick z to be a rational number as close to y as is required. Again, f(z) = 1 is more than 1 ⁄ 2 away from f(y) = 0.
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 .
Example: Let a and b be nonzero real numbers. Then the subgroup of the real numbers R generated by a is commensurable with the subgroup generated by b if and only if the real numbers a and b are commensurable, in the sense that a/b is rational. Thus the group-theoretic notion of commensurability generalizes the concept for real numbers.