Finding Exact Square and Cube Roots by Prime Factorisation

Good to see you again. In the previous lesson, prime factorisation helped us compare the “ingredients” of different integers to find HCFs and LCMs. We now use the same factorisations in a different way: to reverse repeated multiplication and find exact square roots and exact cube roots.

By the end of this lesson, you should be able to factor a perfect square or perfect cube into primes, group its factors correctly, and explain why the grouping gives the root rather than merely following a rule. This is also a useful first connection between prime factors and indices, which will become more formal in the next module.

---

Roots as reversed powers

A square root reverses squaring. For example,

$$15^2=225,$$

so

$$\sqrt{225}=15.$$

The radical symbol x​ means the principal square root, which is the non-negative one. Although both $15$ and $-15$ satisfy

$$x^2=225,$$

the notation

$$\sqrt{225}$$

specifically means $15$, not $\pm 15$.

A cube root reverses cubing:

$$6^3=216,$$

so

$$\sqrt[3]{216}=6.$$

The prime-factorisation method works because a square consists of two identical copies of a number, while a cube consists of three identical copies.

For instance,

$$72^2=(2^3\times 3^2{)}^2$$

contains two matching copies of $2^3\times 3^2$. Likewise,

$$63^3=(3^2\times 7{)}^3$$

contains three matching copies of $3^2\times 7$.

The task is therefore to uncover those equal copies from the prime factorisation.

---

Exact square roots: make pairs

To find an exact square root by prime factorisation:

1. Write the number as a product of primes.
2. Expand index notation if necessary, so repeated factors are visible.
3. Group identical prime factors into pairs.
4. Take one factor from each pair and multiply the selected factors.
5. Verify the answer by squaring it.

Consider

$$\sqrt{5184}.$$

First prime-factorise:

$$5184=2^6\times 3^4.$$

The exponent $6$ means six copies of $2$, and the exponent $4$ means four copies of $3$. Since $6$ and $4$ are even, every prime factor can be paired:

$$5184=(2\times 2)(2\times 2)(2\times 2)(3\times 3)(3\times 3).$$

Each pair contributes one factor outside the square root:

$$\sqrt{5184}=2\times 2\times 2\times 3\times 3.$$

Therefore,

$$\sqrt{5184}=2^3\times 3^2=8\times 9=72.$$

A direct check completes the argument:

$$72^2=5184.$$

The same reasoning can be written compactly using indices:

$$\begin{array}{rl}\sqrt{5184}& =\sqrt{2^6\times 3^4}\\ & =2^3\times 3^2\\ & =72.\end{array}$$

The exponent of each prime has been divided by $2$ because square roots undo a power of $2$.

The exponent test for a perfect square

A positive integer is a perfect square exactly when every exponent in its prime factorisation is even.

For example,

$$324=2^2\times 3^4.$$

Both exponents are even, so $324$ is a perfect square:

$$\sqrt{324}=2^1\times 3^2=18.$$

By contrast,

$$72=2^3\times 3^2.$$

There are three factors of $2$, so one $2$ would be left unpaired. Thus $72$ is not a perfect square, and it has no exact integer square root.

This does not mean that $\sqrt{72}$ does not exist. It exists as a real number, but it is not an integer. At this stage, the important diagnosis is simply: incomplete pairs mean “not an exact integer square root.”

---

Exact cube roots: make triplets

For cube roots, the method is almost identical, but the group size changes.

A cube has three identical copies of its root. Therefore, when finding a cube root, group identical prime factors into triplets, not pairs.

Consider

$$\sqrt[3]{216}.$$

Factorise:

$$216=2^3\times 3^3.$$

Written without indices, this is

$$216=(2\times 2\times 2)(3\times 3\times 3).$$

There is one triplet of $2$s and one triplet of $3$s. Take one factor from each triplet:

$$\sqrt[3]{216}=2\times 3=6.$$

Check:

$$6^3=6\times 6\times 6=216.$$

Now consider a larger example:

$$\sqrt[3]{250047}.$$

Its prime factorisation is

$$250047=3^6\times 7^3.$$

The six $3$s form two triplets, and the three $7$s form one triplet. Therefore,

$$\begin{array}{rl}\sqrt[3]{250047}& =\sqrt[3]{3^6\times 7^3}\\ & =3^2\times 7\\ & =9\times 7\\ & =63.\end{array}$$

Verification:

$$63^3=250047.$$

The exponent test for a perfect cube

A positive integer is a perfect cube exactly when every exponent in its prime factorisation is divisible by $3$.

For example,

$$1000=2^3\times 5^3,$$

so

$$\sqrt[3]{1000}=2\times 5=10.$$

But

$$108=2^2\times 3^3.$$

The exponent of $3$ is suitable for a triplet, but there are only two factors of $2$. One factor would be missing from a complete triplet. Therefore $108$ is not a perfect cube and has no exact integer cube root.

---

Why the grouping method must work

Prime factorisation is unique: apart from order, every positive integer has exactly one set of prime factors. That fact allows prime exponents to tell us whether a number is a square or cube.

Suppose

$$N=2^a\times 3^b\times 5^c\times \cdots .$$

If $N$ is the square of an integer, every prime factor in the root appears twice in the square. Thus the exponents must have the form

$$a=2r,b=2s,c=2t,$$

for whole numbers $r$, $s$, and $t$. Therefore each exponent must be even, and

$$\sqrt{N}=2^r\times 3^s\times 5^t\times \cdots .$$

Similarly, if $N$ is a cube, every prime in the root appears three times in the cube. Each exponent must be a multiple of $3$:

$$a=3r,b=3s,c=3t.$$

Then

$$\sqrt[3]{N}=2^r\times 3^s\times 5^t\times \cdots .$$

So the grouping rule is not an arbitrary procedure:

Root required	Required prime-factor groups	Exponent condition	What happens to exponents
Square root	Pairs	Every exponent is even	Divide each exponent by $2$
Cube root	Triplets	Every exponent is divisible by $3$	Divide each exponent by $3$

For exact roots, this table gives a fast diagnostic. You can inspect the exponents before multiplying anything.

---

A reliable written routine and error checks

For pen-and-paper work, use a layout that makes errors visible:

1. Write the root sign and original number.
2. Prime-factorise completely.
3. Write the factorisation using indices.
4. Test whether each exponent satisfies the required condition.
5. Divide the exponents by $2$ for a square root or by $3$ for a cube root.
6. Multiply the remaining factors.
7. Check by raising your result to the relevant power.

For example,

$$\sqrt{3600}.$$ $$3600=2^4\times 3^2\times 5^2.$$

All exponents are even:

$$\sqrt{3600}=2^2\times 3\times 5=60.$$

The check is immediate:

$$60^2=3600.$$

Common mistakes are worth recording precisely in your error log:

Mistake	Why it fails	Correction
Stopping factorisation at a composite number	The grouping may hide further prime factors.	Continue until every factor is prime.
Using pairs for a cube root	A cube contains three identical copies of its root.	Use triplets for cube roots.
Taking every factor from a group	A group represents repeated copies of the same factor.	Take one copy per pair or triplet.
Ignoring an unpaired factor	The input is then not a perfect square or cube.	State that there is no exact integer root.
Writing $\sqrt{225}=\pm 15$	The radical symbol denotes the principal non-negative root.	Write $\sqrt{225}=15$; use $\pm 15$ only when solving $x^2=225$.

A useful final check is conceptual rather than procedural: if you found $\sqrt{N}=m$, then $m^2$ must reproduce $N$. If you found $\sqrt[3]{N}=m$, then $m^3$ must reproduce $N$. This catches both arithmetic slips and incorrect grouping.

---

Key takeaways

Prime factorisation reveals the repeated structure inside perfect squares and perfect cubes.

• For an exact square root, factorise and make pairs of identical primes.
• For an exact cube root, factorise and make triplets of identical primes.
• A number is a perfect square when every prime exponent is even.
• A number is a perfect cube when every prime exponent is divisible by $3$.
• Finding a square root halves each prime exponent; finding a cube root divides each prime exponent by $3$.
• Verify every result by squaring or cubing it.

You have now completed the module on the real number system and prime-factor tools. Next, the course begins indices formally: the laws that explain how powers behave in numerical and algebraic expressions.