Square numbers and their properties

Multiply a whole number by itself and you get a square number — 1,4,9,16,25,…1, 4, 9, 16, 25, \dots — 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.

The core insight

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 12,22,32,…1^2, 2^2, 3^2, \dots by adding successive odd numbers 1,3,5,7,…1, 3, 5, 7, \dots

The core idea

A perfect square (or square number) has the form n2=n×nn^2 = n \times n for a whole number nn. The list starts 1,4,9,16,25,36,49,64,81,100,…1, 4, 9, 16, 25, 36, 49, 64, 81, 100, \dots 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 196=22×72196 = 2^2 \times 7^2, both exponents are even, so 196196 is a square, and pairing one factor from each pair gives its square root: 2×7=142 \times 7 = 14, so 196=142196 = 14^2.

Unit-digit filter. A perfect square can only end in 0,1,4,5,6,0, 1, 4, 5, 6, or 99; it can never end in 2,3,7,2, 3, 7, or 88. 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 10=2×510 = 2 \times 5. 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 10001000, is automatically ruled out.

Sum-of-odd-numbers pattern. Adding up the first nn odd numbers always gives a perfect square:

1+3+5+⋯+(2n−1)=n21 + 3 + 5 + \dots + (2n-1) = n^2

where: nn is how many odd numbers you add, and (2n−1)(2n-1) is the nn-th odd number itself. For n=4n=4: 1+3+5+7=16=421+3+5+7 = 16 = 4^2.

Consecutive-square gap. Two squares that sit next to each other in the list differ by an odd number:

(n+1)2−n2=2n+1(n+1)^2 - n^2 = 2n+1

where: nn is the smaller of the two whole numbers being squared, and 2n+12n+1 is the gap between n2n^2 and (n+1)2(n+1)^2. For n=7n=7: 82−72=64−49=15=2(7)+18^2 - 7^2 = 64-49 = 15 = 2(7)+1. The picture behind the odd-number pattern is a growing square of dots. A 1×11\times1 square is a single dot. To turn it into a 2×22\times2 square you wrap an L-shaped border, called a gnomon, of 33 new dots around it. Wrapping the next gnomon of 55 dots around the 2×22\times2 square gives a 3×33\times3 square, and so on — each gnomon is exactly 22 dots bigger than the last, which is why the running total of gnomons 1,1+3,1+3+5,…1, 1+3, 1+3+5, \dots always lands on a perfect square.

Figure
A square of dots built up layer by layer where each added L shaped border has two more dots than the one before
Gnomons: 1 + 3 + 5 + 7 = 16 = 4 squared 1 dot — 1 squared plus 3 dots — 2 squared plus 5 dots — 3 squared plus 7 dots — 4 squared Each new border adds two more dots than the last, so the odd numbers build a perfect square

Why it works

The gnomon picture can be turned into a short chain of algebra that proves 1+3+5+⋯+(2n−1)=n21+3+5+\dots+(2n-1) = n^2 for every whole number nn, 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 (n−1)×(n−1)(n-1)\times(n-1) square of dots to an n×nn\times n square of dots means adding one new column of nn dots and one new row of nn dots, but the corner dot is shared between them, so the gnomon has n+n−1=2n−1n + n - 1 = 2n-1 dots — exactly the nn-th odd number.

Step 2. Write the total after nn gnomons as a sum: S=(2(1)−1)+(2(2)−1)+⋯+(2n−1)=1+3+5+⋯+(2n−1)S = (2(1)-1) + (2(2)-1) + \dots + (2n-1) = 1+3+5+\dots+(2n-1). This is precisely the sum-of-odd-numbers pattern, so proving S=n2S = n^2 proves the pattern.

Step 3. Use the gnomon meaning directly. Each gnomon takes an (k−1)×(k−1)(k-1)\times(k-1) square (with (k−1)2(k-1)^2 dots) and grows it to a k×kk\times k square (with k2k^2 dots) by adding exactly 2k−12k-1 dots. So k2−(k−1)2=2k−1k^2 - (k-1)^2 = 2k-1 for every kk from 11 to nn (taking 02=00^2=0 as the starting point with no dots).

Step 4. Add these differences for k=1,2,…,nk = 1, 2, \dots, n. The left side telescopes — each square appears once as an addition and once as a subtraction, cancelling all the middle terms — leaving n2−02=n2n^2 - 0^2 = n^2. The right side is exactly 1+3+5+⋯+(2n−1)1+3+5+\dots+(2n-1). So 1+3+5+⋯+(2n−1)=n21+3+5+\dots+(2n-1) = n^2, confirmed for every nn, not just the ones you can draw as dots.

Worked example

Check whether 14441444 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: 14441444 ends in 44, 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: 1444÷2=7221444 \div 2 = 722, 722÷2=361722 \div 2 = 361, 361÷19=19361 \div 19 = 19, 19÷19=119 \div 19 = 1. So 1444=22×1921444 = 2^2 \times 19^2 — every exponent is even, confirming 14441444 is a perfect square.

Step 3. Find the square root by pairing: take one factor from each pair, 2×19=382 \times 19 = 38, so 1444=3821444 = 38^2. Check: 38×38=144438 \times 38 = 1444.

Step 4. Verify using the gap formula with n=38n = 38: the next square should be 392=382+(2×38+1)=1444+77=152139^2 = 38^2 + (2 \times 38 + 1) = 1444 + 77 = 1521. Direct multiplication confirms 39×39=152139 \times 39 = 1521, so the shortcut and the gap formula agree.

1444=3821444 = 38^2, and the next perfect square after it is 1521=3921521 = 39^2.

Common traps

  • Treating the unit-digit test as proof of a square — it only rejects numbers; 12341234 ends in an allowed digit 44 but is not a perfect square.
  • Miscounting trailing zeros — 10001000 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 33 in 23×522^3 \times 5^2, breaks the perfect-square condition even if every other prime pairs up.
  • Applying the gap formula (n+1)2−n2=2n+1(n+1)^2-n^2=2n+1 across a gap of more than one — it does not give (n+2)2−n2(n+2)^2 - n^2 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, 00 through 99. 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 0,1,4,5,6,0, 1, 4, 5, 6, or 99 — for example, numbers ending in 22 or 88 always square to something ending in 44, and numbers ending in 33 or 77 always square to something ending in 99. No last digit ever produces a square ending in 2,3,7,2, 3, 7, or 88, 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 12341234 ends in 44 (allowed) and has no trailing zero problem, yet it is not a perfect square, since 352=122535^2 = 1225 and 362=129636^2 = 1296 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 n2n^2, the next square is just n2+(2n+1)n^2 + (2n+1), so you never need to multiply (n+1)(n+1) by itself from scratch. For instance, knowing 502=250050^2 = 2500, you instantly get 512=2500+101=260151^2 = 2500 + 101 = 2601 by adding 2(50)+12(50)+1. This is genuinely faster once nn 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.

Before this

Where this leads