Prime factorisation, uniqueness and infinitely many primes
Exact factorisation is the computational foundation. A full argument about every prime requires quantified reasoning, not a collection of successful calculations
- Repeated prime division In this method, divide by a prime factor at each step. A factor tree may instead split into composite factors, provided they are split further \(\displaystyle 84\div2=42\)
- Divide until one Continue dividing by prime factors until the quotient is 1. \(\displaystyle \begin{gathered}84\div2=42,\quad42\div2=21\\21\div3=7,\quad7\div7=1\end{gathered}\)
- Count repeated primes The number of occurrences of a prime becomes its index \(\displaystyle 2\times2\times3=2^{2}\times3\)
- Keep every prime The product of the prime powers must equal the original whole number \(\displaystyle 60=2^{2}\times3\times5\)
- Primes start above one A prime is an integer greater than 1 with exactly two positive divisors: 1 and itself. A composite integer is greater than 1 and is not prime. The number 1 is neither
- Existence and uniqueness Every integer greater than 1 has a factorisation into primes. Apart from the order of the factors, that factorisation is unique. After equal primes are grouped, both the prime bases and their positive exponents are fixed \(\displaystyle 198=2\times3^2\times11\)
- A prime divisor is enough Every integer greater than 1 has a prime divisor. In the infinite-primes argument, the constructed number need not itself be prime
- Make a number missed by a finite list Multiply the primes in the list and add 1. Dividing this new number by any listed prime leaves remainder 1. \(\displaystyle \begin{gathered}P=p_1p_2\cdots p_r\\N=P+1\end{gathered}\)
- Finish the contradiction A prime divisor of N cannot be any listed prime. A finite list therefore cannot contain every prime. This proves there are infinitely many primes, not merely that one computed example is large
Worked example
Express 252 as a product of prime factors in index form
- \(\displaystyle \begin{gathered}252\div2=126\\126\div2=63\end{gathered}\)Divide by 2 twice, recording two factors of 2.
- \(\displaystyle \begin{gathered}63\div3=21\\21\div3=7\end{gathered}\)Divide by 3 twice, recording two factors of 3.
- \(\displaystyle 252=2\times2\times3\times3\times7\)The remaining quotient 7 is prime, so the complete prime product is shown
- \(\displaystyle \begin{gathered}2\times2\times3\times3\times7\\=2^2\times3^2\times7\end{gathered}\)Group equal prime factors and use their counts as indices
Common mistakes
Difficulty levels
Questions about this topic
What is a prime factorisation?+
It is a product of prime numbers equal to the original whole number. Each prime is used as a factor and cannot be split into smaller whole-number factors
Why are repeated primes written as powers?+
An index records how many times the same prime is repeated, so three factors of 2 are written as the third power of 2.
How can a prime-factor form be checked?+
Multiply the prime powers. The result must equal the original whole number, and every base must be prime and repeated primes must be grouped
What does unique mean in the theorem?+
The same prime factors occur with the same multiplicities. Their written order and the order in which a factor tree was split do not matter
Must the product plus 1 be prime?+
No. It is greater than 1 and therefore has a prime divisor. The proof shows that no prime on the proposed complete list can be that divisor
Is the full fundamental theorem proved here?+
No. The theorem is stated and used accurately. The prime-divisor existence argument and the proof of infinitely many primes are supplied in full; a separate formal uniqueness proof is not claimed
What is automatically assessed?+
Prime-factor production and selected lesson steps receive feedback. The full written proof remains ungraded. The computational practice tiers do not award independent proof proficiency
Can I use a calculator?+
No. This topic is practised without a calculator
Which year level and chapter is this?+
Year 11, VCE Units 1 & 2, Specialist Mathematics, chapter 1: Number, sets and proof