Step by step
The question
Question: prove that √7 is irrational.
1 Assume the opposite
Rational means: it can be written as a fraction of whole numbers.
Irrational means it cannot.
Suppose the opposite: √7 is rational.
Then √7 = a/b.
We cancel the fraction as far as it goes: a and b have no common factor.
Careful!
Without lowest terms there is nothing to break.
Remember it: a and b have no common factor.
2 Work it out
Square both sides: √7 squared is 7, and a/b squared is a squared over b squared.
Times b squared on both sides: a² = 7b².
7 times a whole number: so a squared is a multiple of 7.
7 is a prime number.
When a prime goes into a times a, it goes into a.
So a is a multiple of 7 too: a = 7c, with c a whole number.
Put it into a squared = 7 b squared.
7c squared is 49c squared.
Divide both sides by 7: b² = 7c².
The same as before: b squared is a multiple of 7, so b is a multiple of 7.
3 Find the contradiction
But now a and b are both a multiple of 7.
7 is a common factor.
That breaks lowest terms!
The opposite led to nonsense, so it is false.
√7 is irrational.
4 Check
A calculator: √7 is about 2.64575131, and the digits go on with no repeating pattern.
Even a good fraction like 29/11 squares to about 6.950, close to 7 but not 7.
Right!
Let's look back.
First: assume the opposite.
Then: work it out.
Then: find the contradiction.
Last: check.