Types of Number
- Classify numbers as natural, integer, rational, irrational or real
- Find prime factorisations using factor trees and repeated division
- Find HCF and LCM using prime factorisation and Venn diagrams
- Apply HCF and LCM to solve real-world and algebraic problems
- Prove whether a given number is prime using systematic testing
π Core Concepts
Number Sets
Every number belongs to one or more number sets that form a nested hierarchy. Understanding these classifications is essential throughout GCSE Mathematics β they underpin algebra, surds, and proof.
- All integers (e.g. $-3 = \frac{-3}{1}$)
- Terminating decimals (e.g. $0.25 = \frac{1}{4}$)
- Recurring decimals (e.g. $0.\overline{3} = \frac{1}{3}$, $\ 0.\overline{142857} = \frac{1}{7}$)
Prime Numbers
Prime numbers are the fundamental building blocks of all integers. The Fundamental Theorem of Arithmetic states that every integer greater than 1 can be written as a unique product of primes β this is why primes matter so deeply in mathematics.
Primality Testing
To prove that a number $n$ is prime, we must show it has no factors other than 1 and $n$. The key insight is that we only need to test primes up to $\sqrt{n}$.
Why $\sqrt{n}$? If $n = a \times b$ where $a \leq b$, then $a \leq \sqrt{n}$. So every factor pair has one member that is $\leq \sqrt{n}$. If no prime up to $\sqrt{n}$ divides $n$, there can be no factorisation, and $n$ is prime.
- Calculate $\sqrt{n}$ and round up to the next whole number.
- List all prime numbers up to that value.
- Check whether any of those primes divides $n$ exactly.
- If none divide $n$, conclude clearly: "$n$ is prime."
Prime Factorisation
Every composite number can be expressed as a unique product of primes. This is called its prime factorisation. We always express the result in index notation.
Method 1: Factor Tree
Split the number into any two factors (neither being 1). Keep splitting composite factors until every branch ends in a prime. Circle each prime as you reach it. This method works from any starting split β the final answer is always the same (Fundamental Theorem of Arithmetic).
Choose any split, e.g. $180 = 4 \times 45$:
180
/ \
4 45
/ \ / \
2 2 9 5
/ \
3 3
Primes collected: $2, 2, 3, 3, 5$
Group and write in index notation: $\mathbf{180 = 2^2 \times 3^2 \times 5}$
Method 2: Repeated Division (Ladder Method)
Always divide by the smallest prime that divides evenly. Continue with each result until you reach 1. This method is more systematic and less prone to errors.
$180 \div 2 = 90$
$90 \div 2 = 45$
$45 \div 3 = 15$
$15 \div 3 = 5$
$5 \div 5 = 1$
Divisors used (reading down): $2, 2, 3, 3, 5$
Therefore: $\mathbf{180 = 2^2 \times 3^2 \times 5}$
Highest Common Factor (HCF)
The HCF is the largest number that divides exactly into all the given numbers. Once we have prime factorisations, we select the primes that appear in both factorisations, taking the lower power.
Shared prime 2: lowest power is $\min(3,2) = 2$, so contribute $2^2$
Shared prime 3: lowest power is $\min(1,2) = 1$, so contribute $3^1$
$$\text{HCF} = 2^2 \times 3 = 4 \times 3 = \mathbf{12}$$
Lowest Common Multiple (LCM)
The LCM is the smallest positive number that is a multiple of all the given numbers β the first number where their "times tables" coincide. We include every prime that appears in either factorisation, taking the higher power.
Prime 2: highest power is $\max(3,2) = 3$, so contribute $2^3$
Prime 3: highest power is $\max(1,2) = 2$, so contribute $3^2$
$$\text{LCM} = 2^3 \times 3^2 = 8 \times 9 = \mathbf{72}$$
Venn Diagram Method β Both HCF and LCM in One Diagram
The Venn diagram method is the most efficient exam technique: one diagram gives both answers simultaneously and is highly mark-scheme-friendly. The two overlapping circles represent the two numbers; prime factors are placed individually (not as powers).
- Left region only: prime factors appearing in the first number but not the second
- Intersection: prime factors shared by both numbers (list each occurrence individually)
- Right region only: prime factors appearing in the second number but not the first
- Write out the full prime factorisation of both numbers, listing each prime individually (e.g. $60 = 2 \times 2 \times 3 \times 5$, not $2^2 \times 3 \times 5$).
- Match up shared primes and place them in the intersection (one at a time).
- Place any leftover primes from number 1 in the left region; leftover primes from number 2 in the right region.
- HCF = multiply only the intersection; LCM = multiply all primes across both circles.
LCM is Large β it makes things bigger. Use the highest power of all primes.
Venn shortcut: HCF = intersection, LCM = everything.
πΊοΈ Visual Notes
- β β positive counting: 1, 2, 3 ...
- β€ β integers: ..., β1, 0, 1, ...
- β β rational: any p/q (q β 0)
- β β real: rational + irrational
- Exactly 2 factors: 1 and itself
- 1 is NOT prime (only one factor)
- 2 is the only even prime
- First 10: 2,3,5,7,11,13,17,19,23,29
- Factor tree β split until all prime
- Repeated division β divide by smallest prime
- Always write in index notation
- Result is unique (FTA)
- Shared primes at LOWEST power
- HCF β€ smaller number
- Intersection of Venn diagram
- Used to simplify fractions
- All primes at HIGHEST power
- LCM β₯ larger number
- Everything in both Venn circles
- Common denominator for fractions
- Test all primes up to βn only
- Factors come in pairs β one β€ βn
- List primes tested in working
- State conclusion clearly for marks
Number Sets: Comparison Table
| Set | Symbol | Definition | Examples | NOT in This Set |
|---|---|---|---|---|
| Natural | β | Positive counting numbers | 1, 2, 3, 100 | 0, β3, Β½, Ο |
| Integer | β€ | All whole numbers | β5, 0, 7, 100 | Β½, Ο, β2 |
| Rational | β | Writable as p/q, q β 0 | Β½, 0.3Μ, β4, β4 | β2, Ο, e |
| Irrational | β | Cannot write as p/q | β2, Ο, β5, e | All fractions & integers |
| Real | β | All rational + irrational | Any point on number line | ββ1 (imaginary) |
Venn Diagram: HCF and LCM of 60 and 84
$60 = 2 \times 2 \times 3 \times 5$ and $84 = 2 \times 2 \times 3 \times 7$. Place each prime factor individually:
Process: Finding Prime Factorisation
Process: HCF and LCM via Venn Diagram
βοΈ Worked Examples
Start with 72 and keep dividing by the smallest prime that divides evenly:
$72 \div 2 = 36$
$36 \div 2 = 18$
$18 \div 2 = 9$
$9 \div 3 = 3$
$3 \div 3 = 1$
So $60 = 2 \times 2 \times 3 \times 5$
$84: \quad 84 \div 2 = 42,\ 42 \div 2 = 21,\ 21 \div 3 = 7,\ 7 \div 7 = 1$
So $84 = 2 \times 2 \times 3 \times 7$
Leftover from 60: $5$ β place in the left region
Leftover from 84: $7$ β place in the right region
(b) Find the HCF and LCM of $12a^2b^3$ and $18ab^4$. [4]
(c) Hence simplify $\dfrac{1}{12a^2b^3} + \dfrac{1}{18ab^4}$. [3]
- Divisible by 2? No β 127 is odd.
- Divisible by 3? No β digit sum $1 + 2 + 7 = 10$, and 10 is not divisible by 3.
- Divisible by 5? No β 127 does not end in 0 or 5.
- Divisible by 7? No β $127 \div 7 = 18.14\ldots$ (not exact).
- Divisible by 11? No β $127 \div 11 = 11.54\ldots$ (not exact).
| Factor | In $12a^2b^3$ | In $18ab^4$ | Min power |
|---|---|---|---|
| 2 | $2^2$ | $2^1$ | $2^1$ |
| 3 | $3^1$ | $3^2$ | $3^1$ |
| a | $a^2$ | $a^1$ | $a^1$ |
| b | $b^3$ | $b^4$ | $b^3$ |
| Factor | In $12a^2b^3$ | In $18ab^4$ | Max power |
|---|---|---|---|
| 2 | $2^2$ | $2^1$ | $2^2$ |
| 3 | $3^1$ | $3^2$ | $3^2$ |
| a | $a^2$ | $a^1$ | $a^2$ |
| b | $b^3$ | $b^4$ | $b^4$ |
(b) $\text{HCF} = 6ab^3$; $\quad \text{LCM} = 36a^2b^4$
(c) $\dfrac{1}{12a^2b^3} + \dfrac{1}{18ab^4} = \dfrac{3b + 2a}{36a^2b^4}$
β Exam Questions
State whether each of the following is rational or irrational. Give a reason for each.
(a) $\sqrt{25}$ (b) $\sqrt{11}$ (c) $0.\overline{36}$
(a) Rational [1]. $\sqrt{25} = 5$, which is an integer and can be written as $\frac{5}{1}$. Since 25 is a perfect square, its square root is rational.
(b) Irrational [1]. 11 is not a perfect square, so $\sqrt{11}$ cannot be expressed as $\frac{p}{q}$. Its decimal $3.31662\ldots$ is non-terminating and non-repeating.
(c) Rational [1]. All recurring decimals are rational. $0.\overline{36} = \frac{36}{99} = \frac{4}{11}$.
Express 360 as a product of its prime factors. Write your answer in index notation.
$360 \div 2 = 180,\ 180 \div 2 = 90,\ 90 \div 2 = 45,\ 45 \div 3 = 15,\ 15 \div 3 = 5,\ 5 \div 5 = 1$
[1] for at least three correct prime factors identified; [1] for full correct answer:
$$360 = 2^3 \times 3^2 \times 5$$
Find the HCF and LCM of 48 and 72. Show all your working clearly.
$48 = 2^4 \times 3$ [1]
$72 = 2^3 \times 3^2$ [1]
HCF = shared primes at lowest power: $2^{\min(4,3)} \times 3^{\min(1,2)} = 2^3 \times 3 = 8 \times 3 = \mathbf{24}$ [1]
LCM = all primes at highest power: $2^{\max(4,3)} \times 3^{\max(1,2)} = 2^4 \times 3^2 = 16 \times 9 = \mathbf{144}$ [1]
Check: $24 \times 144 = 3456 = 48 \times 72$ β
Using a Venn diagram, find the HCF and LCM of 120 and 180.
$120 = 2 \times 2 \times 2 \times 3 \times 5$ [1]
$180 = 2 \times 2 \times 3 \times 3 \times 5$ [1]
Venn diagram sorting:
- Left only (in 120, not 180): one extra factor of 2
- Intersection: 2, 2, 3, 5 (matched from both lists)
- Right only (in 180, not 120): one extra factor of 3
HCF = product of intersection = $2 \times 2 \times 3 \times 5 = \mathbf{60}$ [1]
LCM = product of all = $2 \times 2 \times 2 \times 3 \times 3 \times 5 = \mathbf{360}$ [1]
Prove that 97 is a prime number. You must show all steps of your reasoning.
$\sqrt{97} \approx 9.85$, so test all primes up to 9: $\{2, 3, 5, 7\}$ [1]
- 97 is odd β not divisible by 2
- Digit sum $9 + 7 = 16$ β not divisible by 3
- Does not end in 0 or 5 β not divisible by 5
- $97 \div 7 = 13.857\ldots$ β not divisible by 7
[1] for all four tests correct and shown [1] Since no prime up to $\sqrt{97}$ divides 97, 97 is prime.
Let $p = 2^3 \times 3^2 \times 5$ and $q = 2^2 \times 3^3 \times 7$.
(a) Find the HCF of $p$ and $q$. [2]
(b) Find the LCM of $p$ and $q$. [2]
(c) Hence simplify $\dfrac{1}{p} + \dfrac{1}{q}$, giving the denominator as a product of prime factors. [2]
(a) Shared primes: 2 (min power = 2) and 3 (min power = 2). No 5 or 7 in the other.
HCF $= 2^2 \times 3^2 = 4 \times 9 = \mathbf{36}$ [2]
(b) All primes at highest power: $2^3, 3^3, 5^1, 7^1$.
LCM $= 2^3 \times 3^3 \times 5 \times 7 = 8 \times 27 \times 5 \times 7 = \mathbf{7560}$ [2]
(c) Use LCM = 7560 as the common denominator:
Multiplier for $\frac{1}{p}$: $\dfrac{7560}{360} = 21$ Multiplier for $\frac{1}{q}$: $\dfrac{7560}{756} = 10$
$$\frac{1}{p} + \frac{1}{q} = \frac{21}{7560} + \frac{10}{7560} = \frac{31}{7560} = \frac{31}{2^3 \times 3^3 \times 5 \times 7}$$
Check: 31 is prime; $7560 = 2^3 \times 3^3 \times 5 \times 7$ does not contain 31, so the fraction cannot be simplified. [2]
β Grade 9 Model Answers
The following is a fully annotated model answer for Q6 β the highest-demand question. Each annotation explains why the step earns marks and what examiners are looking for.
Given: $p = 2^3 \times 3^2 \times 5$ and $q = 2^2 \times 3^3 \times 7$
A Grade 9 student identifies which primes are shared and why we use the minimum power:
- Prime 2 is in both ($2^3$ in $p$, $2^2$ in $q$). The HCF cannot contain more than $2^2$ because $q$ only has $2^2$ β using $2^3$ would not divide $q$. So we take $2^{\min(3,2)} = 2^2$.
- Prime 3 is in both ($3^2$ in $p$, $3^3$ in $q$). We take $3^{\min(2,3)} = 3^2$.
- Prime 5 is only in $p$, not $q$. So 5 cannot be in the HCF.
- Prime 7 is only in $q$, not $p$. So 7 cannot be in the HCF.
$$\text{HCF} = 2^2 \times 3^2 = 4 \times 9 = \mathbf{36}$$
Mark-earning insight: stating "5 and 7 are not shared" explicitly shows you understand why they are excluded β this is the Grade 9 distinction.
For LCM, we include every prime that appears in either number, at its highest power. A common Grade 6 error is to include only the shared primes β that gives the HCF, not the LCM.
- Prime 2: $\max(3,2) = 3$ β take $2^3$
- Prime 3: $\max(2,3) = 3$ β take $3^3$
- Prime 5: only in $p$, so include $5^1$
- Prime 7: only in $q$, so include $7^1$
$$\text{LCM} = 2^3 \times 3^3 \times 5 \times 7 = 8 \times 27 \times 35 = \mathbf{7560}$$
Mark-earning insight: including 5 and 7 (the "unshared" primes) is the key move that distinguishes LCM from HCF. Failing to include them is the single most common error in this question type.
Using the LCM (not $p \times q$) as the denominator is the efficient, Grade 9 approach. Using $p \times q = 360 \times 756 = 272{,}160$ would work but produce a fraction needing simplification β wasteful under exam conditions.
Calculate each "top-up multiplier" by dividing the LCM by each denominator:
For $\frac{1}{p} = \frac{1}{360}$: $\dfrac{7560}{360} = 21$ (so multiply top and bottom by 21)
For $\frac{1}{q} = \frac{1}{756}$: $\dfrac{7560}{756} = 10$ (so multiply top and bottom by 10)
$$\frac{1}{p} + \frac{1}{q} = \frac{21}{7560} + \frac{10}{7560} = \frac{31}{7560}$$
Finally, check simplification: 31 is prime (test primes up to $\sqrt{31} \approx 5.6$: not divisible by 2, 3, or 5). Is 31 a factor of 7560? $7560 = 2^3 \times 3^3 \times 5 \times 7$ β 31 does not appear, so the fraction is already in its simplest form.
Mark-earning insight: the explicit simplification check is a Grade 9 habit β it shows mathematical rigour and earns the second accuracy mark.
π Revision Sheet
| Term | Meaning |
|---|---|
| Natural (β) | Positive integers: 1, 2, 3, ... |
| Integer (β€) | All whole numbers: ..., β1, 0, 1, ... |
| Rational (β) | Expressible as p/q (q β 0) |
| Irrational | Non-terminating, non-repeating; cannot write as p/q |
| Real (β) | All rational + irrational numbers |
| Prime | Exactly 2 factors: 1 and itself |
| HCF | Largest number dividing both exactly |
| LCM | Smallest positive multiple of both |
$$\text{HCF} = \text{SHARED primes at LOWEST power}$$
$$\text{LCM} = \text{ALL primes at HIGHEST power}$$
$$\text{HCF}(a,b) \times \text{LCM}(a,b) = a \times b$$
Primality: test all primes $\leq \sqrt{n}$
Index notation: $a^m \times a^n = a^{m+n}$
Venn: HCF = intersection; LCM = everything
- HCF is Humble (smaller) β LOWEST + SHARED only
- LCM is Large (bigger) β HIGHEST + ALL
- Venn intersection = HCF; entire diagram = LCM
- HCF Γ LCM = a Γ b β always use to check!
- Only test primes to βn β factors come in pairs
- 1 has ONE factor β NOT prime
- 2 is the only EVEN prime
- $\sqrt{\text{perfect square}}$ is rational; $\sqrt{\text{non-perfect}}$ is irrational
- Always use index notation: $2^3 \times 3^2$, not $2 \times 2 \times 2 \times 3 \times 3$
- State $\sqrt{n}$, list primes tested, then conclude β all three earn marks in primality questions
- Draw the Venn diagram for method marks β even a labelled sketch counts
- Use HCF Γ LCM = a Γ b to verify before moving on
- For algebraic expressions, treat each variable as a prime factor
- For fractions, use LCM as common denominator (not a Γ b β it gives the same answer but needs simplifying)
- Show all divisibility checks, not just the final result
π Flashcards
Click each card to reveal the answer. Tap again to flip back. Work through all 15 before your exam.
β Common Mistakes
What students do wrong: Using the "highest power" rule for the HCF and/or the "shared only" rule for the LCM β effectively computing the wrong value for both.
Why marks are lost: Both final answers are wrong, losing all accuracy marks even when the prime factorisations are perfectly correct.
How to avoid it: Remember the mnemonic: HCF is Humble (smaller β use LOWEST and SHARED); LCM is Large (bigger β use HIGHEST and ALL). After computing, check: HCF must be β€ the smaller number, and LCM must be β₯ the larger number.
What students do wrong: Listing 1 as a prime factor, or writing "the prime factors of 12 are 1, 2, 3."
Why marks are lost: The mark scheme for prime factorisation requires writing 12 = $2^2 \times 3$, not $1 \times 2^2 \times 3$. Including 1 in a list of primes loses marks on classification questions.
How to avoid it: Learn the exact definition: a prime must have exactly two distinct factors. The number 1 has only one. The smallest prime is 2.
What students do wrong: Only checking 2, 3, and 5 to prove a number is prime, without testing all primes up to $\sqrt{n}$.
Why marks are lost: A mark is awarded specifically for "testing all primes up to $\sqrt{n}$." A partial test is not a complete proof β for example, $91 = 7 \times 13$ would slip through if you only test 2, 3, and 5.
How to avoid it: Always compute $\sqrt{n}$ first, round up, and list every prime up to that bound. For $n = 127$: $\sqrt{127} \approx 11.3$, so the list is $\{2, 3, 5, 7, 11\}$ β all five must be tested.
What students do wrong: Placing the entire prime factorisation of each number in its circle (including the shared factors on both sides), rather than putting shared factors exclusively in the intersection.
Why marks are lost: An incorrect Venn diagram leads to wrong HCF and LCM. The intersection must contain only factors that appear in both factorisations.
How to avoid it: List primes individually (not as powers). Match them up one by one: for every prime in the first number, check if it also appears in the second. Matched pairs go in the intersection; unmatched primes go in the outer regions.
What students do wrong: Classifying $\sqrt{9}$, $\sqrt{16}$, or $\sqrt{100}$ as irrational because "square roots are irrational."
Why marks are lost: $\sqrt{9} = 3$, $\sqrt{16} = 4$ β these are integers and thus rational. Misclassifying them loses classification marks.
How to avoid it: Memorise the first 12 perfect squares: $1, 4, 9, 16, 25, 36, 49, 64, 81, 100, 121, 144$. If the number under the root sign is in this list, the result is rational.
What students do wrong: Giving $\frac{21}{7560} + \frac{10}{7560} = \frac{31}{7560}$ and not checking whether this can be simplified β or worse, incorrectly simplifying $\frac{31}{7560}$ when 31 is prime and does not divide 7560.
Why marks are lost: The question may ask for the "simplified" or "simplest" form. Failing to check loses the final accuracy mark.
How to avoid it: Always test whether the numerator is prime (or check whether the numerator's prime factors appear in the denominator). $31$ is prime and $7560 = 2^3 \times 3^3 \times 5 \times 7$ β 31 is not a factor, so no further simplification is possible.
β Final Checklist
Click each item to tick it off. Your progress is saved in your browser.
- I can classify any number as natural, integer, rational, irrational or real
- I know that 1 is NOT prime (one factor) and 2 is the only even prime
- I can express any integer as a product of prime factors using a factor tree
- I can express any integer as a product of prime factors using repeated division
- I always write prime factorisations in index notation ($2^3 \times 3^2$, not $2 \times 2 \times 2 \times 3 \times 3$)
- I can find the HCF by taking shared prime factors at the LOWEST power
- I can find the LCM by taking all prime factors at the HIGHEST power
- I can draw a Venn diagram to find HCF and LCM simultaneously
- I use HCF Γ LCM = a Γ b to verify my answers
- I can prove a number is prime by testing all primes up to its square root
- I understand WHY we only need to test primes up to βn (factors come in pairs)
- I can find the HCF and LCM of algebraic expressions (e.g. $12a^2b^3$ and $18ab^4$)
- I can use the LCM as a common denominator to add algebraic fractions
- I know that $\sqrt{4} = 2$ is rational, but $\sqrt{2}$, $\pi$, and $e$ are irrational
- I am confident tackling 6-mark HCF/LCM and primality questions under exam conditions