The square root of 2 is an irrational number. It can be represented by and has an approximate value of . The Pythagorean philosopher Hippasus was the first to discover it was irrational. It also the ratio of the length of the hypotenuse to one of the legs of an isosceles right triangle.
This number cannot be written as a fraction.
Proof of the number's irrationality
One proof of the number's irrationality is the following proof by infinite descent. It is also a proof by contradiction, also known as an indirect proof, in that the proposition is proved by assuming that the opposite of the proposition is true and showing that this assumption is false, thereby implying that the proposition must be true.
- Assume that √2 is a rational number, meaning that there exists a pair of integers whose ratio is √2.
- If the two integers have a common factor, it can be eliminated using the Euclidean algorithm.
- Then √2 can be written as an irreducible fraction ^{a}⁄_{b} such that a and b are coprime integers (having no common factor).
- It follows that ^{a2}⁄_{b2} = 2 and a^{2} = 2b^{2}. ( (^{a}⁄_{b})^{n} = ^{an}⁄_{bn} )
- Therefore, a^{2} is even because it is equal to 2b^{2}. (2b^{2} is necessarily even because it is 2 times another whole number and multiples of 2 are even.)
- It follows that a must be even (as squares of odd integers are never even).
- Because a is even, there exists an integer k that fulfills: a = 2k.
- Substituting 2k from step 7 for a in the second equation of step 4: 2b^{2} = (2k)^{2} is equivalent to 2b^{2} = 4k^{2}, which is equivalent to b^{2} = 2k^{2}.
- Because 2k^{2} is divisible by two and therefore even, and because 2k^{2} = b^{2}, it follows that b^{2} is also even which means that b is even.
- By steps 5 and 8 a and b are both even, which contradicts that ^{a}⁄_{b} is irreducible as stated in step 3.
Because there is a contradiction, the assumption (1) that √2 is a rational number must be false. This means that √2 is not a rational number; i.e., √2 is irrational.
This proof was hinted at by Aristotle, in his Analytica Priora, §I.23.^{[1]} It appeared first as a full proof in Euclid's Elements, as proposition 117 of Book X. However, since the early 19th century historians have agreed that this proof is an interpolation and not attributable to Euclid.^{[2]}
References
- ↑ All that Aristotle says, while writing about proofs by contradiction, is that “the diagonal of the square is incommensurate with the side, because odd numbers are equal to evens if it is supposed to be commensurate”.
- ↑ The edition of the Greek text of the Elements published by E. F. August in Berlin in 1826–1829 already relegates this proof to an Appendix. The same thing occurs with J. L. Heiberg's edition (1883–1888).
This article is a stub. You can help Math Wiki by expanding it. |
This page uses content from Wikipedia. The original article was at Square root of 2. The list of authors can be seen in the page history. As with the Math Wiki, the text of Wikipedia is available under the Creative Commons Licence. |