Every time you simplify a square root, you are asking the same question in disguise: which prime factors come in pairs? That is the whole game. A pair of identical primes under a square root is the same thing as a single factor out in front — because \sqrt{p \cdot p} = \sqrt{p^2} = p. Any prime left on its own, with no partner, has no such identity and stays trapped under the radical.
So "simplify \sqrt{72}" really means: break 72 into primes, match them into pairs, let the pairs walk out, and leave the loners inside. Nothing else is happening. No guessing, no factoring tricks, no memorising special cases. Once you see the pairing, the answer writes itself.
The widget below animates the jailbreak. Type any N from 1 to 999, press Jailbreak, and watch the pairs escape from the radical box as single factors while the singletons stay behind.
The widget
Blue tiles are loner primes (singletons). Red tiles are paired primes, which leave the box and multiply together out front. The readout at the bottom of the widget always shows the simplified form \sqrt{N} = a\sqrt{b} for your current N.
Try these
Before you trust the pattern, run the widget on a few values and work them out by hand alongside it.
- N = 72 = 2^3 \cdot 3^2. Pair up the primes: one pair of 2s, one pair of 3s, one leftover 2. The pairs escape as 2 \cdot 3 = 6. The singleton 2 stays. Answer: \sqrt{72} = 6\sqrt{2}.
- N = 50 = 2 \cdot 5^2. One pair of 5s, one lonely 2. Pair escapes as 5; singleton stays. Answer: \sqrt{50} = 5\sqrt{2}.
- N = 12 = 2^2 \cdot 3. One pair of 2s, one lonely 3. Pair escapes as 2; singleton stays. Answer: \sqrt{12} = 2\sqrt{3}.
- N = 45 = 3^2 \cdot 5. One pair of 3s, one lonely 5. Pair escapes as 3; singleton stays. Answer: \sqrt{45} = 3\sqrt{5}.
- N = 100 = 2^2 \cdot 5^2. Both pairs escape, nothing left inside. The pairs multiply to 2 \cdot 5 = 10. Answer: \sqrt{100} = 10. No radical remains, because every prime had a partner.
- N = 7. Already prime, no pairs. Answer: \sqrt{7}, unchanged. The radical sign stays because there is nothing to pair up.
- N = 200 = 2^3 \cdot 5^2. Pairs: one pair of 2s, one pair of 5s. Singletons: one leftover 2. Escape: 2 \cdot 5 = 10. Answer: \sqrt{200} = 10\sqrt{2}.
- N = 675 = 3^3 \cdot 5^2. Pairs: one pair of 3s, one pair of 5s. Singletons: one leftover 3. Escape: 3 \cdot 5 = 15. Answer: \sqrt{675} = 15\sqrt{3}.
Each answer came from the same three steps: factorise, pair up, escape. No special tricks per number.
The rule, stated cleanly
For any positive integer N, factorise it into primes so that N = p_1^{k_1} \cdot p_2^{k_2} \cdots p_r^{k_r}. For each prime p_i appearing k_i times:
- \lfloor k_i / 2 \rfloor copies of p_i escape the radical (the number of complete pairs).
- k_i \bmod 2 copies — that is, either 0 or 1 — stay trapped inside.
The simplified form is
which is a formal way of saying: multiply the escaped copies out front, and put the leftover loners under a new, smaller radical. The widget is just this rule, painted red and blue.
Why pairs escape
A pair of identical primes under a square root — p \cdot p — is literally p^2. And \sqrt{p^2} = p, by the definition of the square root. A squared quantity taken under a square root just cancels. So a pair under the radical is a single factor outside the radical. No more, no less.
A singleton p, on the other hand, has no p to multiply with. It cannot be rewritten as something squared, so no cancellation is available. It stays where it is. This is the whole asymmetry between "escapes" and "stays inside," and it is built into the exponent arithmetic, not a stylistic choice.
You can test this live on any of your examples. For \sqrt{72}, write 72 = 36 \cdot 2 where 36 = 6^2 is deliberately the product of all the pairs. Then \sqrt{72} = \sqrt{36} \cdot \sqrt{2} = 6\sqrt{2}, using the multiplicative property \sqrt{a \cdot b} = \sqrt{a} \cdot \sqrt{b}. The pairs always collect into a perfect square; that perfect square's root is what walks out. The widget highlights this by colouring the paired primes red and the singleton primes blue — the red tiles are what goes into the perfect-square bucket.
Generalisation to n-th roots
The same story plays out under a cube root, a fourth root, any root. For \sqrt[n]{N}, what escapes is not a pair but an n-tuplet. Three identical primes escape a cube root, because \sqrt[3]{p^3} = p. Four escape a fourth root, because \sqrt[4]{p^4} = p.
The general rule: for \sqrt[n]{N} and a prime p appearing k times in the factorisation of N, \lfloor k / n \rfloor copies escape, and k \bmod n copies stay inside. The square-root rule is just the n = 2 case.
Worked example: cube-root jailbreak
Simplify \sqrt[3]{54}.
Factorise: 54 = 2 \cdot 27 = 2 \cdot 3^3. Under a cube root, you need triplets to escape. The three 3s form exactly one triplet, which escapes as a single 3. The 2 is alone — not enough copies to form a triplet, so it stays inside.
Another: \sqrt[3]{200}. Factor: 200 = 2^3 \cdot 5^2. Under a cube root, the three 2s form a triplet and escape as 2. The two 5s are not enough for a triplet — they both stay inside.
Same rule, different n.
Variables inside radicals
When the stuff under the radical is a power of a variable, exponent parity plays the role of prime-factor pairing. Think of x^5 as five copies of x multiplied together: x \cdot x \cdot x \cdot x \cdot x. Under a square root, you pair them up. Two pairs escape as x^2; one loner stays.
With mixed variables, you apply the rule to each variable separately:
Six copies of x form three pairs, all of which escape — that is x^3. Three copies of y form one pair (which escapes as y) and one loner (which stays). Exactly the same rule as with numbers, because in the rational-exponent language, \sqrt{x^k} = x^{k/2}, and the integer part of k/2 is what escapes.
Closing
Simplifying radicals is not a collection of special tricks. It is one idea, applied over and over: break the thing under the radical into identical pieces (primes for numbers, variable copies for letters), pair them up, let the pairs escape, leave the loners. Square roots pair; cube roots triple; n-th roots n-tuple. The widget shows the pairs physically walking out of the radical box; the rule tells you how many escape without any animation at all.
Once you internalise this, \sqrt{675} and \sqrt{x^7 y^4} stop being problems you solve and become patterns you read. You look at 675, you see 3^3 \cdot 5^2, you see one loose 3, and you know the answer is 15 \sqrt{3} before you finish writing the question. That is the whole point of the visualisation — to turn a mechanical rule into something your eye can catch in a single glance.