The root sign looks dangerous. Your brain has filed \sqrt{\phantom{x}} under "irrational territory" because the famous examples — \sqrt{2}, \sqrt{3}, \sqrt{5} — all live there. So when you meet \sqrt{4} in a question, you hesitate. Is it irrational? Should you leave it as \sqrt{4}, or simplify?
Simplify. \sqrt{4} = 2. And 2 is a natural number, which is also an integer, which is also a rational number. The root sign is not doing anything interesting here — it is just asking "what number squared gives 4?" and the answer is a clean integer.
The confusion is worth sorting out carefully, because the real rule for when a root is irrational is simple, and you will reach for it again and again in exams.
What the root sign actually does
\sqrt{n} means "the non-negative number x such that x^2 = n." Nothing else. It does not contain any special "irrationality" instruction. Whether the answer is rational or irrational depends entirely on whether that x turns out to be a ratio of integers.
- \sqrt{4} = 2 because 2^2 = 4. Rational.
- \sqrt{9} = 3 because 3^2 = 9. Rational.
- \sqrt{\tfrac{25}{16}} = \tfrac{5}{4} because (\tfrac{5}{4})^2 = \tfrac{25}{16}. Rational.
- \sqrt{2} \approx 1.41421\dots with no exact fraction. Irrational.
- \sqrt{3} \approx 1.73205\dots with no exact fraction. Irrational.
The root sign is neutral. It is the number underneath that decides.
The clean rule for square roots of integers
For a positive integer n:
A perfect square is an integer of the form k^2 for some integer k: 1, 4, 9, 16, 25, 36, 49, 64, 81, 100, \dots
- n = 4? Yes, 4 = 2^2. \sqrt{4} is rational (equal to 2).
- n = 25? Yes, 25 = 5^2. \sqrt{25} is rational (equal to 5).
- n = 2? No, no integer squared gives 2. \sqrt{2} is irrational.
- n = 50? No, 7^2 = 49 and 8^2 = 64, so 50 is stranded between two perfect squares. \sqrt{50} is irrational (and simplifies to 5\sqrt{2}).
Why does the rule work? If \sqrt{n} were a rational that is not an integer, then n would be the square of a non-integer rational, which is not an integer — contradiction, since n is assumed to be an integer. So for integer n, \sqrt{n} is either an integer (when n is a perfect square) or irrational (when it is not).
Why "rational-but-not-integer squared isn't an integer": write the rational as p/q in lowest terms with q > 1. Then (p/q)^2 = p^2/q^2, and \gcd(p, q) = 1 forces \gcd(p^2, q^2) = 1, so q^2 > 1 does not divide p^2. Hence p^2/q^2 is not an integer.
The decision flow you actually use
When a question hands you \sqrt{n} for some integer n, run this check:
Simplifying irrational roots
When n is not a perfect square, \sqrt{n} is irrational. But often n has a perfect-square factor, and pulling it out gives a cleaner form.
Why: squaring k\sqrt{n} gives k^2 \cdot n, which is what was under the root. This is the rule \sqrt{ab} = \sqrt{a}\sqrt{b} applied to a = n, b = k^2.
Examples:
- \sqrt{50} = \sqrt{25 \cdot 2} = 5\sqrt{2}.
- \sqrt{18} = \sqrt{9 \cdot 2} = 3\sqrt{2}.
- \sqrt{72} = \sqrt{36 \cdot 2} = 6\sqrt{2}.
- \sqrt{45} = \sqrt{9 \cdot 5} = 3\sqrt{5}.
- \sqrt{300} = \sqrt{100 \cdot 3} = 10\sqrt{3}.
The answer is still irrational — \sqrt{2}, \sqrt{3}, \sqrt{5} are all irrational — but now it is written in its simplest surd form. Exams usually want this form, not the unsimplified one.
The same rule extends to higher roots
Replace "perfect square" with "perfect k-th power":
- \sqrt[3]{8} = 2. Rational, because 8 = 2^3.
- \sqrt[3]{27} = 3. Rational, because 27 = 3^3.
- \sqrt[3]{10}. Irrational, because 10 is not a perfect cube.
- \sqrt[4]{16} = 2. Rational, because 16 = 2^4.
- \sqrt[5]{32} = 2. Rational, because 32 = 2^5.
The root sign never makes the number irrational by itself. What matters is whether the number underneath is the k-th power of an integer (or, more generally, the k-th power of some rational).
A live check
Type different values of n into this checker. The readout tells you whether \sqrt{n} is rational (and what integer it equals) or irrational (and what the simplified surd is).
Fixing the misread
"Is \sqrt{4} irrational because of the root sign?" No. \sqrt{4} is rational because 4 = 2^2 is a perfect square, and \sqrt{\phantom{x}} just unwinds the squaring. The root sign is a neutral instruction: "find the non-negative square." Whether the answer is rational depends on what is underneath.
The quick test: look at n, ignore the \sqrt{\phantom{x}}, and ask whether n is in the list 1, 4, 9, 16, 25, 36, \dots If yes, rational. If no, irrational.
Classify each of these
- \sqrt{64}. Is 64 a perfect square? Yes: 64 = 8^2. So \sqrt{64} = 8 — rational.
- \sqrt{63}. Is 63 a perfect square? No (7^2 = 49, 8^2 = 64). Irrational. Simplify: 63 = 9 \cdot 7, so \sqrt{63} = 3\sqrt{7}.
- \sqrt{1}. Is 1 a perfect square? Yes: 1 = 1^2. So \sqrt{1} = 1 — rational.
- \sqrt{0}. Is 0 a perfect square? Yes: 0 = 0^2. So \sqrt{0} = 0 — rational.
- \sqrt{0.25}. 0.25 = 1/4 = (1/2)^2. So \sqrt{0.25} = 1/2 — rational.
- \sqrt{0.1}. 0.1 = 1/10. Is 10 a perfect square? No. Irrational.
The rule generalises: a root is rational exactly when what is under the root is a perfect power of a rational. For the integers you meet in school, that means perfect squares for \sqrt{\phantom{x}}, perfect cubes for \sqrt[3]{\phantom{x}}, and so on. The symbol never overrules the number.
This satellite sits inside Number Systems.