Pythagorean Quadruples

Size: px
Start display at page:

Download "Pythagorean Quadruples"

Transcription

1 Pythagorean Quadruples 1. Pythagorean and Primitive Pythagorean Quadruples A few years ago, I became interested with those 3 vectors with integer coordinates and integer length or norm. The simplest example is the vector 2i + 2 j + k whose length is 3. A couple of other elementary examples include 2i + 6 j + 3k of norm 7 and 3i + 4 j +12k of norm 13. Of course these integer friendly vectors generalizes Pythagorean triples: An ordered 4-tuple of positive integers ( a,b,c,d ) is a Pythagorean Quadruple (PQ) if a 2 + b 2 + c 2 = d 2. This quadruple is primitive (PPQ) provided that gcd(a,b,c,d) =1. It is easy to see that a PQ is a multiple of PPQ and a PQ (a,b,c,d) is a PPQ if the gcd of any three of these positive integers is 1, in particular if gcd(a,b,c) = 1. In this article I would like to share my discovery of a formula that generates all PPQ s. It should be noted that in the 18th and 19th centuries several formulas were discovered to generate PQ s; however, most of them did not generate all PQ s or PPQ s. The first step I took to discover a formula for PPQ s was to examine Euclid's Theorem on Primitive Pythagorean Triples: The Primitive Pythagorean Triple Theorem Let a, b and c be positive integers such that a 2 + b 2 = c 2. Also assume that gcd(a,b,c) = 1. Then c is odd and either a or b is odd (but not both; say, b is odd and a is even). Then there exist relatively prime positive integers u and v of opposite parity, with u > v, such that:, and. Furthermore, all such triples (a,b,c) described above are Primitive Pythagorean Triples as well.

2 This theorem deserves a few observations: 1. There is a parity condition on the generators u and v. (Another way to express "u and v have opposite parity" is to write "u+v is odd.") 2. The Pythagorean triple itself enjoys a couple of parity conditions: c is odd and a+b is also odd. 3. We also have an algebraic identity: ; i.e., this equation is true regardless of any conditions placed on u and v. The first step I took in my search for a formula was to see if PPQ s had any parity conditions. To this end, I examined a few PPQ's : (1,2,2,3), (2,3,6,7), (3,4,12,13). It appears that d is always odd, one of a, b or c is also odd and the other two are even. This observation turns out to be true and is easily proved using mod 4 arithmetic. The Parity Lemma for PPQ's Let be a PPQ. Then d is odd, and exactly one of a, b or c is odd as well. I will now adopt the convention whenever is a PPQ, then a and b are even and c and (of course) d are odd. The next step was to find an algebraic identity that would generate (not necessarily primitive) PQ s. The following is an "obvious" and wellknown generalization of the Pythagorean Triple identity: Let u, v, w be positive integers, u 2 +w 2 > v 2. Now suppose that and. Then is a PQ.

3 It should be clear that a necessary condition for this PQ to be primitive is that gcd(u,v,w) = 1. (We might also conjecture a parity condition, namely, u+v+w is odd.) We will now collect some data using this identity and make some observations concerning the gcd = gcd(a,b,c,d). u w v a b c d gcd 1) ) ) ) ) ) ) This table demonstrates that the two conditions, gcd(u,v,w) = 1 and u+v+w is odd, are not sufficient to guarantee that (u,v,w) generates a PPQ. Indeed, there do not exist integer generators for the primitive parents of the PQ's listed in (3), (4) and (5). (The primitive parents of (3), (4) and (5) are,

4 respectively, (4,28,35,45), (20,160,73,177) and (24,68,45,95)). It appears that we need to include a divisor along with our generators to insure ourselves of a PPQ. We now come to the task of relating the gcd to its generators. At this point, it is difficult to motivate how one would discover the relationship. It suffices to say that after staring at these examples for several days and a long walk I discovered that: gcd(a,b,c,d) = gcd(u 2 + w 2, v). In our examples (3), (4) and (5) we have: gcd(20,140,175,225) = 5 = gcd(200,5) = gcd( , 5) gcd(260,2080,949,2301) =13 = gcd(1625,26) = gcd( ,26) gcd(120,240,225,425) = 5 = gcd(325,10) = gcd( ,10). Note that we do not have gcd(a,b,c,d) = gcd(u 2 + w 2, v 2 ), as illustrated in example (5): gcd( ,10 2 ) = gcd(325,100) =25. Finally, we need to find a parity condition for the generators. To do this, we will examine examples (6) and (7). Both of these PQ's, (12,4,6,14) and (6,4,12,14), are essentially the same. However, in example (7) we see that: gcd(u 2 + w 2, v) = gcd(13,1) = 1 2 =gcd(12,4,6,14). On the other hand, example (6) does satisfy the gcd conjecture: gcd(u 2 + w 2, v) = gcd(10,2) = 2 = gcd(12,4,6,14). Furthermore, the primitive parent of example (6), (6,2,3,7), satisfies our parity convention for PPQ's (a and b are even, c and d are odd). The primitive parent of example (7), (3,2,6,7), does not satisfy our parity convention. The important feature to notice here, in example (7), is that: v = 1 is odd and u+w = 5 is also odd (i.e., not even). Looking at other examples where v is odd we see that in examples (1), (2) and (3) that u+w is even. In the examples where v is even, it does not matter whether u+w is even or odd;

5 each of these examples does satisfy our gcd conjecture and their primitive parents satisfy our parity convention. We can now state our parity condition for the generators (u,v,w) as follows: If v is odd, then u+w is even. 2. The Primitive Pythagorean Quadruple Theorems We are now in a position to state and prove the Primitive Pythagorean Quadruple Theorem. Actually, we will accomplish this via two theorems: (I) The Verification Theorem. All generators (u,v,w), gcd(u,v,w) =1, satisfying the parity condition together with the divisor g will provide us with a Primitive Pythagorean Quadruple. (II) The Generator Theorem. Every PPQ has generators (u,v,w), gcd(u,v,w) = 1, satisfying the parity condition and a divisor g. As you are about to see, the proof of the Verification Theorem is not nearly as simple and straightforward as it is in the verification for Primitive Pythagorean Triples. The Verification Theorem Let u, v, w be positive integers,, and let g = gcd(u 2 + w 2, v). Suppose that: (i) gcd(u,v,w) = 1. (ii) If v is odd, then u+w is even. (iii) a = 2uv/g, b = 2wv/g, c = (u 2 + w 2 - v 2 )/g and d = (u 2 + w 2 + v 2 )/g. Then (a,b,c,d) is a PPQ with a and b even and c and d odd. Proof. A simple computation shows that (a,b,c,d) is a PQ. We will now show that a and b are even. Since g divides v, (v/g) is a positive integer. Therefore, a = 2u(v/g) and b = 2w(v/g) are even. Next, we demonstrate that d is odd. There are three cases to consider.

6 case(i) Suppose that v is odd. Then u 2 + w 2 is even since u+w is even. Hence, dg = u 2 + w 2 + v 2 is odd. This implies that d is odd. case(ii) Suppose that v is even and u + w is also even. Then u and w are both odd since gcd(u,v,w) = 1. Thus, dg = u 2 + w 2 + v 2 2(mod 4). Note that g is even since v and u 2 + w 2 are both even. If d were even, then dg would be a multiple of 4, contradicting the above congruence. Hence, d must be odd. case(iii) Suppose that v is even and u+w is odd. Then u 2 + w 2 is odd. Therefore, dg = u 2 + w 2 + v 2 1(mod 2) and d must be odd in this case as well. It now follows that c is odd since is odd. Our final task is to prove that our PQ is primitive. As is typical in these situations, we shall assume otherwise and then derive some sort of contradiction. If (a,b,c,d) were not primitive, then there would be a prime p that divides each of a, b, c and d. ( Note that p is odd since p divides d and d is odd.) Clearly, p divides each of 2uv, 2wv, and since 2uv = ag, 2wv = bg, u 2 + w 2 v 2 = cg and u 2 + w 2 + v 2 = dg. Therefore p divides dg cg = 2v 2. Consequently p divides v. Similarly p divides u 2 + w 2. Hence p divides g because g = gcd(u 2 + w 2,v). Since gcd(u,v,w) = 1 and p divides v, either p does not divide u or p does not divide w; let us suppose that p does not divide u. Now p divides a and p divides g implies that p 2 divides ag, i.e., p 2 divides 2uv. Hence, p 2 divides v. Also, p divides g and p divides d implies that p 2 divides dg, i.e., p 2 divides u 2 + w 2 + v 2. We now have p 2 dividing both v and u2 + w2 + v2, thus p2 divides u2 + w2. Hence p2 divides g. Repeating this argument and using mathematical induction, we conclude that p n divides

7 v and g for all positive integers n. This is absurd. The proof of the verification theorem is now complete. We now come to the vexing task of when given a PPQ (a,b,c,d), how do we find its generators (u,v,w) and its divisor g? Working backwards, we can solve for (the squares) of u, w and v:, and. The important feature to observe here is that g times each of the expressions,, is a (perfect) square. There is an abundance of positive integers with this property, e.g., the number has this property. Our divisor g has to be large enough in order to provide us with squares and yet small enough to divide 2uv, 2wv, and. Perhaps the smallest positive integer times each of, which produces squares, is the number "g" we seek. The Generator Theorem Let (a,b,c,d) be a PPQ. Then there exists positive integers u, v and w, u2 + w 2 > v 2, and a positive integer g such that: (i) a = 2uv/g, b = 2wv/g, c = and d =. (ii) gcd(u,v,w) = 1 (iii) If v is odd, then is also odd. Proof. Let S be the set of all positive integers x such that: and are all squares. Note that S is nonempty since

8 is a member of S. By the Well Ordering Principle, S has a smallest member, say g. We now define:, and. A straightforward computation demonstrates that (i) holds. We now show that (ii) holds as well, i.e., gcd(u,v,w) = 1. Otherwise there would be a prime p such that p divides each of u, v and w (thus, u/p, v/p and w/p are all positive integers). Therefore, p 2 divides the integers ag, bg and cg since ag = 2uv, bg = 2wv and cg = u 2 + w 2 v 2. By virtue of the gcd(a,b,c) = 1, p does not divide a or p does not divide b or p does not divide c. Hence p 2 divides g, say g/p 2 = h ε Z +. Note that h < g. We now have: This is a contradiction since g was chosen as the smallest positive integer with this property. This proves (ii). To prove (iii) note that g divides since =. (Recall that d and c are both odd, thus is an integer.) We will now assume that v is odd. Hence g is odd and therefore gd and v 2 are odd as well. Since u 2 + w 2 + v 2 = gd,. Thus,, i.e., is even. This completes the proof of the Generator Theorem.

9 3. Generalizations Is our PPQ formula a generalization of the Primitive Pythagorean Triple formula? Certainly, the algebraic identity that we used to generate PQ's is a generalization of the PT identity. Indeed, if we set w = 0 we obtain: a = 2uv/g, b = 0, c = (u 2 v 2 )/g and d = (u 2 + v 2 )/g. We can now easily show in this case that: (i) gcd(u,v) = 1, (ii) g=1 and (iii) u and v have opposite parity. (i) 1 = gcd(u,v,0) = gcd(u,v). (ii) 1 = gcd(u,v) = gcd(u 2, v) = gcd(u , v) = g. (iii) There are two cases here: v is even or v is odd. If v is even, then u must be odd since gcd(u,v) = 1. On the other hand, if v is odd, then u+w = u+0 =u is even. At this point it would be tempting to generalize the PPQ formula to higher order Pythagorean n-tuples. However, the situation for (Primitive) Pythagorean Quintuples and above is a little murky and offers its own surprises. The natural generalization for the Quintuple case would be: Let x, y, z, v be positive integers and let g=gcd(x 2 +y 2 +z 2,v). Suppose that : (i) gcd(x,y,z,v) = 1 (ii) If v is odd, then x+y+z is even (iii) a=2xv/g, b=2yv/g, c=2zv/g, d=(x 2 +y 2 +z 2 v 2 )/g and e=(x 2 +y 2 +z 2 +v 2 )/g. Then (a,b,c,d,e) is a Primitive Pythagorean Quintuple. This statement is indeed true and its proof is very similar to the Verification Theorem. For example, the generator (2,1,1,1) generates the Primitive Pythagorean Quintuple (4,2,2,5,7). However, not every Primitive Pythagorean

10 Quintuple can be generated by the above formula; for example, consider (a,b,c,d,e) = (1,1,1,1,2). Part of the problem here is that in our formula, e is always odd. This difficulty should have been anticipated since every positive integer is the sum of four (or fewer) positive squares. In particular, Primitive Pythagorean Quintuples do not enjoy a parity condition that is similar to Pythagorean Triples and Quadruples. The situation here is not hopeless; there is another algebraic identity that we may employ: (xv) 2 + (yv) 2 + (zv) 2 + [(x 2 +y 2 +z 2 v 2 )/2] 2 = [(x 2 +y 2 +z 2 +v 2 )/2] 2. For example, if we use (x,y,z,v)=(1,1,1,1), then the above formula would generate the Pythagorean Quintuple (1,1,1,1,2). We can illustrate this formula with another example: (4,2,1,1) generates (4,2,1,10,11). This Pythagorean Quintuple can, essentially, be generated by our "Quintuple Conjecture" stated earlier: (2,1,5,5) generates (4,2,10,1,11). Uniqueness of the generators can be preserved if we separate e into two cases: even or odd. The proof of the following theorem, its converse and any further generalizations is left to the enjoyment of the reader. The Pythagorean Quintuple Theorem. Let (a,b,c,d,e) be a Primitive Pythagorean Quintuple. Then there exists positive integers x,y, z and v, x 2 +y 2 +z 2 > v 2, and a positive integer g such that: (I) When e is odd (i) gcd(x,y,z,v) = 1. (ii) If v is odd, then x+y+z is even. (iii) a=2xv/g, b=2yv/g, c=2zv/g, d=(x 2 +y 2 +z 2 v 2 )/g and e=(x 2 +y 2 +z 2 +v 2 )/g. (II) When e is even (i) gcd(x,y,z,v) = 1

11 (ii) x, y,z and v are all odd (iii) a=xv/g, b=yv/g, c=zv/g, d=(x 2 +y 2 +z 2 v 2 )/(2g) and e=(x 2 +y 2 +z 2 +v 2 )/(2g). It should come as no surprise that in the converse of this theorem g = gcd(x 2 +y 2 +z 2,v). 4. A Little History The problem of finding a formula that will generate Pythagorean Quadruples has been around for over 200 years. In this section I have selected a few of these formulas that can be found in Dickson's [3] History of the Theory Numbers vol. II, chapter VII [3]. 1. Matsunago (Japan, c. 1740). Take your favorite pair of positive integers a and b, and then factor a 2 + b 2 = mn, where m > n, m+n even. Now let c = (m n)/2 and d = (m + n)/2. Then (a,b,c,d) is a PQ. To illustrate, consider a = 3 and b = 6. Then, a 2 + b 2 = 45 = 9 5. We now have the PQ (3,6,2,7). It should be noted that this method, although very simple, will not generate all PPQ's. For example the PPQ (2,28,35,45) cannot be generated using Matsunago s method. 2. H.S. Monck (Great Britain(?), 1878). Monck's algorithm is particularly amusing since you can generate a PQ from a given PQ: Given a PQ (a,b,c,d), not necessarily positive, let x=a+b+d, y=a+c+d, z=b+c+d and u=a+b+c+2d. Then (x,y,z,u) is another PQ. The example provided for us in Dickson is: From (1,-2,2,3) we obtain (2,3,6,7). 3. A. Desbouves (France, 1886)

12 Mr. Desbouves proved that all PQ's (not just PPQ's) (a,b,c,d) have the form: a=2(p 2 +q 2 s 2 ), b=2[(p s) 2 q 2 + (q s) 2 ], c = (q s) 2 p 2 + 4q(p s) 2 and d = 3[(p s) 2 + q 2 ] +2s(p q) 2. Amazing as this formula is, it is not clear how this formula generalizes the Pythagorean Triple formula. 4. In 1907 A. Hurwitz gave a somewhat complicated formula for the number of solutions (a,b,c) for the equation, a 2 + b 2 + c 2 = d 2, when d is given. 5. Another Problem A problem similar to finding Pythagorean Quadruples is the following: Does there exist a triple of positive integers (x,y,z) such that x 2 +y 2,x 2 +z 2 and y 2 +z 2 are all squares? The answer is, of course, yes. In 1719 Paul Halcke found one solution to be (44,240,117). There are several formulas to generate some of these triples, the simplest being the one offered to us by the 18th century (blind from infancy) mathematician N. Saunderson: Suppose that (a,b,c) is a Pythagorean Triple. Now let x=a(4b 2 c 2 ), y=b(4a 2 c 2 ) and z=4abc. For example, (3,4,5) generates (117,44,240). As in Pythagorean Triples and Quadruples these triples enjoy a geometrical interpretation as well: A triple of positive integers (x,y,z) with the above property corresponds to a rectangular parallelepiped of width x, length y and height z which has positive integer values for all its face diagonals. For other formulas and a short history of this problem please read chapter XIX, vol. II, PP , in Dickson. 6. The Last Problem What is meant here by "The Last Problem" is the final problem to be mentioned in this article. In the February, 1994 issue of FOCUS, Keith

13 Devlin in his monthly editorial offered the following as the next "Fermat Problem" (which he called the "Integer Brick" problem): "The problem asks if it is possible to construct a rectangular brick (i.e., a rectangular parallelepiped), all of whose diagonals (both face and cross-diagonals) are integers." Altogether this problem has seven parameters: the three dimensions, the three face diagonals and the inner or cross-diagonal. Partial solutions have been found for six of the seven parameters to be integer valued. One solution, known to Euler is (104,153,672). (Here, = 185 2, = and = ) For a discussion of these solutions the reader is invited to read problem D18 in Unsolved Problems in Number Theory, 2nd edition, by Richard K. Guy [5] or the John Leech article in the American Mathematical Monthly, vol. 84 (1977), pp [6]. References 1. David M. Burton, Elementary Number Theory, 4th ed., McGraw-Hill, New York, James T. Cross, Primitive Pythagorean Triples of Gaussian Integers, Mathematics Magazine, 59:4(1986), Leonard E. Dickson, History of the Theory of Numbers, vol. II, Chelsea Publishing, New York, Ernest J. Eckert, The Group of Primitive Pythagorean Triangles, Mathematics Magazine, 57:1(1984), Richard K. Guy, Unsolved Problems in Number Theory, 2nd ed., Springer-Verlag, New York, 1994.

14 6. John Leech, The Rational Cubiod Revisited, American Mathematical Monthly, vol. 84 (1977),

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me SYSTEMS OF PYTHAGOREAN TRIPLES CHRISTOPHER TOBIN-CAMPBELL Abstract. This paper explores systems of Pythagorean triples. It describes the generating formulas for primitive Pythagorean triples, determines

More information

Settling a Question about Pythagorean Triples

Settling a Question about Pythagorean Triples Settling a Question about Pythagorean Triples TOM VERHOEFF Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands E-Mail address:

More information

4.2 Euclid s Classification of Pythagorean Triples

4.2 Euclid s Classification of Pythagorean Triples 178 4. Number Theory: Fermat s Last Theorem Exercise 4.7: A primitive Pythagorean triple is one in which any two of the three numbers are relatively prime. Show that every multiple of a Pythagorean triple

More information

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

More information

k, then n = p2α 1 1 pα k

k, then n = p2α 1 1 pα k Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

More information

Congruent Number Problem

Congruent Number Problem University of Waterloo October 28th, 2015 Number Theory Number theory, can be described as the mathematics of discovering and explaining patterns in numbers. There is nothing in the world which pleases

More information

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors. The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

More information

DigitalCommons@University of Nebraska - Lincoln

DigitalCommons@University of Nebraska - Lincoln University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-1-007 Pythagorean Triples Diane Swartzlander University

More information

Homework until Test #2

Homework until Test #2 MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such

More information

SUM OF TWO SQUARES JAHNAVI BHASKAR

SUM OF TWO SQUARES JAHNAVI BHASKAR SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted

More information

PYTHAGOREAN TRIPLES KEITH CONRAD

PYTHAGOREAN TRIPLES KEITH CONRAD PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

More information

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

More information

Chapter 11 Number Theory

Chapter 11 Number Theory Chapter 11 Number Theory Number theory is one of the oldest branches of mathematics. For many years people who studied number theory delighted in its pure nature because there were few practical applications

More information

A Study on the Necessary Conditions for Odd Perfect Numbers

A Study on the Necessary Conditions for Odd Perfect Numbers A Study on the Necessary Conditions for Odd Perfect Numbers Ben Stevens U63750064 Abstract A collection of all of the known necessary conditions for an odd perfect number to exist, along with brief descriptions

More information

CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 Solutions CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

More information

8 Divisibility and prime numbers

8 Divisibility and prime numbers 8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

More information

Pythagorean Theorem: Proof and Applications

Pythagorean Theorem: Proof and Applications Pythagorean Theorem: Proof and Applications Kamel Al-Khaled & Ameen Alawneh Department of Mathematics and Statistics, Jordan University of Science and Technology IRBID 22110, JORDAN E-mail: kamel@just.edu.jo,

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

SECTION 10-2 Mathematical Induction

SECTION 10-2 Mathematical Induction 73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms

More information

Math 319 Problem Set #3 Solution 21 February 2002

Math 319 Problem Set #3 Solution 21 February 2002 Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

THE CONGRUENT NUMBER PROBLEM

THE CONGRUENT NUMBER PROBLEM THE CONGRUENT NUMBER PROBLEM KEITH CONRAD 1. Introduction A right triangle is called rational when its legs and hypotenuse are all rational numbers. Examples of rational right triangles include Pythagorean

More information

RECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES

RECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES RECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES DARRYL MCCULLOUGH AND ELIZABETH WADE In [9], P. W. Wade and W. R. Wade (no relation to the second author gave a recursion formula that produces Pythagorean

More information

Number Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may

Number Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may Number Theory Divisibility and Primes Definition. If a and b are integers and there is some integer c such that a = b c, then we say that b divides a or is a factor or divisor of a and write b a. Definition

More information

MATH 537 (Number Theory) FALL 2016 TENTATIVE SYLLABUS

MATH 537 (Number Theory) FALL 2016 TENTATIVE SYLLABUS MATH 537 (Number Theory) FALL 2016 TENTATIVE SYLLABUS Class Meetings: MW 2:00-3:15 pm in Physics 144, September 7 to December 14 [Thanksgiving break November 23 27; final exam December 21] Instructor:

More information

A Direct Method To Generate Pythagorean Triples And Its Generalization To Pythagorean Quadruples And n-tuples

A Direct Method To Generate Pythagorean Triples And Its Generalization To Pythagorean Quadruples And n-tuples A Direct Method To Generate Pythagorean Triples And Its Generalization To Pythagorean Quadruples And n-tuples Tanay Roy $ Farjana Jaishmin Sonia Department of Physics Jadavpur University Kolkata 700032,

More information

The last three chapters introduced three major proof techniques: direct,

The last three chapters introduced three major proof techniques: direct, CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

More information

TEXAS A&M UNIVERSITY. Prime Factorization. A History and Discussion. Jason R. Prince. April 4, 2011

TEXAS A&M UNIVERSITY. Prime Factorization. A History and Discussion. Jason R. Prince. April 4, 2011 TEXAS A&M UNIVERSITY Prime Factorization A History and Discussion Jason R. Prince April 4, 2011 Introduction In this paper we will discuss prime factorization, in particular we will look at some of the

More information

Just the Factors, Ma am

Just the Factors, Ma am 1 Introduction Just the Factors, Ma am The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive

More information

Grade 6 Math Circles March 10/11, 2015 Prime Time Solutions

Grade 6 Math Circles March 10/11, 2015 Prime Time Solutions Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Lights, Camera, Primes! Grade 6 Math Circles March 10/11, 2015 Prime Time Solutions Today, we re going

More information

MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

More information

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

More information

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 15, 2011 Problem: What is the remainder of 6 2000 when divided by 11? Solution: This is a long-winded way of asking for the value of 6 2000 mod

More information

Five fundamental operations. mathematics: addition, subtraction, multiplication, division, and modular forms

Five fundamental operations. mathematics: addition, subtraction, multiplication, division, and modular forms The five fundamental operations of mathematics: addition, subtraction, multiplication, division, and modular forms UC Berkeley Trinity University March 31, 2008 This talk is about counting, and it s about

More information

GREATEST COMMON DIVISOR

GREATEST COMMON DIVISOR DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their

More information

Mathematical Induction

Mathematical Induction Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

More information

Basic Proof Techniques

Basic Proof Techniques Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document

More information

Pythagorean Triples. becomes

Pythagorean Triples. becomes Solution Commentary: Solution of Main Problems: Pythagorean Triples 1. If m = (n + 1), n = [m -1]/ and n+1 = [m +1]/. Then, by substitution, the equation n + (n + 1) = (n+1) m + 1 becomes + m =. Now, because

More information

Notes on Factoring. MA 206 Kurt Bryan

Notes on Factoring. MA 206 Kurt Bryan The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

More information

Theorem3.1.1 Thedivisionalgorithm;theorem2.2.1insection2.2 If m, n Z and n is a positive

Theorem3.1.1 Thedivisionalgorithm;theorem2.2.1insection2.2 If m, n Z and n is a positive Chapter 3 Number Theory 159 3.1 Prime Numbers Prime numbers serve as the basic building blocs in the multiplicative structure of the integers. As you may recall, an integer n greater than one is prime

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

An Innocent Investigation

An Innocent Investigation An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every number

More information

Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer

More information

Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

More information

Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

More information

1.2. Successive Differences

1.2. Successive Differences 1. An Application of Inductive Reasoning: Number Patterns In the previous section we introduced inductive reasoning, and we showed how it can be applied in predicting what comes next in a list of numbers

More information

Lecture 3: Finding integer solutions to systems of linear equations

Lecture 3: Finding integer solutions to systems of linear equations Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture

More information

SOLUTIONS FOR PROBLEM SET 2

SOLUTIONS FOR PROBLEM SET 2 SOLUTIONS FOR PROBLEM SET 2 A: There exist primes p such that p+6k is also prime for k = 1,2 and 3. One such prime is p = 11. Another such prime is p = 41. Prove that there exists exactly one prime p such

More information

10/14/08 ON NUMBERS EQUAL TO THE SUM OF TWO SQUARES IN MORE THAN ONE WAY

10/14/08 ON NUMBERS EQUAL TO THE SUM OF TWO SQUARES IN MORE THAN ONE WAY 1 10/14/08 ON NUMBERS EQUAL TO THE SUM OF TWO SQUARES IN MORE THAN ONE WAY Ming-Sun Li, Kathryn Robertson, Thomas J. Osler, Abdul Hassen, Christopher S. Simons and Marcus Wright Department of Mathematics

More information

Solution to Exercise 2.2. Both m and n are divisible by d, som = dk and n = dk. Thus m ± n = dk ± dk = d(k ± k ),som + n and m n are divisible by d.

Solution to Exercise 2.2. Both m and n are divisible by d, som = dk and n = dk. Thus m ± n = dk ± dk = d(k ± k ),som + n and m n are divisible by d. [Chap. ] Pythagorean Triples 6 (b) The table suggests that in every primitive Pythagorean triple, exactly one of a, b,orc is a multiple of 5. To verify this, we use the Pythagorean Triples Theorem to write

More information

Grade 7/8 Math Circles Fall 2012 Factors and Primes

Grade 7/8 Math Circles Fall 2012 Factors and Primes 1 University of Waterloo Faculty of Mathematics Centre for Education in Mathematics and Computing Grade 7/8 Math Circles Fall 2012 Factors and Primes Factors Definition: A factor of a number is a whole

More information

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

More information

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples Brian Hilley Boston College MT695 Honors Seminar March 3, 2006 1 Introduction 1.1 Mazur s Theorem Let C be a

More information

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

More information

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

More information

Number Theory: A Mathemythical Approach. Student Resources. Printed Version

Number Theory: A Mathemythical Approach. Student Resources. Printed Version Number Theory: A Mathemythical Approach Student Resources Printed Version ii Contents 1 Appendix 1 2 Hints to Problems 3 Chapter 1 Hints......................................... 3 Chapter 2 Hints.........................................

More information

Pigeonhole Principle Solutions

Pigeonhole Principle Solutions Pigeonhole Principle Solutions 1. Show that if we take n + 1 numbers from the set {1, 2,..., 2n}, then some pair of numbers will have no factors in common. Solution: Note that consecutive numbers (such

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

Alex, I will take congruent numbers for one million dollars please

Alex, I will take congruent numbers for one million dollars please Alex, I will take congruent numbers for one million dollars please Jim L. Brown The Ohio State University Columbus, OH 4310 jimlb@math.ohio-state.edu One of the most alluring aspectives of number theory

More information

Pythagorean vectors and their companions. Lattice Cubes

Pythagorean vectors and their companions. Lattice Cubes Lattice Cubes Richard Parris Richard Parris (rparris@exeter.edu) received his mathematics degrees from Tufts University (B.A.) and Princeton University (Ph.D.). For more than three decades, he has lived

More information

WRITING PROOFS. Christopher Heil Georgia Institute of Technology

WRITING PROOFS. Christopher Heil Georgia Institute of Technology WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this

More information

Finding Carmichael numbers

Finding Carmichael numbers Finding Carmichael numbers Notes by G.J.O. Jameson Introduction Recall that Fermat s little theorem says that if p is prime and a is not a multiple of p, then a p 1 1 mod p. This theorem gives a possible

More information

Solutions for Practice problems on proofs

Solutions for Practice problems on proofs Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

More information

Math Workshop October 2010 Fractions and Repeating Decimals

Math Workshop October 2010 Fractions and Repeating Decimals Math Workshop October 2010 Fractions and Repeating Decimals This evening we will investigate the patterns that arise when converting fractions to decimals. As an example of what we will be looking at,

More information

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers

More information

arxiv:0909.4913v2 [math.ho] 4 Nov 2009

arxiv:0909.4913v2 [math.ho] 4 Nov 2009 IRRATIONALITY FROM THE BOOK STEVEN J. MILLER AND DAVID MONTAGUE arxiv:0909.4913v2 [math.ho] 4 Nov 2009 A right of passage to theoretical mathematics is often a proof of the irrationality of 2, or at least

More information

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following

More information

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12 CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

More information

So let us begin our quest to find the holy grail of real analysis.

So let us begin our quest to find the holy grail of real analysis. 1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

More information

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook. Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

More information

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

More information

Applications of Fermat s Little Theorem and Congruences

Applications of Fermat s Little Theorem and Congruences Applications of Fermat s Little Theorem and Congruences Definition: Let m be a positive integer. Then integers a and b are congruent modulo m, denoted by a b mod m, if m (a b). Example: 3 1 mod 2, 6 4

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

MATH 22. THE FUNDAMENTAL THEOREM of ARITHMETIC. Lecture R: 10/30/2003

MATH 22. THE FUNDAMENTAL THEOREM of ARITHMETIC. Lecture R: 10/30/2003 MATH 22 Lecture R: 10/30/2003 THE FUNDAMENTAL THEOREM of ARITHMETIC You must remember this, A kiss is still a kiss, A sigh is just a sigh; The fundamental things apply, As time goes by. Herman Hupfeld

More information

. 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9

. 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9 Introduction The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive integer We say d is a

More information

MATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.

MATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers. MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P

More information

1 Symmetries of regular polyhedra

1 Symmetries of regular polyhedra 1230, notes 5 1 Symmetries of regular polyhedra Symmetry groups Recall: Group axioms: Suppose that (G, ) is a group and a, b, c are elements of G. Then (i) a b G (ii) (a b) c = a (b c) (iii) There is an

More information

Ira Fine and Thomas J. Osler Department of Mathematics Rowan University Glassboro, NJ 08028. osler@rowan.edu. 1. Introduction

Ira Fine and Thomas J. Osler Department of Mathematics Rowan University Glassboro, NJ 08028. osler@rowan.edu. 1. Introduction 1 08/0/00 THE REMARKABLE INCIRCLE OF A TRIANGLE Ira Fine and Thomas J. Osler Department of Mathematics Rowan University Glassboro, NJ 0808 osler@rowan.edu 1. Introduction The incircle of a triangle is

More information

The Determinant: a Means to Calculate Volume

The Determinant: a Means to Calculate Volume The Determinant: a Means to Calculate Volume Bo Peng August 20, 2007 Abstract This paper gives a definition of the determinant and lists many of its well-known properties Volumes of parallelepipeds are

More information

Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

More information

PROOFS BY DESCENT KEITH CONRAD

PROOFS BY DESCENT KEITH CONRAD PROOFS BY DESCENT KEITH CONRAD As ordinary methods, such as are found in the books, are inadequate to proving such difficult propositions, I discovered at last a most singular method... that I called the

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory A revision by Jim Hefferon, St Michael s College, 2003-Dec of notes by W. Edwin Clark, University of South Florida, 2002-Dec L A TEX source compiled on January 5, 2004 by Jim Hefferon,

More information

Section 1.1. Introduction to R n

Section 1.1. Introduction to R n The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

More information

Stupid Divisibility Tricks

Stupid Divisibility Tricks Stupid Divisibility Tricks 101 Ways to Stupefy Your Friends Appeared in Math Horizons November, 2006 Marc Renault Shippensburg University Mathematics Department 1871 Old Main Road Shippensburg, PA 17013

More information

Continued Fractions. Darren C. Collins

Continued Fractions. Darren C. Collins Continued Fractions Darren C Collins Abstract In this paper, we discuss continued fractions First, we discuss the definition and notation Second, we discuss the development of the subject throughout history

More information

ALGEBRAIC APPROACH TO COMPOSITE INTEGER FACTORIZATION

ALGEBRAIC APPROACH TO COMPOSITE INTEGER FACTORIZATION ALGEBRAIC APPROACH TO COMPOSITE INTEGER FACTORIZATION Aldrin W. Wanambisi 1* School of Pure and Applied Science, Mount Kenya University, P.O box 553-50100, Kakamega, Kenya. Shem Aywa 2 Department of Mathematics,

More information

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

More information

Playing with Numbers

Playing with Numbers PLAYING WITH NUMBERS 249 Playing with Numbers CHAPTER 16 16.1 Introduction You have studied various types of numbers such as natural numbers, whole numbers, integers and rational numbers. You have also

More information

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

More information

GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!

GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014! GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!!! Challenge Problem 2 (Mastermind) due Fri. 9/26 Find a fourth guess whose scoring will allow you to determine the secret code (repetitions are

More information

PYTHAGOREAN TRIPLES M. SUNIL R. KOSWATTA HARPER COLLEGE, ILLINOIS

PYTHAGOREAN TRIPLES M. SUNIL R. KOSWATTA HARPER COLLEGE, ILLINOIS PYTHAGOREAN TRIPLES M. SUNIL R. KOSWATTA HARPER COLLEGE, ILLINOIS Astract. This talk is ased on a three week summer workshop (Los Angeles 2004) conducted y Professor Hung-Hsi Wu, University of California,

More information

Factoring Algorithms

Factoring Algorithms Factoring Algorithms The p 1 Method and Quadratic Sieve November 17, 2008 () Factoring Algorithms November 17, 2008 1 / 12 Fermat s factoring method Fermat made the observation that if n has two factors

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

3 0 + 4 + 3 1 + 1 + 3 9 + 6 + 3 0 + 1 + 3 0 + 1 + 3 2 mod 10 = 4 + 3 + 1 + 27 + 6 + 1 + 1 + 6 mod 10 = 49 mod 10 = 9.

3 0 + 4 + 3 1 + 1 + 3 9 + 6 + 3 0 + 1 + 3 0 + 1 + 3 2 mod 10 = 4 + 3 + 1 + 27 + 6 + 1 + 1 + 6 mod 10 = 49 mod 10 = 9. SOLUTIONS TO HOMEWORK 2 - MATH 170, SUMMER SESSION I (2012) (1) (Exercise 11, Page 107) Which of the following is the correct UPC for Progresso minestrone soup? Show why the other numbers are not valid

More information

3. Mathematical Induction

3. Mathematical Induction 3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

More information

by the matrix A results in a vector which is a reflection of the given

by the matrix A results in a vector which is a reflection of the given Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that

More information

Computing exponents modulo a number: Repeated squaring

Computing exponents modulo a number: Repeated squaring Computing exponents modulo a number: Repeated squaring How do you compute (1415) 13 mod 2537 = 2182 using just a calculator? Or how do you check that 2 340 mod 341 = 1? You can do this using the method

More information

MATH 10034 Fundamental Mathematics IV

MATH 10034 Fundamental Mathematics IV MATH 0034 Fundamental Mathematics IV http://www.math.kent.edu/ebooks/0034/funmath4.pdf Department of Mathematical Sciences Kent State University January 2, 2009 ii Contents To the Instructor v Polynomials.

More information

FACTORING. n = 2 25 + 1. fall in the arithmetic sequence

FACTORING. n = 2 25 + 1. fall in the arithmetic sequence FACTORING The claim that factorization is harder than primality testing (or primality certification) is not currently substantiated rigorously. As some sort of backward evidence that factoring is hard,

More information

Today s Topics. Primes & Greatest Common Divisors

Today s Topics. Primes & Greatest Common Divisors Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime

More information