Greatest Common Divisor: Algorithm and Proof Mary K
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Survey of Modern Mathematical Topics Inspired by History of Mathematics
Survey of Modern Mathematical Topics inspired by History of Mathematics Paul L. Bailey Department of Mathematics, Southern Arkansas University E-mail address: [email protected] Date: January 21, 2009 i Contents Preface vii Chapter I. Bases 1 1. Introduction 1 2. Integer Expansion Algorithm 2 3. Radix Expansion Algorithm 3 4. Rational Expansion Property 4 5. Regular Numbers 5 6. Problems 6 Chapter II. Constructibility 7 1. Construction with Straight-Edge and Compass 7 2. Construction of Points in a Plane 7 3. Standard Constructions 8 4. Transference of Distance 9 5. The Three Greek Problems 9 6. Construction of Squares 9 7. Construction of Angles 10 8. Construction of Points in Space 10 9. Construction of Real Numbers 11 10. Hippocrates Quadrature of the Lune 14 11. Construction of Regular Polygons 16 12. Problems 18 Chapter III. The Golden Section 19 1. The Golden Section 19 2. Recreational Appearances of the Golden Ratio 20 3. Construction of the Golden Section 21 4. The Golden Rectangle 21 5. The Golden Triangle 22 6. Construction of a Regular Pentagon 23 7. The Golden Pentagram 24 8. Incommensurability 25 9. Regular Solids 26 10. Construction of the Regular Solids 27 11. Problems 29 Chapter IV. The Euclidean Algorithm 31 1. Induction and the Well-Ordering Principle 31 2. Division Algorithm 32 iii iv CONTENTS 3. Euclidean Algorithm 33 4. Fundamental Theorem of Arithmetic 35 5. Infinitude of Primes 36 6. Problems 36 Chapter V. Archimedes on Circles and Spheres 37 1. Precursors of Archimedes 37 2. Results from Euclid 38 3. Measurement of a Circle 39 4. -
Math 3010 § 1. Treibergs First Midterm Exam Name
Math 3010 x 1. First Midterm Exam Name: Solutions Treibergs February 7, 2018 1. For each location, fill in the corresponding map letter. For each mathematician, fill in their principal location by number, and dates and mathematical contribution by letter. Mathematician Location Dates Contribution Archimedes 5 e β Euclid 1 d δ Plato 2 c ζ Pythagoras 3 b γ Thales 4 a α Locations Dates Contributions 1. Alexandria E a. 624{547 bc α. Advocated the deductive method. First man to have a theorem attributed to him. 2. Athens D b. 580{497 bc β. Discovered theorems using mechanical intuition for which he later provided rigorous proofs. 3. Croton A c. 427{346 bc γ. Explained musical harmony in terms of whole number ratios. Found that some lengths are irrational. 4. Miletus D d. 330{270 bc δ. His books set the standard for mathematical rigor until the 19th century. 5. Syracuse B e. 287{212 bc ζ. Theorems require sound definitions and proofs. The line and the circle are the purest elements of geometry. 1 2. Use the Euclidean algorithm to find the greatest common divisor of 168 and 198. Find two integers x and y so that gcd(198; 168) = 198x + 168y: Give another example of a Diophantine equation. What property does it have to be called Diophantine? (Saying that it was invented by Diophantus gets zero points!) 198 = 1 · 168 + 30 168 = 5 · 30 + 18 30 = 1 · 18 + 12 18 = 1 · 12 + 6 12 = 3 · 6 + 0 So gcd(198; 168) = 6. 6 = 18 − 12 = 18 − (30 − 18) = 2 · 18 − 30 = 2 · (168 − 5 · 30) − 30 = 2 · 168 − 11 · 30 = 2 · 168 − 11 · (198 − 168) = 13 · 168 − 11 · 198 Thus x = −11 and y = 13 . -
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. -
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. -
CSU200 Discrete Structures Professor Fell Integers and Division
CSU200 Discrete Structures Professor Fell Integers and Division Though you probably learned about integers and division back in fourth grade, we need formal definitions and theorems to describe the algorithms we use and to very that they are correct, in general. If a and b are integers, a ¹ 0, we say a divides b if there is an integer c such that b = ac. a is a factor of b. a | b means a divides b. a | b mean a does not divide b. Theorem 1: Let a, b, and c be integers, then 1. if a | b and a | c then a | (b + c) 2. if a | b then a | bc for all integers, c 3. if a | b and b | c then a | c. Proof: Here is a proof of 1. Try to prove the others yourself. Assume a, b, and c be integers and that a | b and a | c. From the definition of divides, there must be integers m and n such that: b = ma and c = na. Then, adding equals to equals, we have b + c = ma + na. By the distributive law and commutativity, b + c = (m + n)a. By closure of addition, m + n is an integer so, by the definition of divides, a | (b + c). Q.E.D. Corollary: If a, b, and c are integers such that a | b and a | c then a | (mb + nc) for all integers m and n. Primes A positive integer p > 1 is called prime if the only positive factor of p are 1 and p. -
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. -
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. -
2017 Grand Lodge of Minnesota Annual Communication Proceedings
2017 PROCEEDINGS The Grand Lodge A.F. and A.M. Minnesota Robert L. Darling, Grand Master Link to interactive index page 2017 ANNUAL PROCEEDINGS GRAND LODGE A. F. & A. M. of MINNESOTA 11501 Masonic Home Drive Bloomington, MN 55437-3699 952-948-6700 800-245-6050 952-948-6710 Fax E-Mail:[email protected] www.mn-masons.org 2017 ANNUAL PROCEEDINGS 3 ROBERT L. DARLING GRAND MASTER 4 GRAND LODGE OF MINNESOTA BIOGRAPHY GRAND MASTER ROBERT L. DARLING Robert L. Darling, “Bob”, was born on February 17, 1956 in Mattoon, Illinois. His parents were Russell D. and Theresa D. Darling. They lived in Greenup, Illinois. The family moved from Greenup to Decatur, Illinois and then to Maroa, Illinois where he attended the Maroa Elementary and Maroa-Forsyth High School. After graduating from the high school in mid-year, Bob enrolled and attended Illinois State University located in Normal, Illinois. In December 1976, he graduated with a B.S. Degree in Industrial Technology. Bob has worked for numerous companies including Caterpillar Inc. in Decatur, Illinois; Baldwin Associates, Clinton, Illinois; Schrock Cabinets/An Electrolux Company, Arthur, Illinois, Electrolux Home Products, St. Cloud, Minnesota. He is currently employed with the State of Minnesota, Department of Labor and Industry, OSHA Enforcement as a Safety Investigator Principal, and has worked there since 2003. Bob has been a Master Mason for 29 years. He was initiated on November 23, 1987; passed to a Fellowcraft on December 12, 1987; and was raised to the Sublime Degree of a Master Mason on January 9, 1988 by Maroa Lodge No. -
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. -
History of Mathematics Log of a Course
History of mathematics Log of a course David Pierce / This work is licensed under the Creative Commons Attribution–Noncommercial–Share-Alike License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/ CC BY: David Pierce $\ C Mathematics Department Middle East Technical University Ankara Turkey http://metu.edu.tr/~dpierce/ [email protected] Contents Prolegomena Whatishere .................................. Apology..................................... Possibilitiesforthefuture . I. Fall semester . Euclid .. Sunday,October ............................ .. Thursday,October ........................... .. Friday,October ............................. .. Saturday,October . .. Tuesday,October ........................... .. Friday,October ............................ .. Thursday,October. .. Saturday,October . .. Wednesday,October. ..Friday,November . ..Friday,November . ..Wednesday,November. ..Friday,November . ..Friday,November . ..Saturday,November. ..Friday,December . ..Tuesday,December . . Apollonius and Archimedes .. Tuesday,December . .. Saturday,December . .. Friday,January ............................. .. Friday,January ............................. Contents II. Spring semester Aboutthecourse ................................ . Al-Khw¯arizm¯ı, Th¯abitibnQurra,OmarKhayyám .. Thursday,February . .. Tuesday,February. .. Thursday,February . .. Tuesday,March ............................. . Cardano .. Thursday,March ............................ .. Excursus................................. -
On Perfect Numbers and Their Relations 1 Introduction
Int. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 27, 1337 - 1346 On Perfect Numbers and their Relations Recep G¨ur 2000 Evler Mahallesi Boykent Sitesi E Blok 26/7 Nevsehir, Turkey [email protected] Nihal Bircan Technische Universitaet Berlin Fakultaet II Institut f¨ur Mathematik MA 8 − 1 Strasse des 17. Juni 136 D-10623 Berlin, Germany [email protected] Abstract In this paper, we get some new formulas for generalized perfect numbers and their relationship between arithmetical functions φ, σ concerning Ore’s harmonic numbers and by using these formulas we present some examples. Mathematics Subject Classification: 11A25, 11A41, 11Y70 Keywords: perfect number, 2-hyperperfect number, Euler’s totient function, Ore harmonic number 1 Introduction In this section, we aimed to provide general information on perfect numbers shortly. Here and throughout the paper we assume m, n, k, d, b are positive integers and p is prime. N is called perfect number, if it is equal to the sum of its proper divisors. The first few perfect numbers are 6, 28, 496, 8128,... since, 6 = 1+2+3 28 = 1+2+4+7+14 496 = 1+2+4+8+16+31+62+124+248 Euclid discovered the first four perfect numbers which are generated by the formula 2n−1(2n−1), called Euclid number. In his book ’Elements’ he presented the proof of the formula which gives an even perfect number whenever 2n −1is 1338 Recep G¨ur and Nihal Bircan prime. In order for 2n −1 to be a prime n must itself be a prime. -
Discrete Mathematics Homework 3
Discrete Mathematics Homework 3 Ethan Bolker November 15, 2014 Due: ??? We're studying number theory (leading up to cryptography) for the next few weeks. You can read Unit NT in Bender and Williamson. This homework contains some programming exercises, some number theory computations and some proofs. The questions aren't arranged in any particular order. Don't just start at the beginning and do as many as you can { read them all and do the easy ones first. I may add to this homework from time to time. Exercises 1. Use the Euclidean algorithm to compute the greatest common divisor d of 59400 and 16200 and find integers x and y such that 59400x + 16200y = d I recommend that you do this by hand for the logical flow (a calculator is fine for the arith- metic) before writing the computer programs that follow. There are many websites that will do the computation for you, and even show you the steps. If you use one, tell me which one. We wish to find gcd(16200; 59400). Solution LATEX note. These are separate equations in the source file. They'd be better formatted in an align* environment. 59400 = 3(16200) + 10800 next find gcd(10800; 16200) 16200 = 1(10800) + 5400 next find gcd(5400; 10800) 10800 = 2(5400) + 0 gcd(16200; 59400) = 5400 59400x + 16200y = 5400 5400(11x + 3y) = 5400 11x + 3y = 1 By inspection, we can easily determine that (x; y) = (−1; 4) (among other solutions), but let's use the algorithm. 11 = 3 · 3 + 2 3 = 2 · 1 + 1 1 = 3 − (2) · 1 1 = 3 − (11 − 3 · 3) 1 = 11(−1) + 3(4) (x; y) = (−1; 4) 1 2.