الانتقال إلى المحتوى
The Lumenary
الصفوف 9–12Numberمُخطَّط له

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

لم يُكتب درس هذا الموضوع بعد. المخطط أدناه جزء من خريطة المنهج ولم تجرِ مراجعته.

يعتمد على

عدد المتطلبات السابقة الإلزامية (حتى الأساس): 11

ستتعلّم

  • 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.

تعريف

  • 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.

مبرهنة

  • 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.

مفاهيم خاطئة شائعة

  • 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.

يقود إلى

اكتشافات اختيارية

  • 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.

قراءات إضافية

  • 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