A Student’s Step-by-Step Guide
Your question is asking you to prove √5 cannot be expressed as a fraction. That means you do not assume it is irrational from the start — you assume the opposite, then show that assumption breaks down. This guide walks you through that process, explains the logic behind each step, and flags where students usually go wrong.
🧮 Struggling with maths proofs or assignments? Our subject specialists can help.
Get Maths Help →What “Irrational” Actually Means — Before You Write a Single Line
A number is rational if you can write it as p/q — a fraction where p and q are integers and q ≠ 0. A number is irrational if no such fraction exists. √5 ≈ 2.2360679… — it goes on forever without repeating, so it cannot be written as a fraction. Your job is to prove that mathematically, not just observe it on a calculator.
This matters because your question says “prove it.” That is a specific instruction. You cannot just say “it looks like a non-terminating decimal” or “my calculator shows no pattern.” Those are observations. A proof requires a logical argument that is airtight — one where the conclusion follows necessarily from the assumptions.
The good news is there is one standard method for this kind of proof, and once you understand it, you can apply it to √2, √3, √5, √7, or any prime square root. It is called proof by contradiction.
The Proof Method: Why You Start by Assuming the Opposite
Proof by contradiction works like this: assume the thing you want to disprove is true. Then follow the logic wherever it leads. If it leads you to a statement that is clearly impossible — a contradiction — then your original assumption must have been wrong. So the opposite must be true.
Think of it like this. Suppose someone claims they never leave the house, but you find their jacket at a friend’s place across town. That is a contradiction. Their claim cannot be true. Proof by contradiction in mathematics works exactly the same way — you find the equivalent of that jacket.
What Your Proof Needs to Do
Assume √5 is rational. Write it as a fraction in its simplest form. Do the algebra. Show that the algebra forces p and q to share a common factor — which contradicts them being in simplest form. That contradiction proves √5 cannot be rational.
The key concept you need before starting is lowest terms. If you write a fraction as p/q, you assume p and q share no common factors. That just means the fraction is fully reduced — like 3/4, not 6/8. This assumption is what the contradiction will attack.
Step-by-Step: Proving √5 Is Irrational
Proof That √5 Is Irrational — Proof by Contradiction
Follow each step in order. Each one builds directly on the last.
Make your assumption
Assume √5 is rational. That means it can be written as a fraction of two integers.
Assume √5 = p/q, where p, q ∈ ℤ and q ≠ 0And critically — assume p and q have no common factors. The fraction is in its lowest terms. This is the assumption your contradiction will destroy.
Square both sides
Get rid of the square root. Square both sides of the equation.
√5 = p/q ⟹ 5 = p²/q² (squaring both sides) ⟹ p² = 5q² (multiply both sides by q²)This tells you that p² is divisible by 5. Write that down — it is the key fact you use next.
Show that p must be divisible by 5
Here is the logical jump students often miss. If p² is divisible by 5, then p itself must be divisible by 5. Why? Because 5 is prime.
p² = 5q² ⟹ 5 | p² ⟹ 5 | pIf a prime number divides a square, it must divide the original number. So p = 5k for some integer k.
Let p = 5k, where k is an integerSubstitute back in to get q
Put p = 5k back into the equation p² = 5q².
(5k)² = 5q² 25k² = 5q² q² = 5k²Now you have q² divisible by 5. By exactly the same argument as Step 3 — because 5 is prime — q must also be divisible by 5.
5 | q² ⟹ 5 | qState the contradiction — and conclude
You have now shown that 5 divides both p and 5 divides q. That means p and q share a common factor of 5.
5 | p AND 5 | q ⟹ p and q have a common factor of 5But in Step 1 you assumed p and q have no common factors. That is a direct contradiction. The assumption that √5 is rational has led to an impossible situation. Therefore:
⟹ √5 is irrational ∎Step 1: √5 = p/q ⟹ 5 = p²/q² ⟹ p² = 5q²
Step 2: 5 | p² ⟹ 5 | p ⟹ p = 5k
Step 3: (5k)² = 5q² ⟹ 25k² = 5q² ⟹ q² = 5k²
Step 4: 5 | q² ⟹ 5 | q
Contradiction: gcd(p,q) ≥ 5, but we assumed gcd(p,q) = 1
∴ √5 is irrational ∎
Why the Logic Works — The Part Students Usually Skip Over
There is one step in the proof that trips people up: the jump from “5 divides p²” to “5 divides p.” It feels like it should be obvious, but it is not — and your examiner will want to see that you understand it.
The reason it works is that 5 is a prime number. There is a theorem in number theory — Euclid’s Lemma — that says: if a prime p divides a product ab, then p divides a or p divides b (or both). When the product is p² = p × p, that means the prime must divide p itself.
Why Primes Matter Here
This proof only works because 5 is prime. If you tried this with, say, √4, it would not work — because √4 = 2, which is rational. The proof for prime square roots relies specifically on the indivisibility property of primes. This is why √2, √3, √5, √7, √11 are all irrational, but √4, √9, √16 are not. The external reference from the NRICH Mathematics project (University of Cambridge) confirms this approach as the standard method taught at school and university level.
The proof does not find what √5 equals. It proves what √5 cannot be. That is the whole point of a proof by contradiction — you do not build the answer, you demolish the alternative.
Common Mistakes in This Proof — and How to Fix Them
❌ Forgetting to say p/q is in lowest terms
If you do not state at the start that gcd(p, q) = 1, the contradiction has nothing to contradict. That single assumption is what the whole proof attacks. Without it, you have no proof — just some algebra.
❌ Skipping the “p must be divisible by 5” step
Going straight from “p² is divisible by 5” to “q is divisible by 5” is a logic gap. You must go through p first. Examiners will penalise a skipped step here because it is the key move in the argument.
❌ Saying “it is obvious” without justification
In a proof, nothing is obvious. When you write “5 | p² implies 5 | p,” you should say it follows because 5 is prime (Euclid’s Lemma). One sentence is enough — but that sentence needs to be there.
❌ Not stating the contradiction explicitly
Do not just stop the algebra and assume the reader understands you are done. Write the words: “This contradicts our assumption that p and q have no common factors. Therefore √5 is irrational.” Say it plainly.
A Common Misreading of the Question
Your note says “first step is to convert to rational number to find the answer.” That is the right instinct — but be careful about the framing. You are not converting √5 to a rational number. You are assuming it could be rational, then proving that assumption is impossible. The word “assume” is doing heavy lifting here. Write it as an assumption, not as a fact.
Comparing Proofs: √2, √3, and √5 Side by Side
The structure of this proof is identical for any prime square root. The only thing that changes is the number. This table shows you exactly where the substitution happens so you can adapt the proof if your exam asks about a different square root.
| Proof For | Assume | Key Equation After Squaring | What Changes | Conclusion |
|---|---|---|---|---|
| √2 | √2 = p/q, gcd(p,q)=1 | p² = 2q² | 2 divides p and q (use 2, not 5) | √2 is irrational |
| √3 | √3 = p/q, gcd(p,q)=1 | p² = 3q² | 3 divides p and q | √3 is irrational |
| √5 | √5 = p/q, gcd(p,q)=1 | p² = 5q² | 5 divides p and q | √5 is irrational |
| √7 | √7 = p/q, gcd(p,q)=1 | p² = 7q² | 7 divides p and q | √7 is irrational |
| √4 | √4 = p/q — but √4 = 2 exactly | — | 4 is not prime — proof does not apply | √4 = 2 is rational |
When the Proof Does NOT Work
Notice √4 in the table. If you apply this proof method to √4, you hit a wall early — because √4 = 2, which is already rational. The proof relies on the number inside the root being a prime. For composite numbers, the argument breaks down. So if your exam ever asks you to prove √6 or √10 is irrational, you need a slightly different approach (factoring the number into primes and arguing about each prime separately).
How to Write This Proof in an Exam — Structure That Gets Full Marks
Knowing the proof is one thing. Writing it clearly under time pressure is another. Here is the structure to follow, with the exact phrases that signal to an examiner you know what you are doing.
✅ Phrases That Signal You Know the Logic
- “Assume, for contradiction, that √5 is rational.”
- “Let √5 = p/q where gcd(p, q) = 1.”
- “Since 5 is prime and 5 | p², it follows that 5 | p.”
- “This contradicts our assumption that gcd(p, q) = 1.”
- “Therefore our assumption is false, and √5 is irrational. ∎”
📋 Marks Checklist for This Proof
- State the assumption and lowest-terms condition
- Square both sides correctly
- Show 5 divides p (with reason)
- Substitute p = 5k and simplify
- Show 5 divides q (with reason)
- State the contradiction explicitly
- Conclude that √5 is irrational
How Long Should the Proof Be?
For a GCSE or A-level question, half a page is about right. For an undergraduate assignment where you need to cite Euclid’s Lemma formally, add one more sentence explaining why primeness matters. Do not pad it — a tight, clear proof is always better than a long, waffling one. Every sentence should do work.
FAQs: Proving √5 Is Irrational
The Short Version — In Case You Need It Fast
Your question is asking you to prove √5 is irrational. The method is proof by contradiction. You do not start by knowing it is irrational — you start by assuming it is rational, write it as p/q in lowest terms, square both sides, and then show that both p and q end up divisible by 5. That breaks the “lowest terms” condition you started with. Contradiction. Proof complete.
The logic is clean and the steps are short. What loses marks is skipping the reasoning — especially the step from “5 divides p²” to “5 divides p,” and not explicitly calling out the contradiction at the end. Say it plainly. State the assumption, follow the algebra, name the contradiction, write the conclusion.
If you need more help with maths proofs, number theory, or any other maths assignment, our maths specialists are available. We also cover statistics, calculus, and physics and geometry across all academic levels.