What Does It Mean That Root 6 Is Irrational?
Saying root 6 is irrational means $\sqrt{6}$ cannot be written as a fraction $\frac{p}{q}$ of two whole numbers. An irrational number is exactly that: a real number no ratio of integers can equal. Its decimal runs on forever without ever falling into a repeating block.
A rational number is the reverse. It is anything you can write as one integer over another, like $\frac{3}{4}$, $\frac{-7}{2}$, or $5$ (which is $\frac{5}{1}$). Every rational number has a decimal that either stops or eventually repeats. Root 6 does neither.
Here is the number itself, to a handful of places:
$$\sqrt{6} = 2.449489742783178\ldots$$
The three dots carry real weight. They are not shorthand for a hidden repeat. They mean the digits keep coming with no pattern, and no finite stretch of them can prove that fact. Ruling out every fraction at once is the job a proof does, and that is what the rest of this page builds.
This result lives in the real-numbers chapter almost everywhere, from NCERT Class 9 and 10 in India to the Common Core standard 8.NS.1 in the United States, where students first meet numbers that provably escape every fraction.
How Do You Prove That Root 6 Is Irrational?
The standard way to prove that root 6 is irrational is proof by contradiction: assume $\sqrt{6}$ is rational, follow the logic, and watch it break. When an assumption forces an impossible result, the assumption was false.
Assume $\sqrt{6}$ is rational. Then we can write it as a fraction in lowest terms:
$$\sqrt{6} = \frac{p}{q}, \qquad \text{where } p \text{ and } q \text{ are integers with no common factor.}$$
Any fraction can be reduced until its top and bottom share no factor, so if $\sqrt{6}$ were rational, this reduced form would exist. Square both sides:
$$6 = \frac{p^{2}}{q^{2}}$$
Multiply both sides by $q^{2}$ to clear the denominator:
$$p^{2} = 6q^{2}$$
The right-hand side is 6 times a whole number, so $p^{2}$ is a multiple of 6. Because $6 = 2 \times 3$, that means $p^{2}$ is a multiple of 2 and a multiple of 3. Now apply the fact the whole proof leans on: if a prime number divides a perfect square, it must divide the number being squared. So 2 divides $p$, and 3 divides $p$.
A number divisible by both 2 and 3 is divisible by their product, since 2 and 3 share no factor. So 6 divides $p$, and we can write $p = 6k$ for some integer $k$.
Substitute $p = 6k$ back into $p^{2} = 6q^{2}$:
$$(6k)^{2} = 6q^{2} \quad\Longrightarrow\quad 36k^{2} = 6q^{2} \quad\Longrightarrow\quad q^{2} = 6k^{2}$$
The line $q^{2} = 6k^{2}$ says $q^{2}$ is a multiple of 6, so by the same reasoning 6 divides $q$ as well.
That is the contradiction. We assumed $p$ and $q$ share no common factor, yet both turn out divisible by 6. A fraction cannot be in lowest terms while its top and bottom share the factor 6. The assumption that $\sqrt{6} = \frac{p}{q}$ has to be false.
Therefore $\sqrt{6}$ is irrational. No fraction of whole numbers can equal it.
Why Does The Root 6 Proof Need Both 2 And 3?
The root 6 proof needs both primes because 6 is not prime, and the tidy "even" step that works for root 2 stops short here. For root 2 you reach $p^{2} = 2q^{2}$, note $p^{2}$ is even, and conclude $p$ is even, all in one move, because 2 is prime. Root 6 gives you $p^{2} = 6q^{2}$, and "a multiple of 6" is not a single parity fact you can read off in one step.
The rescue is to split 6 into its prime factors, $2 \times 3$, and treat them one at a time:
2 divides $p^{2}$, so 2 divides $p$. This is the same even-number step used for root 2.
3 divides $p^{2}$, so 3 divides $p$. The identical prime-lemma reasoning, run again for the prime 3.
Combine them. Since 2 and 3 have no common factor, a number divisible by both is divisible by $6$, so $6 \mid p$.
Here is the trap worth pausing on, and it is one I had to think through carefully the first time. The rule "$n$ divides $p^{2}$ so $n$ divides $p$" is not true for every $n$. Take $n = 4$: then $4 \mid p^{2}$ does not force $4 \mid p$, because $p = 2$ gives $p^{2} = 4$, and 4 divides 4 while 4 does not divide 2. The step is safe for 6 only because 6 is squarefree, a product of distinct primes with none repeated, which is exactly why the proof routes through 2 and 3.
Is There Another Way To Prove That Root 6 Is Irrational?
Yes. A second proof uses the Fundamental Theorem of Arithmetic, the rule that every whole number greater than 1 factors into primes in exactly one way. It is short, and it comes with a bonus: it explains why root 2, root 3, root 5, and a whole family of roots are irrational too.
Start again from $p^{2} = 6q^{2}$, and rewrite the 6 as $2 \times 3$:
$$p^{2} = 2 \cdot 3 \cdot q^{2}$$
Now count how many times the prime 2 appears on each side. Squaring any number doubles the count of each prime inside it, so in $p^{2}$ the number of 2s is even, and in $q^{2}$ the number of 2s is also even. On the right, the extra factor of 2 out front bumps that even count up by one, making it odd.
$p^2 = 2 \cdot 3 \cdot q^2$
$\underbrace{p^2}_{\text{even number of 2s}} = \underbrace{2 \cdot 3 \cdot q^2}_{\text{odd number of 2s}}$
Both sides are the same whole number, so by unique factorization they must contain the same number of 2s. Even cannot equal odd. Contradiction, and $\sqrt{6}$ is irrational. The prime 3 gives the same clash by itself.
Nothing here is special to 6. Any whole number that is not a perfect square has at least one prime with an odd exponent, and that lone odd exponent is what collides with the even count on the left. That single observation is the general result:
The square root of a positive integer is irrational unless that integer is a perfect square.
So the same page of reasoning settles prove that root 3 is irrational and prove that root 7 is irrational without starting over, and it rests entirely on how prime numbers build every integer.
Table: Two ways to prove that root 6 is irrational, side by side.
Method | Core idea | Where the contradiction lands | Generalizes? |
|---|---|---|---|
Contradiction by divisibility | $p$ and $q$ both turn out divisible by 6 | A reduced fraction cannot share the factor 6 | To any squarefree number |
Prime factorization | Count one prime on each side of $p^{2} = 6q^{2}$ | An even count cannot equal an odd count | To any non-square integer |
What Does The Decimal Of Root 6 Actually Show?
The decimal of root 6 is convincing evidence but not a proof. Run the long-division or square-root algorithm and you get:
$$\sqrt{6} = 2.449489742783178\ldots$$
It looks like it never repeats, and it genuinely never does. The trap is believing that seeing fifteen non-repeating digits proves the pattern holds forever. It does not. Plenty of ordinary fractions hide long repeating blocks, $\frac{1}{97}$ cycles with a period of 96 digits before it loops, so a run of "no repeat" you can write out by hand settles nothing.
A calculator only ever shows a finite piece of the decimal, and any finite decimal is itself a fraction. Of course it looks rational up close, because up close it is. The irrationality lives in the infinite tail you can never reach by computing, which is why the algebra matters: it rules out every fraction in one stroke, no digit-checking required.
Both pictures earn their keep. The decimal builds intuition, and the square root of 6 marks a real, locatable point on the number line, a shade under two and a half. Only the proof shows it is irrational.
Why Does It Matter That Root 6 Is Irrational?
Root 6 matters for the same reason root 2 did: it is another length that no ratio of whole numbers can measure. Two lengths are incommensurable when no common measuring stick, however fine, divides both a whole number of times. Once you accept that root 2 is such a length, root 6 joins a growing crowd, and the crowd turns out to be the majority.
Most square roots are irrational. The general result means the clean roots, $\sqrt{4} = 2$, $\sqrt{9} = 3$, $\sqrt{16} = 4$, are the rare exceptions. Between them sit $\sqrt{2}, \sqrt{3}, \sqrt{5}, \sqrt{6}, \sqrt{7}, \sqrt{8}, \sqrt{10}$, and endlessly on, every one of them irrational.
The number line is full of gaps the fractions miss. If only fractions existed, the diagonal of that one-by-one-by-two box would point to a spot with no number on it. Root 6 is one more proof that the rationals are riddled with holes.
A proof can reach where a calculator cannot. You cannot measure your way to this result or confirm it by computing digits. You reason your way to it, and that shift, from checking to proving, is the real lesson hiding inside a question about one square root.
The payoff is not the single fact about $\sqrt{6}$. It is the realisation that the real number line is denser and stranger than counting ever suggested, and that some truths open only to argument.
Who Discovered That Root 6 Is Irrational?
The irrationality of roots like root 6 was worked out by the ancient Greeks, and root 6 has an unusually specific origin: it appears by name in one of the oldest stories in mathematics. The trail begins with the Pythagoreans, who first found that some lengths cannot be written as ratios of whole numbers, and it runs straight through a teacher who proved case after case, root 6 among them.
Two more figures finished the story:
Theaetetus of Athens (about 417 to 369 BCE, Greece), the student in the dialogue, later turned Theodorus's case-by-case results into the general theorem: the square root of any non-square whole number is irrational.
Euclid (about 300 BCE, Alexandria) gathered the whole theory of irrational magnitudes into Book X of his Elements, the longest book in the work, giving these arguments the rigorous form still taught today.
Where Is The Irrationality Of Root 6 Used In The Real World?
Root 6 is not a curiosity locked in a proof. Its exact value, and the fact that value is irrational, turns up wherever right angles stack in three dimensions or surds need simplifying.
The diagonal of a box: the longest line across a rectangular box measuring 1 by 1 by 2 has length $\sqrt{1^{2} + 1^{2} + 2^{2}} = \sqrt{6}$. A real distance you can point to, and one that never resolves to an exact fraction of the edges.
Regular solids: the height of a regular tetrahedron with edge $a$ is $\frac{a\sqrt{6}}{3}$, and root 6 sets the spacing between opposite corners of a doubled cube. Designers and 3D modellers meet these exact factors constantly.
Simplifying surds: spotting that root 6 is irrational tells you at once that $\sqrt{24} = 2\sqrt{6}$ and $\sqrt{54} = 3\sqrt{6}$ will never collapse into a whole number or a neat fraction, so you leave them in surd form.
Computing: a machine cannot store root 6 exactly, so it keeps a rounded stand-in. Square that stored value and you get something a hair off 6, which is why careful code compares within a tolerance instead of testing for exact equality.
One fact about one diagonal quietly governs box measurements, the shape of regular solids, and the way software handles roots. That reach across geometry, algebra, and computing is a good sign you are looking at something fundamental.
What Are The Most Common Mistakes When Proving Root 6 Is Irrational?
These three errors account for most lost marks on this proof. The middle one is unique to composite numbers like 6, and it is exactly where a student who memorised the root 2 proof tends to slip.
Forgetting to assume the fraction is in lowest terms.
Where it slips in:
The rusher writes $\sqrt{6} = \frac{p}{q}$ and starts squaring, without stating that the fraction is already reduced.
Don't do this:
Do not skip the "no common factor" condition. Without it, finding that 6 divides both $p$ and $q$ is no contradiction at all, since plenty of fractions share a factor before you reduce them.
The correct way:
State up front that $p$ and $q$ share no common factor. The entire proof works by violating that one assumption, so if you never make it, there is nothing to contradict.
Stopping at "2 divides $p$" instead of proving 6 divides $p$.
Where it slips in:
The memorizer copies the root 2 proof, shows $p$ is even, and jumps straight to "so $p$ and $q$ are even," treating that as the contradiction.
Don't do this:
Do not stop at the factor 2, and do not assert "6 divides $p^{2}$ so 6 divides $p$" as if it were obvious. Even alone only proves 2 divides $p$, and the direct leap to 6 needs a reason, because that shortcut is false for numbers like 4.
The correct way:
Handle 2 and 3 separately. Show 2 divides $p$ and 3 divides $p$, then combine: because 2 and 3 are coprime, their product 6 divides $p$. Only now is the "both divisible by 6" contradiction real.
Treating a long non-repeating decimal as the proof.
Where it slips in:
The second-guesser writes out $\sqrt{6} = 2.449489\ldots$, notes that the digits do not repeat, and calls that the proof.
Don't do this:
Do not offer a computed decimal as evidence of irrationality. Any decimal you can actually write down is finite, and every finite decimal is a fraction, so it can never demonstrate an infinite non-repeating tail.
The correct way:
Use the algebra. The contradiction proof rules out every fraction at once, which is something no amount of digit-computing can do.
Practice Problems On Proving Root 6 Is Irrational
Work each one before checking. Answers follow the problem.
In the proof we reached $p^{2} = 6q^{2}$. Explain in one sentence why this forces 6 to divide $p$.
(Answer: $p^{2}$ is a multiple of 6, so of 2 and of 3; since 2 and 3 are primes, each divides $p$, and being coprime their product 6 divides $p$.)Starting from $p = 6k$, fill the gap to show $q^{2} = 6k^{2}$.
(Answer: $(6k)^{2} = 6q^{2}$ gives $36k^{2} = 6q^{2}$, and dividing both sides by 6 gives $q^{2} = 6k^{2}$.)Use the prime-factor method to explain why $\sqrt{10}$ is irrational. (Answer: from $p^{2} = 10q^{2} = 2 \cdot 5 \cdot q^{2}$, the count of the prime 2 in $p^{2}$ is even but in $2 \cdot 5 \cdot q^{2}$ is odd; even cannot equal odd, contradiction.)
True or false: $2.449 = \sqrt{6}$.
(Answer: False. $2.449^{2} = 5.997601 \neq 6$, so $2.449$ is only a rational approximation.)A classmate argues, "root 6 equals root 2 times root 3, and both are irrational, so root 6 is irrational." Is the reasoning valid?
(Answer: No. A product of two irrationals can be rational, for example $\sqrt{2} \cdot \sqrt{2} = 2$, so that argument proves nothing on its own; the divisibility or prime-counting proof is what settles it.)Is $5 + \sqrt{6}$ rational or irrational? Justify.
(Answer: Irrational. If $5 + \sqrt{6}$ were a rational number $r$, then $\sqrt{6} = r - 5$ would be rational too, which we proved is false.)
Where Should You Go Next After Proving Root 6 Is Irrational?
This proof is a key that opens several doors, and each one leads somewhere worth going.
Prove that root 3 is irrational and root 7. Run the argument on a single prime and watch the "split into two primes" step vanish, the quickest way to see what root 6 added.
Irrational numbers and rational numbers. Step back to the two families the whole proof separates, and see exactly where the line between them falls.
Squares and square roots and prime numbers. Strengthen the divisibility machinery the proof rests on, then pick up square root tricks for the roots that do come out clean.
If your child is meeting proof for the first time, a live Bhanzu trainer teaches this argument the way it deserves, starting from why the contradiction works rather than which steps to memorize, in the Bhanzu algebra program.
Was this article helpful?
Your feedback helps us write better content