Square Root of 2 is Irrational/Classic Proof
Theorem
- $\sqrt 2$ is irrational.
Proof
First we note that, from Parity of Integer equals Parity of its Square, if an integer is even, its square root, if an integer, is also even.
Thus it follows that:
- $(1): \quad 2 \divides p^2 \implies 2 \divides p$
where $2 \divides p$ indicates that $2$ is a divisor of $p$.
Aiming for a contradiction, suppose that $\sqrt 2$ is rational.
So:
- $\sqrt 2 = \dfrac p q$
for some $p, q \in \Z$, and:
- $\gcd \set {p, q} = 1$
where $\gcd$ denotes the greatest common divisor.
Squaring both sides yields:
- $2 = \dfrac {p^2} {q^2} \iff p^2 = 2 q^2$
Therefore from $(1)$:
- $2 \divides p^2 \implies 2 \divides p$
That is, $p$ is an even integer.
So $p = 2 k$ for some $k \in \Z$.
Thus:
- $2 q^2 = p^2 = \paren {2 k}^2 = 4 k^2 \implies q^2 = 2 k^2$
so by the same reasoning:
- $2 \divides q^2 \implies 2 \divides q$
This contradicts our assumption that $\gcd \set {p, q} = 1$, since $2 \divides p, q$.
Therefore, from Proof by Contradiction, $\sqrt 2$ cannot be rational.
$\blacksquare$
Historical Note
This result Square Root of 2 is Irrational is attributed to Pythagoras of Samos, or to a student of his.
Some legends have it that it is due to Hippasus of Metapontum who was thrown off a boat by his angry fellow Pythagoreans and drowned.
The ancient Greeks prior to Pythagoras believed that irrational numbers did not exist in the real world.
However, from the Pythagorean Theorem, a square with sides of length $1$ has a diagonal of length $\sqrt 2$.
Sources
- 1926: Sir Thomas L. Heath: Euclid: The Thirteen Books of The Elements: Volume 3 (2nd ed.) ... (previous) ... (next): Book $\text{X}$. Introductory Note
- 1937: Eric Temple Bell: Men of Mathematics ... (previous) ... (next): Chapter $\text{II}$: Modern Minds in Ancient Bodies: Footnote $1$
- 1960: Walter Ledermann: Complex Numbers ... (previous) ... (next): $\S 1.1$. Number Systems
- 1964: Walter Rudin: Principles of Mathematical Analysis (2nd ed.) ... (previous) ... (next): Chapter $1$: The Real and Complex Number Systems: Introduction
- 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text I$: Algebraic Structures: $\S 1$: The Language of Set Theory: Exercise $1.10$
- 1969: C.R.J. Clapham: Introduction to Abstract Algebra ... (previous) ... (next): Chapter $3$: The Integers: $\S 13$. Unique Factorisation: Theorem $24$
- 1973: G. Stephenson: Mathematical Methods for Science Students (2nd ed.) ... (previous) ... (next): Chapter $1$: Real Numbers and Functions of a Real Variable: $1.1$ Real Numbers
- 1977: K.G. Binmore: Mathematical Analysis: A Straightforward Approach ... (previous) ... (next): $\S 1$: Real Numbers: $\S 1.13$: Irrational Numbers
- 1982: P.M. Cohn: Algebra Volume 1 (2nd ed.) ... (previous) ... (next): Chapter $1$: Sets and mappings: $\S 1.1$: The need for logic
- 1992: George F. Simmons: Calculus Gems ... (previous) ... (next): Chapter $\text {B}.2$: More about Numbers: Irrationals, Perfect Numbers and Mersenne Primes
- 1993: Richard J. Trudeau: Introduction to Graph Theory ... (previous) ... (next): $2$. Graphs: Paradox
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.14$: Exercise $18 \ (1)$
- 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems ... (previous) ... (next): $\S 1.2.5$: An aside: proof by contradiction: Exercises $1.6: \ 5$
- 2009: Steven G. Krantz: Discrete Mathematics Demystified: $\S 2.3$
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): irrational number
- For a video presentation of the contents of this page, visit the Khan Academy.