Prove that √5 is irrational.
Hint. Assume the opposite — that it can be written as a fraction in lowest terms — and show that this forces the fraction not to be in lowest terms after all.
This is a proof by contradiction, and the whole method rests on one idea: if 5 divides a², then 5 divides a. That comes straight from unique prime factorisation.
Step 1 — Suppose, for contradiction, that √5 is rational. Then √5 = a/b for some integers a and b with b ≠ 0, and we may take a and b to have no common factor (cancel first if they do).
Step 2 — Rearrange: a = √5 b, and squaring gives a² = 5b².
Step 3 — So 5 divides a². Since 5 is prime, 5 must appear in the prime factorisation of a itself. Write a = 5c for some integer c.
Step 4 — Substitute back: (5c)² = 5b², so 25c² = 5b², which gives b² = 5c².
Step 5 — By the same reasoning applied to b, 5 divides b² and therefore 5 divides b.
Step 6 — Now 5 divides both a and b. That contradicts Step 1, where we arranged for them to share no common factor.
Step 7 — The only assumption we made was that √5 is rational, so that assumption must be false.
✦ √5 is irrational.
Where students slip. Skipping the phrase 'where a and b have no common factor' in Step 1. Without it there is no contradiction at the end, and the proof earns almost nothing.
Another way. The same six steps prove √2, √3 or √p irrational for any prime p — only the number changes. The step that needs p to be prime is Step 3.
