|
|
alternative proof that is irrational
|
(Proof)
|
|
|
Following is a proof that $\sqrt{2}$ is irrational.
The polynomial $x^2-2$ is irreducible over $\mathbb{Z}$ by Eisenstein's criterion with $p=2$ Thus, $x^2-2$ is irreducible over $\mathbb{Q}$ by Gauss's lemma. Therefore, $x^2-2$ does not have any roots in $\mathbb{Q}$ Since $\sqrt{2}$ is a root of $x^2-2$ it must be
irrational.
This method generalizes to show that any number of the form $\sqrt[r]{n}$ is not rational, where $r \in \mathbb{Z}$ with $r>1$ and $n \in \mathbb{Z}$ such that there exists a prime $p$ dividing $n$ with $p^2$ not dividing $n$
|
"alternative proof that is irrational" is owned by Wkbj79.
|
|
(view preamble | get metadata)
Cross-references: prime, rational, number, roots, Eisenstein's criterion, irreducible, polynomial, irrational, proof
There are 2 references to this entry.
This is version 5 of alternative proof that is irrational, born on 2007-04-14, modified 2007-08-23.
Object id is 9183, canonical name is AlternativeProofThatSqrt2IsIrrational.
Accessed 1625 times total.
Classification:
| AMS MSC: | 11J72 (Number theory :: Diophantine approximation, transcendental number theory :: Irrationality; linear independence over a field) | | | 11J82 (Number theory :: Diophantine approximation, transcendental number theory :: Measures of irrationality and of transcendence) | | | 12E05 (Field theory and polynomials :: General field theory :: Polynomials ) | | | 13A05 (Commutative rings and algebras :: General commutative ring theory :: Divisibility) |
|