Square numbers and their properties
Multiply a whole number by itself and you get a square number — — and these numbers are far from random. Their last digits repeat in a fixed set, their prime factorisations always pair up neatly, and the gap between one square and the next grows by exactly two each time. Spotting these patterns lets you rule a number in or out as a perfect square almost by inspection, long before you multiply anything out. This section builds the toolkit properly: the prime-factorisation test that decides squareness for certain, the unit-digit and zero-count shortcuts that rule numbers out fast, and the beautiful fact that squares are just stacked-up odd numbers. You will also see why consecutive squares differ by an odd number, and how that turns into a mental-maths shortcut for the next square without multiplying anything.
A whole number is a perfect square exactly when every prime in its factorisation appears an even number of times, and the squares themselves grow as by adding successive odd numbers
The core idea
A perfect square (or square number) has the form for a whole number . The list starts and every entry in it obeys the same set of rules below.
Prime-factorisation test. Write the number as a product of primes. It is a perfect square precisely when every prime's exponent is even — each prime can be split into identical pairs. For , both exponents are even, so is a square, and pairing one factor from each pair gives its square root: , so .
Unit-digit filter. A perfect square can only end in or ; it can never end in or . This test only rejects numbers — it never confirms one, since plenty of non-squares also end in an allowed digit.
Zero-count filter. Every zero at the end of a number comes from a hidden factor of . In a perfect square, all prime factors pair up, so the zeros must pair up too — a perfect square always ends in an even number of zeros. A number ending in an odd number of zeros, like , is automatically ruled out.
Sum-of-odd-numbers pattern. Adding up the first odd numbers always gives a perfect square:
where: is how many odd numbers you add, and is the -th odd number itself. For : .
Consecutive-square gap. Two squares that sit next to each other in the list differ by an odd number:
where: is the smaller of the two whole numbers being squared, and is the gap between and . For : . The picture behind the odd-number pattern is a growing square of dots. A square is a single dot. To turn it into a square you wrap an L-shaped border, called a gnomon, of new dots around it. Wrapping the next gnomon of dots around the square gives a square, and so on — each gnomon is exactly dots bigger than the last, which is why the running total of gnomons always lands on a perfect square.
Why it works
The gnomon picture can be turned into a short chain of algebra that proves for every whole number , not just the small cases you can draw, and it is worth walking through once carefully because the same telescoping idea reappears throughout the chapter whenever a pattern needs a real proof rather than just a few checked examples.
Step 1. Look at what one gnomon contributes. Going from an square of dots to an square of dots means adding one new column of dots and one new row of dots, but the corner dot is shared between them, so the gnomon has dots — exactly the -th odd number.
Step 2. Write the total after gnomons as a sum: . This is precisely the sum-of-odd-numbers pattern, so proving proves the pattern.
Step 3. Use the gnomon meaning directly. Each gnomon takes an square (with dots) and grows it to a square (with dots) by adding exactly dots. So for every from to (taking as the starting point with no dots).
Step 4. Add these differences for . The left side telescopes — each square appears once as an addition and once as a subtraction, cancelling all the middle terms — leaving . The right side is exactly . So , confirmed for every , not just the ones you can draw as dots.
Worked example
Check whether is a perfect square using prime factorisation, find its square root, and then verify the result using the consecutive-square gap formula.
Step 1. Unit-digit check: ends in , an allowed digit, so it might be a square — this only tells us it is not automatically ruled out.
Step 2. Prime factorise by repeated division: , , , . So — every exponent is even, confirming is a perfect square.
Step 3. Find the square root by pairing: take one factor from each pair, , so . Check: .
Step 4. Verify using the gap formula with : the next square should be . Direct multiplication confirms , so the shortcut and the gap formula agree.
, and the next perfect square after it is .
Common traps
- Treating the unit-digit test as proof of a square — it only rejects numbers; ends in an allowed digit but is not a perfect square.
- Miscounting trailing zeros — has three zeros (odd), so it cannot be a perfect square, even though it looks "round."
- Forgetting that one odd exponent anywhere in the factorisation, like the in , breaks the perfect-square condition even if every other prime pairs up.
- Applying the gap formula across a gap of more than one — it does not give directly; that difference needs its own calculation.
Ask the tutor: Ask the AI tutor to give you a handful of numbers and race the unit-digit, zero-count and factorisation tests against each other to see which spots a non-square fastest.
Why does a perfect square never end in 2, 3, 7 or 8?
Look at what happens when you square each possible last digit of a number, through . The last digit of the square depends only on the last digit of the original number, and working through all ten cases shows the results only ever land on or — for example, numbers ending in or always square to something ending in , and numbers ending in or always square to something ending in . No last digit ever produces a square ending in or , so those endings are permanently excluded.
If a number passes the unit-digit and zero-count tests, is it definitely a perfect square?
No — those two tests can only rule numbers out, never confirm one in. A number like ends in (allowed) and has no trailing zero problem, yet it is not a perfect square, since and straddle it with nothing in between. The only test that actually confirms squareness is the prime-factorisation check: every prime's exponent must be even. Use the quick filters first to eliminate obvious non-squares, then fall back on factorisation for anything that survives.
Is there a faster way to find the next square without multiplying it out fully?
Yes — the consecutive-square gap formula does exactly this. Once you know , the next square is just , so you never need to multiply by itself from scratch. For instance, knowing , you instantly get by adding . This is genuinely faster once gets large, and it also explains why the gaps between consecutive squares keep growing — each gap is two more than the last, matching the odd-number pattern exactly.