Grades 9–12NumberPlanned
Divisibility, Euclid's algorithm and unique factorisation
Divisibility of integers, greatest common divisors, Euclid's algorithm, Bézout's identity and a proof of the fundamental theorem of arithmetic.
math.number.divisibility-gcd
The lesson for this topic has not been written yet. The outline below is part of the curriculum map and has not been reviewed.
Builds on
Required prerequisites, all the way down: 11
You will learn to
- Compute gcd(a, b) with Euclid's algorithm and express it as ax + by.
- Prove Euclid's lemma: if a prime p divides ab, then p divides a or p divides b.
- Prove the existence and uniqueness of prime factorisation.
Definition
- a | b means b = ak for some integer k.
- gcd(a, b), for a and b not both zero, is the greatest integer dividing both.
- Integers a and b are coprime if gcd(a, b) = 1.
Theorem
- Bézout: if a and b are not both zero, there are integers x and y with ax + by = gcd(a, b).
- Euclid's lemma holds for every prime p.
- Fundamental theorem of arithmetic: every integer n > 1 is a product of primes, uniquely apart from order.
- Euclid's algorithm terminates because the remainders strictly decrease.
Common misconceptions
- Thinking unique factorisation is obvious; it fails in some number systems and needs proof.
- Assuming that if d divides ab then d divides a or b when d is not prime; 4 divides 2 · 2 but not 2.
- Confusing the greatest common divisor with the least common multiple.
Leads to
Optional discoveries
- Rings, ideals and fields Euclid's algorithm works in any Euclidean domain, such as polynomials over a field or the Gaussian integers ℤ[i], which therefore also have unique factorisation.
- Algorithms, correctness and efficiency Lamé's theorem: the number of division steps in Euclid's algorithm is at most five times the number of decimal digits of the smaller number.
Further reading
- G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers (1938)
- Ivan Niven, Herbert S. Zuckerman and Hugh L. Montgomery, An Introduction to the Theory of Numbers