9.º a 12.º gradoNumberPlanificado
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
La lección de este tema todavía no se ha escrito. El esquema siguiente forma parte del mapa del plan de estudios y no ha sido revisado.
Se basa en
Requisitos previos obligatorios, hasta el fondo: 11
Aprenderás a
- 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.
Definición
- 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.
Teorema
- 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.
Errores frecuentes
- 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.
Conduce a
Descubrimientos opcionales
- 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.
Lecturas complementarias
- 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