DOCSLIB.ORG

(3) Greatest Common Divisor

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
(3) Greatest Common Divisor (3) Greatest common divisor In mathematics, the greatest common divisor (gcd), also known as the greatest common factor (gcf), or highest common factor (hcf), of two or more non-zero integers, is the largest positive integer that divides the numbers without a remainder. For example, the GCD of 8 and 12 is 4. This notion can be extended to polynomials, see greatest common divisor of two polynomials. Overview Example The number 54 can be expressed as a product of two other integers in several different ways: Thus the divisors of 54 are: Similarly the divisors of 24 are: The numbers that these two lists share in common are the common divisors of 54 and 24: The greatest of these is 6. That is the greatest common divisor of 54 and 24. One writes: Reducing fractions The greatest common divisor of a and b is written as gcd(a, b), or sometimes simply as (a, b). For example, gcd(12, 18) = 6, gcd(−4, 14) = 2. 1 Two numbers are called relatively prime, or coprime if their greatest common divisor equals 1. For example, 9 and 28 are relatively prime. Calculation Using Euclid's algorithm A much more efficient method is the Euclidean algorithm, which uses the division algorithm in combination with the observation that the gcd of two numbers also divides their difference. To compute gcd(48,18), divide 48 by 18 to get a quotient of 2 and a remainder of 12. Then divide 18 by 12 to get a quotient of 1 and a remainder of 6. Then divide 12 by 6 to get a remainder of 0, which means that 6 is the gcd. Note that we ignored the quotient in each step except to notice when it reached 0, signalling that we had arrived at the answer. Formally the algorithm can be described as: gcd(a,0) = a Which also could be written as gcd(a,0) = a gcd(a,b) = gcd(b,a mod b). Other methods If a and b are not both zero, the greatest common divisor of a and b can be computed by using least common multiple (lcm) of a and b: Properties • Every common divisor of a and b is a divisor of gcd(a, b). • gcd(a, b), where a and b are not both zero, may be defined alternatively and equivalently as the smallest positive integer d which can be written in the form d = a·p + b·q where p and q are integers. This expression is called Bézout's identity. Numbers p and q like this can be computed with the extended Euclidean algorithm. • gcd(a, 0) = |a|, for a ≠ 0, since any number is a divisor of 0, and the greatest divisor of a is |a|. This is usually used as the base case in the Euclidean algorithm. 2 • If a divides the product b·c, and gcd(a, b) = d, then a/d divides c. • If m is a non-negative integer, then gcd(m·a, m·b) = m·gcd(a, b). • If m is any integer, then gcd(a + m·b, b) = gcd(a, b). • If m is a nonzero common divisor of a and b, then gcd(a/m, b/m) = gcd(a, b)/m. • The gcd is a multiplicative function in the following sense: if a1 and a2 are relatively prime, then gcd(a1·a2, b) = gcd(a1, b)·gcd(a2, b). • The gcd is a commutative function: gcd(a, b) = gcd(b, a). • The gcd is an associative function: gcd(a, gcd(b, c)) = gcd(gcd(a, b), c). • The gcd of three numbers can be computed as gcd(a, b, c) = gcd(gcd(a, b), c), or in some different way by applying commutativity and associativity. This can be extended to any number of numbers. • gcd(a, b) is closely related to the least common multiple lcm(a, b): we have gcd(a, b)·lcm(a, b) = a·b. This formula is often used to compute least common multiples: one first computes the gcd with Euclid's algorithm and then divides the product of the given numbers by their gcd. • The following versions of distributivity hold true: gcd(a, lcm(b, c)) = lcm(gcd(a, b), gcd(a, c)) lcm(a, gcd(b, c)) = gcd(lcm(a, b), lcm(a, c)). • It is useful to define gcd(0, 0) = 0 and lcm(0, 0) = 0 because then the natural numbers become a complete distributive lattice with gcd as meet and lcm as join operation. This extension of the definition is also compatible with the generalization for commutative rings given below. • In a Cartesian coordinate system, gcd(a, b) can be interpreted as the number of points with integral coordinates on the straight line joining the points (0, 0) and (a, b), excluding (0, 0). ********************* ************ Least common multiple In arithmetic and number theory, the least common multiple (also called the lowest common multiple or smallest common multiple) of two integers a and b, usually denoted by LCM(a, b), is the smallest positive integer that is a multiple of both a and b.[1] It is familiar from grade-school arithmetic as the "lowest common denominator" that must be determined before two fractions can be added. If either a or b is 0, LCM(a, b) is defined to be zero. 3 The LCM of more than two integers is also well-defined: it is the smallest number that is an integer multiple of each of them. Example What is the LCM of 4 and 6? Multiples of 4 are: 4, 8, 12, 16, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64, 68, 72, 76 etc. and the multiples of 6 are: 6, 12, 18, 24, 30, 36, 42, 48, 54, 60, 66, 72, ... Common multiples of 4 and 6 are simply the numbers that are in both lists: 12, 24, 36, 48, 60, 72, .... So the least common multiple of 4 and 6 is the smallest one of those: 12 Applications When adding, subtracting, or comparing vulgar fractions, it is useful to find the least common multiple of the denominators, often called the lowest common denominator, because each of the fractions can be expressed as a fraction with this denominator. For instance, where the denominator 42 was used because it is the least common multiple of 21 and 6. Computing the least common multiple Reduction by the greatest common divisor The following formula reduces the problem of computing the least common multiple to the problem of computing the greatest common divisor (GCD): 4 This formula is also valid when exactly one of a and b is 0, since gcd(a, 0) = |a|. There are fast algorithms for computing the GCD that do not require the numbers to be factored, such as the Euclidean algorithm. To return to the example above, Because gcd(a, b) is a divisor of both a and b, it's more efficient to compute the LCM by dividing before multiplying: This reduces the size of one input for both the division and the multiplication, and reduces the required storage needed for intermediate results (overflow in the a×b computation). Because gcd(a, b) is a divisor of both a and b, and thus the division will be guaranteed to yield an integer, so the intermediate result can be stored in an integer. Done this way, the previous example becomes: Finding least common multiples by prime factorization The unique factorization theorem says that every positive integer greater than 1 can be written in only one way as a product of prime numbers. The prime numbers can be considered as the atomic elements which, when combined together, make up a composite number. For example: Here we have the composite number 90 made up of one atom of the prime number 2, two atoms of the prime number 3 and one atom of the prime number 5. This knowledge can be used to find the lcm of a set of numbers. Example: Find the value of lcm(8,9,21). First, factor out each number and express it as a product of prime number powers. 5 The lcm will be the product of multiplying the highest power in each prime factor category together. Out of the 4 prime factor categories 2, 3, 5, and 7, the highest powers from each are 23, 32, 50, and 71. Thus, This method is not as efficient as reducing to the greatest common divisor, since there is no known general efficient algorithm for integer factorization, but is useful in illustrating concepts. A simple algorithm This method works as easily for finding the LCM of several integers. Let there be a finite sequence of positive integers X = (x1, x2, ..., xn), n > 1. The algorithm proceeds in steps as follows: on each step m it examines and updates the sequence X(m) = (m) (m) (m) (1) (x1 , x2 , ..., xn ), X = X. The purpose of the examination is to pick up the least (m) (m) (perhaps, one of many) element of the sequence X . Assuming xk0 is the selected element, the sequence X(m+1) is defined as (m+1) (m) xk = xk , k ≠ k0 (m+1) (m) xk0 = xk0 + xk0. In other words, the least element is increased by the corresponding x whereas the rest of the elements pass from X(m) to X(m+1) unchanged. The algorithm stops when all elements in sequence X(m) are equal. Their common value L is exactly LCM(X). (For a proof and an interactive simulation see reference below, Algorithm for Computing the LCM.) ************************** ********** 6.
Load more

Recommended publications
  • Black Hills State University
    Black Hills State University MATH 341 Concepts addressed: Mathematics Number sense and numeration: meaning and use of numbers; the standard algorithms of the four basic operations; appropriate computation strategies and reasonableness of results; methods of mathematical investigation; number patterns; place value; equivalence; factors and multiples; ratio, proportion, percent; representations; calculator strategies; and number lines Students will be able to demonstrate proficiency in utilizing the traditional algorithms for the four basic operations and to analyze non-traditional student-generated algorithms to perform these calculations. Students will be able to use non-decimal bases and a variety of numeration systems, such as Mayan, Roman, etc, to perform routine calculations. Students will be able to identify prime and composite numbers, compute the prime factorization of a composite number, determine whether a given number is prime or composite, and classify the counting numbers from 1 to 200 into prime or composite using the Sieve of Eratosthenes. A prime number is a number with exactly two factors. For example, 13 is a prime number because its only factors are 1 and itself. A composite number has more than two factors. For example, the number 6 is composite because its factors are 1,2,3, and 6. To determine if a larger number is prime, try all prime numbers less than the square root of the number. If any of those primes divide the original number, then the number is prime; otherwise, the number is composite. The number 1 is neither prime nor composite. It is not prime because it does not have two factors. It is not composite because, otherwise, it would nullify the Fundamental Theorem of Arithmetic, which states that every composite number has a unique prime factorization.
    [Show full text]
  • Number Theory Learning Module 3 — the Greatest Common Divisor 1
    Number Theory Learning Module 3 — The Greatest Common Divisor 1 1 Objectives. • Understand the definition of greatest common divisor (gcd). • Learn the basic the properties of the gcd. • Understand Euclid’s algorithm. • Learn basic proofing techniques for greatest common divisors. 2 The Greatest Common Divisor Classical Greek mathematics concerned itself mostly with geometry. The notion of measurement is fundamental to ge- ometry, and the Greeks were the first to provide a formal foundation for this concept. Surprisingly, however, they never used fractions to express measurements (and never developed an arithmetic of fractions). They expressed geometrical measurements as relations between ratios. In numerical terms, these are statements like: 168 is to 120 as 7 is to 4, (2.1) which we would write today as 168{120 7{5. Statements such as (2.1) were natural to greek mathematicians because they viewed measuring as the process of finding a “common integral measure”. For example, we have: 168 24 ¤ 7 120 24 ¤ 5; so that we can use the integer 24 as a “common unit” to measure the numbers 168 and 120. Going back to our example, notice that 24 is not the only common integral measure for the integers 168 and 120, since we also have, for example, 168 6 ¤ 28 and 120 6 ¤ 20. The number 24, however, is the largest integer that can be used to “measure” both 168 and 120, and gives the representation in lowest terms for their ratio. This motivates the following definition: Definition 2.1. Let a and b be integers that are not both zero.
    [Show full text]
  • Primality Testing for Beginners
    STUDENT MATHEMATICAL LIBRARY Volume 70 Primality Testing for Beginners Lasse Rempe-Gillen Rebecca Waldecker http://dx.doi.org/10.1090/stml/070 Primality Testing for Beginners STUDENT MATHEMATICAL LIBRARY Volume 70 Primality Testing for Beginners Lasse Rempe-Gillen Rebecca Waldecker American Mathematical Society Providence, Rhode Island Editorial Board Satyan L. Devadoss John Stillwell Gerald B. Folland (Chair) Serge Tabachnikov The cover illustration is a variant of the Sieve of Eratosthenes (Sec- tion 1.5), showing the integers from 1 to 2704 colored by the number of their prime factors, including repeats. The illustration was created us- ing MATLAB. The back cover shows a phase plot of the Riemann zeta function (see Appendix A), which appears courtesy of Elias Wegert (www.visual.wegert.com). 2010 Mathematics Subject Classification. Primary 11-01, 11-02, 11Axx, 11Y11, 11Y16. For additional information and updates on this book, visit www.ams.org/bookpages/stml-70 Library of Congress Cataloging-in-Publication Data Rempe-Gillen, Lasse, 1978– author. [Primzahltests f¨ur Einsteiger. English] Primality testing for beginners / Lasse Rempe-Gillen, Rebecca Waldecker. pages cm. — (Student mathematical library ; volume 70) Translation of: Primzahltests f¨ur Einsteiger : Zahlentheorie - Algorithmik - Kryptographie. Includes bibliographical references and index. ISBN 978-0-8218-9883-3 (alk. paper) 1. Number theory. I. Waldecker, Rebecca, 1979– author. II. Title. QA241.R45813 2014 512.72—dc23 2013032423 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given.
    [Show full text]
  • 1. the Euclidean Algorithm the Common Divisors of Two Numbers Are the Numbers That Are Divisors of Both of Them
    1. The Euclidean Algorithm The common divisors of two numbers are the numbers that are divisors of both of them. For example, the divisors of 12 are 1, 2, 3, 4, 6, 12. The divisors of 18 are 1, 2, 3, 6, 9, 18. Thus, the common divisors of 12 and 18 are 1, 2, 3, 6. The greatest among these is, perhaps unsurprisingly, called the of 12 and 18. The usual mathematical notation for the greatest common divisor of two integers a and b are denoted by (a, b). Hence, (12, 18) = 6. The greatest common divisor is important for many reasons. For example, it can be used to calculate the of two numbers, i.e., the smallest positive integer that is a multiple of these numbers. The least common multiple of the numbers a and b can be calculated as ab . (a, b) For example, the least common multiple of 12 and 18 is 12 · 18 12 · 18 = . (12, 18) 6 Note that, in order to calculate the right-hand side here it would be counter- productive to multiply 12 and 18 together. It is much easier to do the calculation as follows: 12 · 18 12 = = 2 · 18 = 36. 6 6 · 18 That is, the least common multiple of 12 and 18 is 36. It is important to know the least common multiple when adding two fractions. For example, noting that 12 · 3 = 36 and 18 · 2 = 36, we have 5 7 5 · 3 7 · 2 15 14 15 + 14 29 + = + = + = = . 12 18 12 · 3 18 · 2 36 36 36 36 Note that this way of calculating the least common multiple works only for two numbers.
    [Show full text]
  • The Pollard's Rho Method for Factoring Numbers
    Foote 1 Corey Foote Dr. Thomas Kent Honors Number Theory Date: 11-30-11 The Pollard’s Rho Method for Factoring Numbers We are all familiar with the concepts of prime and composite numbers. We also know that a number is either prime or a product of primes. The Fundamental Theorem of Arithmetic states that every integer n ≥ 2 is either a prime or a product of primes, and the product is unique apart from the order in which the factors appear (Long, 55). The number 7, for example, is a prime number. It has only two factors, itself and 1. On the other hand 24 has a prime factorization of 2 3 × 3. Because its factors are not just 24 and 1, 24 is considered a composite number. The numbers 7 and 24 are easier to factor than larger numbers. We will look at the Sieve of Eratosthenes, an efficient factoring method for dealing with smaller numbers, followed by Pollard’s rho, a method that allows us how to factor large numbers into their primes. The Sieve of Eratosthenes allows us to find the prime numbers up to and including a particular number, n. First, we find the prime numbers that are less than or equal to √͢. Then we use these primes to see which of the numbers √͢ ≤ n - k, ..., n - 2, n - 1 ≤ n these primes properly divide. The remaining numbers are the prime numbers that are greater than √͢ and less than or equal to n. This method works because these prime numbers clearly cannot have any prime factor less than or equal to √͢, as the number would then be composite.
    [Show full text]
  • RSA and Primality Testing
    RSA and Primality Testing Joan Boyar, IMADA, University of Southern Denmark Studieretningsprojekter 2010 1 / 81 Outline Outline Symmetric key ■ Symmetric key cryptography Public key Number theory ■ RSA Public key cryptography RSA Modular ■ exponentiation Introduction to number theory RSA RSA ■ RSA Greatest common divisor Primality testing ■ Modular exponentiation Correctness of RSA Digital signatures ■ Greatest common divisor ■ Primality testing ■ Correctness of RSA ■ Digital signatures with RSA 2 / 81 Caesar cipher Outline Symmetric key Public key Number theory A B C D E F G H I J K L M N O RSA 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 RSA Modular D E F G H I J K L M N O P Q R exponentiation RSA 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 RSA Greatest common divisor Primality testing P Q R S T U V W X Y Z Æ Ø Å Correctness of RSA Digital signatures 15 16 17 18 19 20 21 22 23 24 25 26 27 28 S T U V W X Y Z Æ Ø Å A B C 18 19 20 21 22 23 24 25 26 27 28 0 1 2 E(m)= m + 3(mod 29) 3 / 81 Symmetric key systems Outline Suppose the following was encrypted using a Caesar cipher and the Symmetric key Public key Danish alphabet. The key is unknown. What does it say? Number theory RSA RSA Modular exponentiation RSA ZQOØQOØ, RI. RSA Greatest common divisor Primality testing Correctness of RSA Digital signatures 4 / 81 Symmetric key systems Outline Suppose the following was encrypted using a Caesar cipher and the Symmetric key Public key Danish alphabet.
    [Show full text]
  • The Least Common Multiple of a Quadratic Sequence
    The least common multiple of a quadratic sequence Javier Cilleruelo Abstract For any irreducible quadratic polynomial f(x) in Z[x] we obtain the estimate log l.c.m. (f(1); : : : ; f(n)) = n log n + Bn + o(n) where B is a constant depending on f. 1. Introduction The problem of estimating the least common multiple of the ¯rstPn positive integers was ¯rst investigated by Chebyshev [Che52] when he introduced the function ª(n) = pm6n log p = log l.c.m.(1; : : : ; n) in his study on the distribution of prime numbers. The prime number theorem asserts that ª(n) » n, so the asymptotic estimate log l.c.m.(1; : : : ; n) » n is equivalent to the prime number theorem. The analogous asymptotic estimate for any linear polynomial f(x) = ax + b is also known [Bat02] and it is a consequence of the prime number theorem for arithmetic progressions: q X 1 log l.c.m.(f(1); : : : ; f(n)) » n ; (1) Á(q) k 16k6q (k;q)=1 where q = a=(a; b). We address here the problem of estimating log l.c.m.(f(1); : : : ; f(n)) when f is an irreducible quadratic polynomial in Z[x]. When f is a reducible quadratic polynomial the asymptotic estimate is similar to that we obtain for linear polynomials. This case is studied in section x4 with considerably less e®ort than the irreducible case. We state our main theorem. Theorem 1. For any irreducible quadratic polynomial f(x) = ax2 + bx + c in Z[x] we have log l.c.m.
    [Show full text]
  • Some Facts from Number Theory
    Computer Science 52 Some Facts from Number Theory Fall Semester, 2014 These notes are adapted from a document that was prepared for a different course several years ago. They may be helpful as a summary of the facts that we use in Computer Science 52 as we study RSA encryption. The exercises in this document are left over from the previous course; although they are a tremendous amount of fun, they are not part of the assigned work for Computer Science 52. 1 Quotients and Remainders If m and n are integers, and n 6= 0, then there is a unique pair of integers q and r satisfying m = qn + r , and 0 ≤ r < jnj. Not surprisingly, q is the quotient and r is the remainder when m is divided by n.1 We say that n divides m, or n is a divisor of m, when the remainder is zero. The notation n j m is used to signify that n divides m. An integer p is a prime number if 1 < jpj and the only divisors of p are ±1 and ±p. We write a ≡ b (mod n) if b − a is divisible by n.2 This notion, called congruence, is an equivalence relation. All the usual laws of arithmetic hold for congruence; for example, we have the distributivity of multiplication over addition and the associa- tivity of multiplication. a(b + c) ≡ ab + ac (mod n) a(bc) ≡ (ab)c (mod n) When computing arithmetic results for a congruence, it does not hurt replace a value by its remainder on division by n.
    [Show full text]
  • Eureka Math™ Tips for Parents Module 2
    Grade 6 Eureka Math™ Tips for Parents Module 2 The chart below shows the relationships between various fractions and may be a great Key Words tool for your child throughout this module. Greatest Common Factor In this 19-lesson module, students complete The greatest common factor of two whole numbers (not both zero) is the their understanding of the four operations as they study division of whole numbers, division greatest whole number that is a by a fraction, division of decimals and factor of each number. For operations on multi-digit decimals. This example, the GCF of 24 and 36 is 12 expanded understanding serves to complete because when all of the factors of their study of the four operations with positive 24 and 36 are listed, the largest rational numbers, preparing students for factor they share is 12. understanding, locating, and ordering negative rational numbers and working with algebraic Least Common Multiple expressions. The least common multiple of two whole numbers is the least whole number greater than zero that is a What Came Before this Module: multiple of each number. For Below is an example of how a fraction bar model can be used to represent the Students added, subtracted, and example, the LCM of 4 and 6 is 12 quotient in a division problem. multiplied fractions and decimals (to because when the multiples of 4 and the hundredths place). They divided a 6 are listed, the smallest or first unit fraction by a non-zero whole multiple they share is 12. number as well as divided a whole number by a unit fraction.
    [Show full text]
  • Divisibility and Greatest Common Divisors
    DIVISIBILITY AND GREATEST COMMON DIVISORS KEITH CONRAD 1. Introduction We will begin with a review of divisibility among integers, mostly to set some notation and to indicate its properties. Then we will look at two important theorems involving greatest common divisors: Euclid's algorithm and Bezout's identity. The set of integers is denoted Z (from the German word Zahl = number). 2. The Divisibility Relation Definition 2.1. When a and b are integers, we say a divides b if b = ak for some k 2 Z. We then write a j b (read as \a divides b"). Example 2.2. We have 2 j 6 (because 6 = 2 · 3), 4 j (−12), and 5 j 0. We have ±1 j b for every b 2 Z. However, 6 does not divide 2 and 0 does not divide 5. Divisibility is a relation, much like inequalities. In particular, the relation 2 j 6 is not the number 3, even though 6 = 2 · 3. Such an error would be similar to the mistake of confusing the relation 5 < 9 with the number 9 − 5. Notice divisibility is not symmetric: if a j b, it is usually not true that b j a, so you should not confuse the roles of a and b in this relation: 4 j 20 but 20 - 4. Remark 2.3. Learn the definition of a j b as given in Definition 2.1, and not in the b 0 form \ a is an integer." It essentially amounts to the same thing (exception: 0 j 0 but 0 is not defined), however thinking about divisibility in terms of ratios will screw up your understanding of divisibility in other settings in algebra.
    [Show full text]
  • Number Theory Section Summary: 2.2 the Greatest Common Divisor 1. Definitions 2. Theorems
    Number Theory Section Summary: 2.2 The Greatest Common Divisor “Of special interest is the case in which the remainder in the Division Algo- rithm turns out to be zero.” (p. 20) 1. Definitions Divisible: An integer b is said to be divisible by an integer a =6 0, written a|b, if there exists some integer c such that b = ac. common divisor: An integer d is said to be a common divisor of a and b if both d|a and d|b. greatest common divisor: Let a and b be given integers, with at least one of them non-zero. The greatest common divisor of a and b, denoted gcd(a, b), is the positive integer d satisfying the following: (a) d|a and d|b (b) If c|a and c|b, then c ≤ d. relatively prime: Two integers a and b, not both zero, are said to be relatively prime whenever gcd(a, b)=1. 2. Theorems Theorem 2.2: For integers a, b, c, the following hold: (a) a|0, 1|a, a|a (b) a|1 if and only if a = ±1 (c) If a|b and c|d, then ac|bd. (d) If a|b and b|c, then a|c. (e) a|b and b|a if and only if a = ±b 1 (f) If a|b and b =6 0, then |a|≤|b|. (g) If a|b and a|c, then a|(bx + cy) for arbitrary integers x and y. Theorem 2.3: Given integers a and b, not both zero, there exists integers x and y such that gcd(a, b)= ax + by Proof: 2 Corollary: If a and b are given integers, not both zero, then the set T = {ax + by|x, y are integers} is precisely the set of all multiples of d = gcd(a, b).
    [Show full text]
  • Euclidean Algorithm and Multiplicative Inverses
    Fall 2019 Chris Christensen MAT/CSC 483 Finding Multiplicative Inverses Modulo n Two unequal numbers being set out, and the less begin continually subtracted in turn from the greater, if the number which is left never measures the one before it until an unit is left, the original numbers will be prime to one another. Euclid, The Elements, Book VII, Proposition 1, c. 300 BCE. It is not necessary to do trial and error to determine the multiplicative inverse of an integer modulo n. If the modulus being used is small (like 26) there are only a few possibilities to check (26); trial and error might be a good choice. However, some modern public key cryptosystems use very large moduli and require the determination of inverses. We will now examine a method (that is due to Euclid [c. 325 – 265 BCE]) that can be used to construct multiplicative inverses modulo n (when they exist). Euclid's Elements, in addition to geometry, contains a great deal of number theory – properties of the positive integers. The Euclidean algorithm is Propositions I - II of Book VII of Euclid’s Elements (and Propositions II – III of Book X). Euclid describes a process for determining the greatest common divisor (gcd) of two positive integers. 1 The Euclidean Algorithm to Find the Greatest Common Divisor Let us begin with the two positive integers, say, 13566 and 35742. Divide the smaller into the larger: 35742=×+ 2 13566 8610 Divide the remainder (8610) into the previous divisor (35742): 13566=×+ 1 8610 4956 Continue to divide remainders into previous divisors: 8610=×+ 1 4956 3654 4956=×+ 1 3654 1302 3654=×+ 2 1302 1050 1302=×+ 1 1050 252 1050=×+ 4 252 42 252= 6 × 42 The process stops when the remainder is 0.
    [Show full text]