Intuition What this page is for
The parent note taught you the two methods. Here we hit every kind of number those methods can face — small, huge, already-prime, a perfect square, a "sneaky-looking-prime", a word problem, and an exam twist. If you can do all cells below, no factorization can surprise you.
Before working examples, let's list every class of situation prime factorization throws at you. Each row is a distinct "shape" of problem; the last column names the example that lands on it.
Cell
The scenario
Why it's its own case
Example
A
Small even composite
Warm-up: keep halving
Ex 1
B
Perfect square
Every exponent turns out even
Ex 2
C
Number ending in 0 (two-tailed)
Has both 2 and 5 as factors
Ex 3
D
Large number, many factors
Ladder gets long; forecast tested
Ex 4
E
Prime disguised as composite
Ladder fails every small prime → number is itself prime
Ex 5
F
Odd number with a big prime hidden
Must test up to n
Ex 6
G
Power of a single prime
Only one prime, high exponent
Ex 7
H
Word problem (real-world)
Translate story → factorize → HCF/LCM
Ex 8
I
Exam twist: divisor-count backwards
Given d ( n ) , reason about exponents
Ex 9
Intuition The two "edge" cells to watch
A prime pretending to be composite (Cell E): looks big and friendly, but nothing divides it. Your only defence is testing primes up to n — the sieve idea.
A degenerate input: what about n = 1 ? It has no prime factors at all (the empty product). And n = 0 or negatives are outside the theorem — the FTA only speaks about integers > 1 . We flag these so you never mis-apply the method.
n stopping rule (used in Cells E, F)
When testing whether n has a prime factor, you only need to try primes p with p ≤ n . Why? If n = a × b with both a , b > n , then a × b > n × n = n — impossible. So at least one factor is ≤ n . Find none there ⇒ n is prime.
72 .
Forecast: 72 is even and looks "very halvable". Guess: how many times can you halve it before hitting an odd number? Write down your exponent of 2 before reading on.
Ladder:
2 | 72
2 | 36
2 | 18
3 | 9
3 | 3
| 1
72 ÷ 2 = 36 . Why this step? 72 is even → smallest prime 2 fits. Keep going while even.
36 ÷ 2 = 18 , 18 ÷ 2 = 9 . Why stop halving? 9 is odd — 2 no longer divides it.
9 ÷ 3 = 3 , 3 ÷ 3 = 1 . Why 3 now? Smallest prime dividing the odd 9 is 3 .
Reached 1 → stop .
72 = 2 3 ⋅ 3 2
Verify: 2 3 ⋅ 3 2 = 8 × 9 = 72 . ✅ Halved three times, matching the 2 3 .
196 and show it is a perfect square from its factorization.
Forecast: 196 = 1 4 2 (since 14 × 14 = 196 ). If a number is a square, what must be true of every exponent in its factorization? Guess before checking.
Ladder:
2 | 196
2 | 98
7 | 49
7 | 7
| 1
196 ÷ 2 = 98 , 98 ÷ 2 = 49 . Why? 196 even, halve twice; 49 is odd, stop halving.
49 ÷ 7 = 7 , 7 ÷ 7 = 1 . Why 7 ? 49 isn't divisible by 3 or 5 ; next prime 7 works (7 2 = 49 ).
196 = 2 2 ⋅ 7 2
Verify: 2 2 ⋅ 7 2 = ( 2 ⋅ 7 ) 2 = 1 4 2 = 196 . ✅
The lesson (see figure): every exponent is even (2 and 2 ). A number is a perfect square iff all exponents in its prime factorization are even — because a square splits into two identical halves.
150 .
Forecast: Ending in 0 means divisible by 10 = 2 × 5 . So both 2 and 5 must appear. Guess the full factorization.
Ladder:
2 | 150
3 | 75
5 | 25
5 | 5
| 1
150 ÷ 2 = 75 . Why? 150 even → one factor of 2 . But 75 is odd → only one 2 .
75 ÷ 3 = 25 . Why 3 ? 7 + 5 = 12 is divisible by 3 (divisibility rule ), and 75 is odd so skip 2 .
25 ÷ 5 = 5 , 5 ÷ 5 = 1 . Why 5 ? 25 = 5 2 .
150 = 2 ⋅ 3 ⋅ 5 2
Verify: 2 ⋅ 3 ⋅ 5 2 = 6 × 25 = 150 . ✅ One trailing zero ⇒ exactly one pair of ( 2 , 5 ) ; the extra 5 is why there's a 5 2 but only one 2 .
2520 .
Forecast: 2520 is famously divisible by lots of small numbers. Before the ladder, forecast which of 2 , 3 , 5 , 7 appear.
Ladder:
2 | 2520
2 | 1260
2 | 630
3 | 315
3 | 105
5 | 35
7 | 7
| 1
Three halvings: 2520 → 1260 → 630 → 315 . Why stop at 315 ? It's odd.
315 ÷ 3 = 105 , 105 ÷ 3 = 35 . Why two 3 s? 3 + 1 + 5 = 9 divisible by 3 ; then 1 + 0 + 5 = 6 divisible by 3 .
35 ÷ 5 = 7 . Why 5 ? ends in 5 . Then 7 ÷ 7 = 1 .
2520 = 2 3 ⋅ 3 2 ⋅ 5 ⋅ 7
Verify: 8 × 9 × 5 × 7 = 72 × 35 = 2520 . ✅
Bonus (divisor count ): d = ( 3 + 1 ) ( 2 + 1 ) ( 1 + 1 ) ( 1 + 1 ) = 4 ⋅ 3 ⋅ 2 ⋅ 2 = 48 divisors — that's why 2520 feels "divisible by everything".
149 .
Forecast: 149 looks composite-ish. Test primes up to 149 ≈ 12.2 . Which primes must you try, and what do you conclude if none work?
Trial by primes ≤ 12 :
÷ 2 ? 149 is odd → no. Why 2 first? Cheapest test.
÷ 3 ? digit sum 1 + 4 + 9 = 14 , not a multiple of 3 → no.
÷ 5 ? doesn't end in 0 or 5 → no.
÷ 7 ? 7 × 21 = 147 , remainder 2 → no.
÷ 11 ? 11 × 13 = 143 , remainder 6 → no.
Next prime is 13 , but 13 > 149 → stop .
Why stop? By the n rule, a factor below 13 would have to exist for 149 to be composite. None does.
149 = 149 ( prime )
Verify: 1 2 2 = 144 < 149 < 169 = 1 3 2 , so 149 sits between 12 and 13 ; we checked all primes ≤ 12 (2 , 3 , 5 , 7 , 11 ). ✅ 149 is prime — its factor tree is a single leaf (see figure).
221 .
Forecast: Odd, doesn't end in 5 , digit sum 5 (not divisible by 3 ). It looks prime — but 221 ≈ 14.9 , so keep testing up to 13 .
÷ 7 ? 7 × 31 = 217 , remainder 4 → no.
÷ 11 ? 11 × 20 = 220 , remainder 1 → no.
÷ 13 ? 13 × 17 = 221 exactly → yes!
Now 17 is prime and 17 > 17 trivially → stop.
221 = 13 ⋅ 17
Verify: 13 × 17 = 221 . ✅ Lesson: don't declare "prime" until you've tested all primes up to n — here the factor 13 hides near the top.
128 and 243 .
Forecast: 128 is a power of 2 ; 243 is a power of 3 . Guess the exponents.
Ladder for 128 : halve repeatedly — 128 → 64 → 32 → 16 → 8 → 4 → 2 → 1 : seven halvings.
128 = 2 7
Ladder for 243 : divide by 3 — 243 → 81 → 27 → 9 → 3 → 1 : five divisions.
243 = 3 5
Why only one prime? Once a number is a pure power, every rung uses the same prime until you hit 1 .
Verify: 2 7 = 128 ✅ and 3 5 = 243 ✅. Divisor counts: d ( 128 ) = 7 + 1 = 8 , d ( 243 ) = 5 + 1 = 6 — a prime power p a always has exactly a + 1 divisors.
Worked example Two lighthouses flash: one every
60 s, one every 84 s. They flash together at midnight. (a) After how many seconds do they next flash together? (b) In a 30 -minute window, how many simultaneous flashes (including midnight)?
Forecast: "Next time together" screams LCM . Guess whether the answer is bigger or smaller than 84 .
Factorize each. 60 = 2 2 ⋅ 3 ⋅ 5 , 84 = 2 2 ⋅ 3 ⋅ 7 . Why? LCM is built from prime powers.
LCM = take the max exponent of each prime: 2 2 ⋅ 3 ⋅ 5 ⋅ 7 . Why max? The combined cycle must contain both individual cycles, so it needs the richer count of every prime.
LCM ( 60 , 84 ) = 2 2 ⋅ 3 ⋅ 5 ⋅ 7 = 420 s = 7 min .
(b) 30 minutes = 1800 s. Simultaneous flashes occur at 0 , 420 , 840 , 1260 , 1680 s. Count = ⌊ 1800/420 ⌋ + 1 = 4 + 1 = 5 . Why + 1 ? The flash at t = 0 (midnight) counts too.
Verify: 420 = 60 × 7 = 84 × 5 — a whole number of each cycle. ✅ And HCF ( 60 , 84 ) = 2 2 ⋅ 3 = 12 , so HCF × LCM = 12 × 420 = 5040 = 60 × 84 . ✅ (5 flashes in the window.)
n has exactly 3 divisors . What can n look like? Give the smallest three such n .
Forecast: From d ( n ) = ( a 1 + 1 ) ( a 2 + 1 ) ⋯ = 3 . Since 3 is prime, how many prime factors can n have?
d ( n ) = 3 and 3 is prime → the product ( a 1 + 1 ) ( a 2 + 1 ) ⋯ must be a single factor equal to 3 . Why? If there were two brackets each ≥ 2 , the product would be ≥ 4 .
So there's exactly one prime, with a 1 + 1 = 3 ⇒ a 1 = 2 . Hence n = p 2 for a prime p .
Smallest primes 2 , 3 , 5 give n = 4 , 9 , 25 .
n = p 2 , { 4 , 9 , 25 , 49 , … }
Verify: d ( 4 ) = d ( 2 2 ) = 2 + 1 = 3 ; divisors of 4 are { 1 , 2 , 4 } ✅. d ( 9 ) = 3 : { 1 , 3 , 9 } ✅. d ( 25 ) = 3 : { 1 , 5 , 25 } ✅. Insight: "exactly 3 divisors" ⟺ "square of a prime".
Common mistake Trying to factorize
1 , 0 , or negatives.
n = 1 : it's the empty product — no primes at all. d ( 1 ) = 1 (only divisor is itself). The ladder starts at 1 , so there's nothing to do.
n = 0 : every integer divides 0 , so no unique factorization exists. FTA excludes it.
Negatives: − 12 = − 1 × 2 2 × 3 . The − 1 is a unit , not a prime; FTA is stated for integers > 1 .
Fix: always confirm your input is an integer > 1 before applying the theorem.
Recall Rapid self-test
Factorize 150 ::: 2 ⋅ 3 ⋅ 5 2
Factorize 2520 ::: 2 3 ⋅ 3 2 ⋅ 5 ⋅ 7
Is 149 prime? Why? ::: Yes — no prime ≤ 149 ≈ 12 divides it.
221 = ? ::: 13 × 17
A number with exactly 3 divisors is always... ::: the square of a prime, p 2
LCM of 60 and 84 ::: 420
Mnemonic Which tool for a word problem?
"Same time again → LCM (max). Sharing into equal groups → HCF (min)." Lighthouses/bells syncing use LCM; splitting into biggest equal bundles uses HCF. Both start with the same prime factorization — see Simplifying Fractions for the fraction cousin.
Related: HCF and LCM · Number of Divisors · Fundamental Theorem of Arithmetic · Divisibility Rules · Sieve of Eratosthenes · Simplifying Fractions