Computing Square Roots using the Babylonian Method
|
|
- Jade Mitchell
- 6 years ago
- Views:
Transcription
1 Computing Square Roots using the Babylonian Method René Thiemann February 16, 2013 Abstract We implement the Babylonian method [1] to compute square roots of numbers. We provide precise algorithms for naturals, integers and rationals, and offer an approximation algorithm for linear ordered fields. Contents 1 Introduction 2 2 The Babylonian method 2 3 The Babylonian method using integer division 2 4 Square roots for the naturals 5 5 Square roots for the rationals 5 6 Approximating square roots 5 7 Some tests 7 theory Sqrt-Babylonian imports Rat begin This research is supported by FWF (Austrian Science Fund) project P22767-N13. 1
2 1 Introduction This theory provides executable algorithms for computing square-roots of numbers which are all based on the Babylonian method (which is also known as Heron s method or Newton s method). For integers / naturals / rationals precise algorithms are given, i.e., here sqrt x delivers a list of all integers / naturals / rationals y where y 2 = x. To this end, the Babylonian method has been adapted by using integerdivisions. In addition to the precise algorithms, we also provide one approximation algorithm for arbitrary linear ordered fields, where some number y is computed such that y 2 x < ε. The major motivation for developing the precise algorithms was given by CeTA [2], a tool for certifiying termination proofs. Here, non-linear equations of the form (a 1 x a n x n ) 2 = p had to be solved over the integers, where p is a concrete polynomial. For example, for the equation (ax + by) 2 = 4x 2 12xy + 9y 2 one easily figures out that a 2 = 4, b 2 = 9, and ab = 6, which results in a possible solution a = 4 = 2, b = 9 = 3. 2 The Babylonian method The Babylonian method for computing n iteratively computes x i+1 = n x i + x i 2 until x 2 i n. Note that if x2 0 n, then for all i we have both x2 i n and x i x i+1. 3 The Babylonian method using integer division First, the algorithm is developed for the non-negative integers. Here, the division operation x y is replaced by x div y = of-int x / of-int y. Note that replacing of-int x / of-int y by of-int x / of-int y would lead to non-termination in the following algorithm. We explicititly develop the algorithm on the integers and not on the naturals, as the calculations on the integers have been much easier. For example, y x+x = y on the integers, which would require the side-condition y x for the naturals. These conditions will make the reasoning much more tedious as we have experienced in an earlier state of this development where everything was based on naturals. For the main algorithm we use the auxiliary guard (x < 0 n < 0 ) to ensure that we do not have to worry about negative numbers for the 2
3 termination argument and during the soundness proof. Moreover, since the elements x 0, x 1, x 2,... are monotone decreasing, we abort as soon as x 2 i n. function sqrt-babylon-int-main :: int int int option where sqrt-babylon-int-main x n = (if (x < 0 n < 0 ) then None else (if x x n then (if x x = n then Some x else None) else sqrt-babylon-int-main ((n div x + x) div 2 ) n)) For the executable algorithm we omit the guard and use a let-construction partial-function (tailrec) sqrt-int-main :: int int int option where [code]: sqrt-int-main x n = (let x2 = x x in if x2 n then (if x2 = n then Some x else None) else sqrt-int-main ((n div x + x) div 2 ) n) Once we have proven soundness of sqrt-babylon-int-main and equivalence to sqrt-int-main, it is easy to assemble the following algorithm which computes all square roots for arbitrary integers. definition sqrt-int :: int int list where sqrt-int x if x < 0 then [] else case sqrt-int-main x x of Some y if y = 0 then [0 ] else [y, y] None [] For proving soundness, we first need some basic properties of integers. lemma int-lesseq-square: (z :: int) z z lemma square-int-pos-mono: assumes x: 0 (x :: int) and y: 0 y shows (x x y y) = (x y) lemma square-int-pos-inj : assumes x: 0 (x :: int) and y: 0 y and id: x x = y y shows x = y lemma mod-div-equality-int: (n :: int) div x x = n n mod x lemma iteration-mono-eq: assumes xn: x x = (n :: int) shows (n div x + x) div 2 = x The following property is the essential property for proving termination of sqrt-babylon-int-main. lemma iteration-mono-less: assumes x: x 0 and n: n 0 and xn: x x > (n :: int) shows (n div x + x) div 2 < x 3
4 lemma iteration-mono-lesseq: assumes x: x 0 and n: n 0 and xn: x x (n :: int) shows (n div x + x) div 2 x termination We next prove that sqrt-int-main is a correct implementation of sqrt-babylon-int-main. We additionally prove that the result is always positive, which poses no overhead and allows to share the inductive proof. lemma sqrt-int-main-babylon-pos: x 0 = n 0 = sqrt-int-main x n = sqrt-babylon-int-main x n (sqrt-int-main x n = Some y y 0 ) lemma sqrt-int-main: x 0 = n 0 = sqrt-int-main x n = sqrt-babylon-int-main x n lemma sqrt-int-main-pos: x 0 = n 0 = sqrt-int-main x n = Some y = y 0 Soundness of sqrt-babylon-int-main is trivial. lemma sqrt-babylon-int-main-sound: sqrt-babylon-int-main x n = Some y = y y = n For completeness, we first need the following crucial inquality, which would be trivial if one would use standard division instead of integer division. (Proving this equation has required a significant amount of time during the development, as we first made several proof attemps which have been dead ends.) lemma square-inequality: 2 x y x x div y y + y (y :: int) lemma sqrt-babylon-int-main-complete: assumes x0 : x 0 shows x x = n = y y n = y 0 = n 0 = sqrt-babylon-int-main y n = Some x Having proven soundness and completeness of sqrt-babylon-int-main, it is easy to prove soundness of sqrt-int. lemma sqrt-int[simp]: set (sqrt-int x) = {y. y y = x} 4
5 4 Square roots for the naturals The idea is to use the algorithm for the integers and then convert between naturals and integers. In the following lemma, we first observe that the first result of sqrt-int is always non-negative. lemma sqrt-int-empty-0-pos-neg: y. y > 0 (sqrt-int x = [] sqrt-int x = [0 ] sqrt-int x = [y, y]) With this knowledge, it is easy to define a square-root function on the naturals. definition sqrt-nat :: nat nat list where sqrt-nat x case (sqrt-int (int x)) of [] [] x # xs [nat x] The soundness of sqrt-nat is straight-forward. lemma sqrt-nat[simp]: set (sqrt-nat x) = { y. y y = x} (is?l =?r) 5 Square roots for the rationals For the rationals, the idea again, to apply the algorithm for the integers and then convert between integers and rationals. Here, the essential idea is to compute the square-roots of the numerator and denominator separately. definition sqrt-rat :: rat rat list where sqrt-rat x case quotient-of x of (z,n) (case sqrt-int n of [] [] sn # xs map (λ sz. of-int sz / of-int sn) (sqrt-int z)) Whereas soundness of sqrt-rat is simple, it is a bit more tedious to show that all roots are computed, which uses facts on coprime. lemma sqrt-rat[simp]: set (sqrt-rat x) = { y. y y = x} (is?l =?r) 6 Approximating square roots The difference to the previous algorithms is that now we abort, once the distance is below ɛ. Moreover, here we use standard division and not integer division. We first provide the executable version without guard (0 :: a) < x as partial function, and afterwards prove termination and soundness for a similar algorithm that is defined within the upcoming locale. partial-function (tailrec) sqrt-approx-main-impl :: a :: linordered-field a a a where 5
6 [code]: sqrt-approx-main-impl ε n x = (if x x n < ε then x else sqrt-approx-main-impl ε n ((n / x + x) / 2 )) We setup a locale where we ensure that we have standard assumptions: positive ɛ and positive n. We require sort floor-ceiling, since x is used for the termination argument. locale sqrt-approximation = fixes ε :: a :: {linordered-field,floor-ceiling} and n :: a assumes ε : ε > 0 and n: n > 0 begin function sqrt-approx-main :: a a where sqrt-approx-main x = (if x > 0 then (if x x n < ε then x else sqrt-approx-main ((n / x + x) / 2 )) else 0 ) Termination essentially is a proof of convergence. Here, one complication is the fact that the limit is not always defined. E.g., if a is rat then there is no square root of 2. Therefore, the error-rate x n 1 is not expressible. Instead we use the expression x2 n any square-root operation. termination 1 as error-rate which does not require Once termination is proven, it is easy to show equivalence of sqrt-approx-main-impl and sqrt-approx-main. lemma sqrt-approx-main-impl: x > 0 = sqrt-approx-main-impl ε n x = sqrt-approx-main x Also soundness is not complicated. lemma sqrt-approx-main-sound: assumes x: x > 0 and xx: x x > n shows sqrt-approx-main x sqrt-approx-main x > n sqrt-approx-main x sqrt-approx-main x n < ε end It remains to assemble everything into one algorithm. definition sqrt-approx :: a :: {linordered-field,floor-ceiling} a a where sqrt-approx ε x if ε > 0 then (if x = 0 then 0 else let xpos = abs x in sqrt-approx-main-impl ε xpos (xpos + 1 )) else 0 6
7 lemma sqrt-approx: assumes ε: ε > 0 shows sqrt-approx ε x sqrt-approx ε x x < ε 7 Some tests Testing executabity and show that sqrt 2 is irrational lemma ( i :: rat. i i = 2 ) Testing speed lemma ( i :: int. i i = ) The following test value let ε = 1 / :: rat; s = sqrt-approx ε 2 in (s, s s 2, s s 2 < ε) end results in ( , e-14, True). References [1] T. Heath. A History of Greek Mathematics, volume 2, pages Clarendon Press, [2] R. Thiemann and C. Sternagel. Certification of termination proofs using CeTA. In Proc. TPHOLs 09, volume 5674 of LNCS, pages ,
Computing N-th Roots using the Babylonian Method
Computing N-th Roots using the Babylonian Method René Thiemann May 27, 2015 Abstract We implement the Babylonian method [1] to compute n-th roots of numbers. We provide precise algorithms for naturals,
More informationLecture 2: Continued fractions, rational approximations
Lecture 2: Continued fractions, rational approximations Algorithmic Number Theory (Fall 204) Rutgers University Swastik Kopparty Scribe: Cole Franks Continued Fractions We begin by calculating the continued
More informationProofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 1, 018 Outline Non POMI Based s Some Contradiction s Triangle
More informationProofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018 Outline 1 Non POMI Based s 2 Some Contradiction s 3
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationOutline Goals and Assumptions Real Numbers Rational and Irrational. L11: Numbers. Alice E. Fischer
L11: Numbers Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing March 5-8, 2018 1 Goals and Assumptions 2 Real Numbers 3 Rational and Irrational Assumptions We rely the following assumptions:
More informationLECTURE 15, WEDNESDAY
LECTURE 15, WEDNESDAY 31.03.04 FRANZ LEMMERMEYER 1. The Filtration of E (1) Let us now see why the kernel of reduction E (1) is torsion free. Recall that E (1) is defined by the exact sequence 0 E (1)
More informationPolynomial Factorization
Polynomial Factorization René Thiemann and Akihisa Yamada October 11, 2017 Abstract Based on existing libraries for polynomial interpolation and matrices, we formalized several factorization algorithms
More informationAlg 1B Chapter 7 Final Exam Review
Name: Class: Date: ID: A Alg B Chapter 7 Final Exam Review Please answer all questions and show your work. Simplify ( 2) 4. 2. Simplify ( 4) 4. 3. Simplify 5 2. 4. Simplify 9x0 y 3 z 8. 5. Simplify 7w0
More informationnot to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results
REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results Euclid s Division Lemma : Given two positive integers a and b, there exist unique integers q and r satisfying a = bq + r, 0 r < b. Euclid s Division
More informationAlgorithms CMSC Basic algorithms in Number Theory: Euclid s algorithm and multiplicative inverse
Algorithms CMSC-27200 Basic algorithms in Number Theory: Euclid s algorithm and multiplicative inverse Instructor: László Babai Last updated 02-14-2015. Z denotes the set of integers. All variables in
More informationFunctional Data Structures
Functional Data Structures with Isabelle/HOL Tobias Nipkow Fakultät für Informatik Technische Universität München 2017-2-3 1 Part II Functional Data Structures 2 Chapter 1 Binary Trees 3 1 Binary Trees
More informationSolutions to Homework Set 1
Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement
More informationLecture 4: Completion of a Metric Space
15 Lecture 4: Completion of a Metric Space Closure vs. Completeness. Recall the statement of Lemma??(b): A subspace M of a metric space X is closed if and only if every convergent sequence {x n } X satisfying
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationELEMENTARY NUMBER THEORY AND METHODS OF PROOF
CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF Copyright Cengage Learning. All rights reserved. SECTION 4.5 Direct Proof and Counterexample V: Floor and Ceiling Copyright Cengage Learning. All
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationMATH 271 Summer 2016 Practice problem solutions Week 1
Part I MATH 271 Summer 2016 Practice problem solutions Week 1 For each of the following statements, determine whether the statement is true or false. Prove the true statements. For the false statement,
More informationSubresultants. Sebastiaan Joosten, René Thiemann and Akihisa Yamada. October 10, 2017
Subresultants Sebastiaan Joosten, René Thiemann and Akihisa Yamada October 10, 2017 Abstract We formalize the theory of subresultants and the subresultant polynomial remainder sequence as described by
More informationCDM. Recurrences and Fibonacci
CDM Recurrences and Fibonacci Klaus Sutner Carnegie Mellon University 20-fibonacci 2017/12/15 23:16 1 Recurrence Equations Second Order The Fibonacci Monoid Recurrence Equations 3 We can define a sequence
More information1 Differentiability at a point
Notes by David Groisser, Copyright c 2012 What does mean? These notes are intended as a supplement (not a textbook-replacement) for a class at the level of Calculus 3, but can be used in a higher-level
More informationCSE 1400 Applied Discrete Mathematics Proofs
CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4
More informationCDM. Recurrences and Fibonacci. 20-fibonacci 2017/12/15 23:16. Terminology 4. Recurrence Equations 3. Solution and Asymptotics 6.
CDM Recurrences and Fibonacci 1 Recurrence Equations Klaus Sutner Carnegie Mellon University Second Order 20-fibonacci 2017/12/15 23:16 The Fibonacci Monoid Recurrence Equations 3 Terminology 4 We can
More informationHermite normal form: Computation and applications
Integer Points in Polyhedra Gennady Shmonin Hermite normal form: Computation and applications February 24, 2009 1 Uniqueness of Hermite normal form In the last lecture, we showed that if B is a rational
More informationFoundations of Discrete Mathematics
Foundations of Discrete Mathematics Chapter 0 By Dr. Dalia M. Gil, Ph.D. Statement Statement is an ordinary English statement of fact. It has a subject, a verb, and a predicate. It can be assigned a true
More information,... We would like to compare this with the sequence y n = 1 n
Example 2.0 Let (x n ) n= be the sequence given by x n = 2, i.e. n 2, 4, 8, 6,.... We would like to compare this with the sequence = n (which we know converges to zero). We claim that 2 n n, n N. Proof.
More informationAN EXPLORATION OF KHINCHIN S CONSTANT
AN EXPLORATION OF KHINCHIN S CONSTANT ALEJANDRO YOUNGER Abstract Every real number can be expressed as a continued fraction in the following form, with n Z and a i N for all i x = n +, a + a + a 2 + For
More informationModule 1. Integers, Induction, and Recurrences
Module 1. Integers, Induction, and Recurrences This module will look at The integers and the natural numbers. Division and divisors, greatest common divisors Methods of reasoning including proof by contradiction
More informationMidterm Review. Name: Class: Date: ID: A. Short Answer. 1. For each graph, write the equation of a radical function of the form y = a b(x h) + k.
Name: Class: Date: ID: A Midterm Review Short Answer 1. For each graph, write the equation of a radical function of the form y = a b(x h) + k. a) b) c) 2. Determine the domain and range of each function.
More information( )( ) Algebra I / Technical Algebra. (This can be read: given n elements, choose r, 5! 5 4 3! ! ( 5 3 )! 3!(2) 2
470 Algebra I / Technical Algebra Absolute Value: A number s distance from zero on a number line. A number s absolute value is nonnegative. 4 = 4 = 4 Algebraic Expressions: A mathematical phrase that can
More informationA Formalisation of Lehmer s Primality Criterion
A Formalisation of Lehmer s Primality Criterion By Simon Wimmer and Lars Noschinski April 17, 2016 Abstract In 1927, Lehmer presented criterions for primality, based on the converse of Fermat s litte theorem
More informationMathematical Case Studies: Some Number Theory
Mathematical Case Studies: Some Number Theory Rob Arthan rda@lemma-one.com 31 December 2016 Abstract This ProofPower-HOL document presents some definitions and theorems from number theory. The topics currently
More informationMATH 190 KHAN ACADEMY VIDEOS
MATH 10 KHAN ACADEMY VIDEOS MATTHEW AUTH 11 Order of operations 1 The Real Numbers (11) Example 11 Worked example: Order of operations (PEMDAS) 7 2 + (7 + 3 (5 2)) 4 2 12 Rational + Irrational Example
More informationx 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?
1 How many natural numbers are between 1.5 and 4.5 on the number line? 2 How many composite numbers are between 7 and 13 on the number line? 3 How many prime numbers are between 7 and 20 on the number
More informationx 2 + 6x 18 x + 2 Name: Class: Date: 1. Find the coordinates of the local extreme of the function y = x 2 4 x.
1. Find the coordinates of the local extreme of the function y = x 2 4 x. 2. How many local maxima and minima does the polynomial y = 8 x 2 + 7 x + 7 have? 3. How many local maxima and minima does the
More information27 Wyner Math 2 Spring 2019
27 Wyner Math 2 Spring 2019 CHAPTER SIX: POLYNOMIALS Review January 25 Test February 8 Thorough understanding and fluency of the concepts and methods in this chapter is a cornerstone to success in the
More informationSection 1.1 Notes. Real Numbers
Section 1.1 Notes Real Numbers 1 Types of Real Numbers The Natural Numbers 1,,, 4, 5, 6,... These are also sometimes called counting numbers. Denoted by the symbol N Integers..., 6, 5, 4,,, 1, 0, 1,,,
More informationarxiv: v2 [cs.ds] 17 Sep 2017
Two-Dimensional Indirect Binary Search for the Positive One-In-Three Satisfiability Problem arxiv:1708.08377v [cs.ds] 17 Sep 017 Shunichi Matsubara Aoyama Gakuin University, 5-10-1, Fuchinobe, Chuo-ku,
More information1 Homework. Recommended Reading:
Analysis MT43C Notes/Problems/Homework Recommended Reading: R. G. Bartle, D. R. Sherbert Introduction to real analysis, principal reference M. Spivak Calculus W. Rudin Principles of mathematical analysis
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
More informationExercise on Continued Fractions
Exercise on Continued Fractions Jason Eisner, Spring 1993 This was one of several optional small computational projects assigned to undergraduate mathematics students at Cambridge University in 1993. I
More informationTHE DIVISION THEOREM IN Z AND R[T ]
THE DIVISION THEOREM IN Z AND R[T ] KEITH CONRAD 1. Introduction In both Z and R[T ], we can carry out a process of division with remainder. Theorem 1.1. For any integers a and b, with b nonzero, there
More informationACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2018
ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER 1 2017/2018 DR. ANTHONY BROWN 1. Arithmetic and Algebra 1.1. Arithmetic of Numbers. While we have calculators and computers
More informationCHAPTER 1 REAL NUMBERS KEY POINTS
CHAPTER 1 REAL NUMBERS 1. Euclid s division lemma : KEY POINTS For given positive integers a and b there exist unique whole numbers q and r satisfying the relation a = bq + r, 0 r < b. 2. Euclid s division
More informationRegister machines L2 18
Register machines L2 18 Algorithms, informally L2 19 No precise definition of algorithm at the time Hilbert posed the Entscheidungsproblem, just examples. Common features of the examples: finite description
More informationmeans is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.
1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationFoundations of Abstract Interpretation
Escuela 03 II / 1 Foundations of Abstract Interpretation David Schmidt Kansas State University www.cis.ksu.edu/~schmidt Escuela 03 II / 2 Outline 1. Lattices and continuous functions 2. Galois connections,
More informationQuestion Details SPreCalc [ ] Question Details SPreCalc MI. [ ]
of 11 MATH 142 Chapter 1 Homework (4705314) Question 1234567891011121314151617181920212223242526272829303132333435363 Description This homework assignment covers Chapter 1: 1.1, 1.2, 1.3, 1.4, and 1.5...
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationIntroduction to Divide and Conquer
Introduction to Divide and Conquer Sorting with O(n log n) comparisons and integer multiplication faster than O(n 2 ) Periklis A. Papakonstantinou York University Consider a problem that admits a straightforward
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
More informationbc7f2306 Page 1 Name:
Name: Questions 1 through 4 refer to the following: Solve the given inequality and represent the solution set using set notation: 1) 3x 1 < 2(x + 4) or 7x 3 2(x + 1) Questions 5 and 6 refer to the following:
More informationInteger-Valued Polynomials
Integer-Valued Polynomials LA Math Circle High School II Dillon Zhi October 11, 2015 1 Introduction Some polynomials take integer values p(x) for all integers x. The obvious examples are the ones where
More informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationarxiv: v1 [math.co] 7 Jul 2014
Sum-ratio estimates over arbitrary finite fields Oliver Roche-Newton arxiv:1407.1654v1 [math.co] 7 Jul 2014 July 11, 2018 Abstract The aim of this note is to record a proof that the estimate max{ A+A,
More informationDirchlet s Function and Limit and Continuity Arguments
Dirchlet s Function and Limit and Continuity Arguments James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 23, 2018 Outline 1 Dirichlet
More informationDue date: Monday, February 6, 2017.
Modern Analysis Homework 3 Solutions Due date: Monday, February 6, 2017. 1. If A R define A = {x R : x A}. Let A be a nonempty set of real numbers, assume A is bounded above. Prove that A is bounded below
More informationChinese Remainder Theorem
Chinese Remainder Theorem Theorem Let R be a Euclidean domain with m 1, m 2,..., m k R. If gcd(m i, m j ) = 1 for 1 i < j k then m = m 1 m 2 m k = lcm(m 1, m 2,..., m k ) and R/m = R/m 1 R/m 2 R/m k ;
More informationRoots of Unity, Cyclotomic Polynomials and Applications
Swiss Mathematical Olympiad smo osm Roots of Unity, Cyclotomic Polynomials and Applications The task to be done here is to give an introduction to the topics in the title. This paper is neither complete
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationLINEAR FORMS IN LOGARITHMS
LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationClass 8: Numbers Exercise 3B
Class : Numbers Exercise B 1. Compare the following pairs of rational numbers: 1 1 i First take the LCM of. LCM = 96 Therefore: 1 = 96 Hence we see that < 6 96 96 1 1 1 1 = 6 96 1 or we can say that
More informationSome Results Concerning Uniqueness of Triangle Sequences
Some Results Concerning Uniqueness of Triangle Sequences T. Cheslack-Postava A. Diesl M. Lepinski A. Schuyler August 12 1999 Abstract In this paper we will begin by reviewing the triangle iteration. We
More informationMTH103 Section 065 Exam 2. x 2 + 6x + 7 = 2. x 2 + 6x + 5 = 0 (x + 1)(x + 5) = 0
Absolute Value 1. (10 points) Find all solutions to the following equation: x 2 + 6x + 7 = 2 Solution: You first split this into two equations: x 2 + 6x + 7 = 2 and x 2 + 6x + 7 = 2, and solve each separately.
More information1.1 Basic Algebra. 1.2 Equations and Inequalities. 1.3 Systems of Equations
1. Algebra 1.1 Basic Algebra 1.2 Equations and Inequalities 1.3 Systems of Equations 1.1 Basic Algebra 1.1.1 Algebraic Operations 1.1.2 Factoring and Expanding Polynomials 1.1.3 Introduction to Exponentials
More informationAlgebraic Numbers in Isabelle/HOL
Algebraic Numbers in Isabelle/HOL René Thiemann and Akihisa Yamada University of Innsbruck Abstract. We formalize algebraic numbers in Isabelle/HOL, based on existing libraries for matrices and Sturm s
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationPELL S EQUATION, II KEITH CONRAD
PELL S EQUATION, II KEITH CONRAD 1. Introduction In Part I we met Pell s equation x dy = 1 for nonsquare positive integers d. We stated Lagrange s theorem that every Pell equation has a nontrivial solution
More informationSuppose R is an ordered ring with positive elements P.
1. The real numbers. 1.1. Ordered rings. Definition 1.1. By an ordered commutative ring with unity we mean an ordered sextuple (R, +, 0,, 1, P ) such that (R, +, 0,, 1) is a commutative ring with unity
More informationSolutions for Homework Assignment 2
Solutions for Homework Assignment 2 Problem 1. If a,b R, then a+b a + b. This fact is called the Triangle Inequality. By using the Triangle Inequality, prove that a b a b for all a,b R. Solution. To prove
More informationQuadratics and Other Polynomials
Algebra 2, Quarter 2, Unit 2.1 Quadratics and Other Polynomials Overview Number of instructional days: 15 (1 day = 45 60 minutes) Content to be learned Know and apply the Fundamental Theorem of Algebra
More informationCauchy s Mean Theorem and the Cauchy-Schwarz Inequality. Benjamin Porter
Cauchy s Mean Theorem and the Cauchy-Schwarz Inequality Benjamin Porter March 12, 2013 Contents 1 Cauchy s Mean Theorem 3 1.1 Abstract.............................. 3 1.2 Formal proof...........................
More informationFinite Fields. Mike Reiter
1 Finite Fields Mike Reiter reiter@cs.unc.edu Based on Chapter 4 of: W. Stallings. Cryptography and Network Security, Principles and Practices. 3 rd Edition, 2003. Groups 2 A group G, is a set G of elements
More informationSolution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1
Solution Sangchul Lee March, 018 1 Solution of Homework 7 Problem 1.1 For a given k N, Consider two sequences (a n ) and (b n,k ) in R. Suppose that a n b n,k for all n,k N Show that limsup a n B k :=
More informationFall 2015 Lecture 14: Modular congruences. cse 311: foundations of computing
Fall 2015 Lecture 14: Modular congruences cse 311: foundations of computing If a and b are positive integers, then gcd a, b = gcd (b, a mod b) Useful GCD Fact Proof: By definition a = a div b b + (a mod
More informationChapter Five Notes N P U2C5
Chapter Five Notes N P UC5 Name Period Section 5.: Linear and Quadratic Functions with Modeling In every math class you have had since algebra you have worked with equations. Most of those equations have
More informationMath 104: Homework 1 solutions
Math 10: Homework 1 solutions 1. The basis for induction, P 1, is true, since 1 3 = 1. Now consider the induction step, assuming P n is true and examining P n+1. By making use of the result (1 + +... +
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationOnline Courses for High School Students
Online Courses for High School Students 1-888-972-6237 Algebra I Course Description: Students explore the tools of algebra and learn to identify the structure and properties of the real number system;
More information5 + 9(10) + 3(100) + 0(1000) + 2(10000) =
Chapter 5 Analyzing Algorithms So far we have been proving statements about databases, mathematics and arithmetic, or sequences of numbers. Though these types of statements are common in computer science,
More informationAxioms for the Real Number System
Axioms for the Real Number System Math 361 Fall 2003 Page 1 of 9 The Real Number System The real number system consists of four parts: 1. A set (R). We will call the elements of this set real numbers,
More informationCLASS NOTES FOR APRIL 14, 2000
CLASS NOTES FOR APRIL 14, 2000 Announcement: Section 1.2, Questions 3,5 have been deferred from Assignment 1 to Assignment 2. Section 1.4, Question 5 has been dropped entirely. 1. Review of Wednesday class
More informationCHAPTER 1. Review of Algebra
CHAPTER 1 Review of Algebra Much of the material in this chapter is revision from GCSE maths (although some of the exercises are harder). Some of it particularly the work on logarithms may be new if you
More informationx y More precisely, this equation means that given any ε > 0, there exists some δ > 0 such that
Chapter 2 Limits and continuity 21 The definition of a it Definition 21 (ε-δ definition) Let f be a function and y R a fixed number Take x to be a point which approaches y without being equal to y If there
More informationCryptography and Security Midterm Exam
Cryptography and Security Midterm Exam Solution Serge Vaudenay 25.11.2015 duration: 1h45 no documents allowed, except one 2-sided sheet of handwritten notes a pocket calculator is allowed communication
More informationProving Programs Correct
Proving Programs Correct Page 1 of 9 Proving Programs Correct How can we be sure that a piece of code does what we want it to do? One way is to try testing the code on a large group of data. Another is
More informationINTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.
INTEGERS PETER MAYR (MATH 2001, CU BOULDER) In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes. 1. Divisibility Definition. Let a, b
More informationImperative Insertion Sort
Imperative Insertion Sort Christian Sternagel April 17, 2016 Contents 1 Looping Constructs for Imperative HOL 1 1.1 While Loops............................ 1 1.2 For Loops.............................
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More information1 Continued Fractions
Continued Fractions To start off the course, we consider a generalization of the Euclidean Algorithm which has ancient historical roots and yet still has relevance and applications today.. Continued Fraction
More informationNumbers. 2.1 Integers. P(n) = n(n 4 5n 2 + 4) = n(n 2 1)(n 2 4) = (n 2)(n 1)n(n + 1)(n + 2); 120 =
2 Numbers 2.1 Integers You remember the definition of a prime number. On p. 7, we defined a prime number and formulated the Fundamental Theorem of Arithmetic. Numerous beautiful results can be presented
More informationPage 1 of 10 Quiz 1 Prep v01 1.1 1.5 (7179033) Question 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 3 1. Question Details SPreCalc6 1.1.006.MI. [2687366]
More informationMath 109 HW 9 Solutions
Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we
More informationPerform the following operations. 1) (2x + 3) + (4x 5) 2) 2(x + 3) 3) 2x (x 4) 4) (2x + 3)(3x 5) 5) (x 4)(x 2 3x + 5)
2/24 week Add subtract polynomials 13.1 Multiplying Polynomials 13.2 Radicals 13.6 Completing the square 13.7 Real numbers 15.1 and 15.2 Complex numbers 15.3 and 15.4 Perform the following operations 1)
More information