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

Size: px
Start display at page:

Transcription

1 IRRATIONALITY FROM THE BOOK STEVEN J. MILLER AND DAVID MONTAGUE arxiv: v2 [math.ho] 4 Nov 2009 A right of passage to theoretical mathematics is often a proof of the irrationality of 2, or at least this is where a lot of our engineering friends part ways, shaking their heads that we spend our time on such pursuits. While there are numerous applications of irrational numbers (these occur all the time in dynamical systems), the purpose of this note is not to sing their praise, but to spread the word on a truly remarkable geometric proof and its generalizations. Erdös used to say that G-d kept the most elegant proofs of each mathematical theorem in The Book, and while one does not have to believe in G-d, a mathematician should believe in The Book. We first review the standard proof of the irrationality of n. We then give the elegant geometric proof of the irrationality of 2 by Stanley Tennenbaum (discovered in the early 1950s [Te], and which first appeared in print in John H. Conway s article in Power [Co]), which is worthy of inclusion in The Book. We then generalize this proof to 3 and 5, and invite the reader to explore other numbers. 1. STANDARD PROOF THAT 2 IS IRRATIONAL To say n is irrational means there are no integers a and b such that n = a/b. There are many proofs; see [Bo] for an extensive list. One particularly nice one can be interpreted as an origami construction (see proof 7 of [Bo] and the references there, and pages of [CG] for the origami interpretation). Cwikel [Cw] has generalized these origami arguments to yield the irrationality of other numbers as well. We give the most famous proof in the case n = 2. Assume there are integers a and b with 2 = a/b; note we may cancel any common factors of a and b and thus we may assume they are relatively prime. Then 2b 2 = a 2 and hence 2 a 2. We want to conclude that 2 a. If we know unique factorization 1, the proof is immediate. If not, assume a = 2m + 1 is odd. Then a 2 = 4m 2 + 4m + 1 is odd as well, and hence not divisible Date: November 4, This paper was inspired by Margaret Tucker s senior colloquium talk at Williams College (February 9, 2009), where she introduced the first named author to Tennenbaum s wonderful proof of the irrationality of 2, and a comment during the talk by Frank Morgan, who wondered if the method could be generalized to other numbers. We thank Peter Sarnak for pointing out the reference [Cw]. Some of the work was done at the 2009 SMALL Undergraduate Research Program at Williams College and the 2009 Young Mathematicians Conference at The Ohio State University; it is a pleasure to thank the NSF (Grant DMS ), Ohio State and Williams College for their support; the first named author was also supported by NSF Grant DMS Unique factorization states that every integer can be written as a product of prime powers in a unique way. 1

2 2 STEVEN J. MILLER AND DAVID MONTAGUE by two. 2 We therefore may write a = 2r with 0 < r < a. Then 2b 2 = a 2 = 4r 2, which when we divide by 2 gives b 2 = 2r 2. Arguing as before, we find that 2 b, so we may write b = 2s. But now we have 2 a and 2 b, which contradicts a and b being relatively prime. Thus, 2 is irrational. 2. TENNENBAUM S PROOF We now describe Tennenbaum s wonderful geometric proof of the irrationality of 2. Suppose that (a/b) 2 = 2 for some integers a and b. Without loss of generality, we might as well assume that a and b are the smallest such numbers. So far this looks remarkably similar to the standard proof; here is where we go a different route. Again we find a 2 = 2b 2, but now we interpret this geometrically as the area of two squares of side length b equals the area of one square of side length a. Thus, if we consider Figure 1, we see that the total area covered by the squares with side length b (counting the a b 2b a b a b b FIGURE 1. Geometric proof of the irrationality of 2. overlapping, pink region twice) is equal to the area of the larger square with side length a. Therefore the pink, doubly counted part, which is a square of side length 2b a, has area equal to that of the two white, uncovered squares (each of side length a b) combined. In other words, (2b a) 2 = 2(a b) 2 or 2 = (2b a)/(a b). But this is a smaller solution 3, contradiction! 3. THE SQUARE-ROOT OF 3 IS IRRATIONAL We generalize Tennenbaum s geometric proof to show 3 is irrational. Suppose not, so 3 = a/b, and again we may assume that a and b are the smallest integers 2 Some texts, such as [HW], state that the Greeks argued along these lines, which is why they stopped their proofs at something like the irrationality of 17, as they were looking at special cases and not using unique factorization. 3 While it is clear geometrically that this is a smaller solution, we can also see this algebraically by observing that 2b a < a. This follows from b < a and writing 2b a as b (a b) < b < a. Similarly one can show that a b < b (if not, a 2b so a/b 2 > 2).

3 IRRATIONALITY FROM THE BOOK 3 satisfying this. This time we have a 2 = 3b 2, which we interpret as the area 4 of one equilateral triangle of side length a equals the area of three equilateral triangles of side length b. We represent this in Figure 2,, which consists of three equilateral triangles 2b a b a FIGURE 2. Geometric proof of the irrationality of 3 of side length b placed at the corners of an equilateral triangle of side length a. Note that the area of the three doubly covered, pink triangles (which have side length 2b a) is therefore equal to that of the uncovered, equilateral triangle in the middle. This is clearly a smaller solution, contradiction! 5 4. THE SQUARE-ROOT OF 5 IS IRRATIONAL For the irrationality of 5, we have to slightly modify our approach as the overlapping regions are not so nicely shaped. As the proof is similar, we omit some of the details. Similar to the case of 3 and triangles, there are proportionality constants relating the area to the square of the side lengths of regular n-gons; however, as these constants appear on both sides of the equations, we may ignore them. Suppose a 2 = 5b 2 with, as always, a and b minimal. We place five regular pentagons of side length b at the corners of a regular pentagon of side length a (see Figure 3). Note that this gives five small triangles on the edge of the larger pentagon which are uncovered, one uncovered regular pentagon in the middle of the larger pentagon, and five kite-shaped doubly covered regions. As before, the doubly covered region must have the same area as the uncovered region. We now take the uncovered triangles from the edge and match them with the doubly covered part at the bottom of the kite, and regard each as covered once instead of one covered twice and one uncovered (see Figure 4). This leaves five doubly covered 4 Note that the area of an equilateral triangle is proportional to the square of its side s; specifically, the area is s 2 3/4. 5 For completeness, the length of the equilateral triangle in the middle is 2a 3b. To see this, note the dark red triangles have sides of length b, each pink triangle has sides of length 2b a and thus the middle triangle has sides of length b 2(2b a) = 2a 3b. This leads to 3(2b a) 2 = (2a 3b) 2, which after some algebra we see is a smaller solution.

4 4 STEVEN J. MILLER AND DAVID MONTAGUE FIGURE 3. Geometric proof of the irrationality of 5. FIGURE 4. Geometric proof of the irrationality of 5: the kites, triangles and the small pentagons. pentagons, and one larger pentagon uncovered. We show that the five doubly covered pentagons are all regular, with side length a 2b. From this we get that the side lengths of the middle pentagon are all equal to b 2(a 2b) = 5b 2a; later we ll show that the five angles of the middle pentagon are all equal, and thus it too is a regular pentagon. We now have a smaller solution, namely 5(a 2b) 2 = (5b 2a) 2 (note that a 2b < b, as a = b 5, and 2 < 5 < 3), and thus we will have our contradiction. To show the smaller pentagons are regular, we just need to show two things: (1) all the angles are 3π/5; (2) the lower left and lower right sides (which have equal side length by symmetry, which we denote by x) in Figure 4 have length a 2b, which is the length of the bottom side. If we can show these three sides are all equal, then since

5 IRRATIONALITY FROM THE BOOK 5 FIGURE 5. Geometric proof of the irrationality of 6. all five angles are equal the remaining two sides must also have length a 2b and thus the pentagon is regular. 6 For (1), the sum of the angles of a pentagon 7 is 3π, and for a regular pentagon each angle is 3π/5. The two base angles of the triangles are thus 2π/5 (as they are supplementary angles), and thus the two angles in the smaller pentagon next to the triangle s base are also 3π/5. The two angles adjacent to these are just internal angles of a regular pentagon, and thus also 3π/5. As the sum of all the angles is 3π and we ve already accounted for 4 3π/5, this forces the top angle to be 3π/5 as desired. The proof that the angles in the middle pentagon are all equal proceeds similarly (or by symmetry). We now turn to (2). The length of the left and right sides of the originally uncovered triangle at the bottom of Figure 4 is (a 2b)/2 ; to see this, note the base angles cos(2π/5) of the triangle are π 3π (as each angle of a regular pentagon is 3π/5 and the triangle s base angles are supplementary), and by standard trigonometry (cos(angle) = 5 adjacent/hypothenuse) we have x cos(π 3π) = a 2b. Using a/b = 5, we see 5 2 x = b 2(a 2b) = b(1 5 2 ). Noting the formula cos(2π/5) = 1( 1+ 5), the 2cos(2π/5) cos(2π/5) 4 previous expression for x simplifies to x = b( 5 2) = a 2b (as we are assuming 5 = a/b), and the argument is done. 5. HOW FAR CAN WE GENERALIZE: IRRATIONALITY OF 6 We conclude with a discussion of one generalization of our method that allows us to consider triangular numbers. Figure 5 shows the construction for the irrationality of 6. Assume 6 = a/b so a 2 = 6b 2. The large equilateral triangle has side length a and the 6 This is similar to the ASA, or angle-side-angle, principle for when two triangles are equal. There is a unique pentagon once we specify all angles and three consecutive sides; as a regular pentagon satisfies our conditions, it must be the only solution. 7 To see this, connect each corner to the center. This forms 5 triangles, each of which gives π radians. We must subtract 2π for the sum of the angles around the center, which gives 3π for the sum of the pentagon s angles.

6 6 STEVEN J. MILLER AND DAVID MONTAGUE six medium equilateral triangles have side length b. The 7 smallest equilateral triangles (6 double counted, one in the center triple counted) have side length t = (3b a)/2. It s a little work, but not too bad, to show the triple counted one is the same size. For the three omitted triangles, they are all equilateral (angles equal) and of side length s = b 2(3b a)/2 = a 2b. As the area of the smaller equilateral triangles is proportional to t 2 and for the larger it is proportional to s 2, we find 8t 2 = 3s 2 or 16t 2 = 6s 2 so (4t/s) 2 = 6. Note that although t itself may not be an integer, 4t = 2(3b a) is an integer. We claim 4t < a and s < b, so that this is a smaller solution. Clearly s < b, and as the ratio is 6, the other claim now follows. Can we continue this argument? We may interpret the argument here as adding three more triangles to the argument for the irrationality of 3; thus the next step would be adding four more triangles to this to prove the irrationality of 10. Proceeding along these lines lead us to study the square-roots of triangular numbers. 8 We continue more generally by producing images like Figure 5 with n equally spaced rows of side length b triangles. This causes us to start with a 2 = n(n+1) b 2, so we can attempt to show that 2 n(n + 1)/2 is irrational. By similar reasoning to the above, we see that the smaller multiply covered equilateral triangles all have the same side length t, and that the uncovered triangles also all have the same side length s. Further t equals (nb a)/(n 1), and we have that s = b 2t, so s = b 2(nb a)/(n 1) = (2a (n+1)b)/(n 1). To count the number of side length t triangles, we note that there will be (n 2)(n 1)/2 triply covered triangles (as there is a triangle-shaped configuration of them with n 2 rows), and that there will be 3(n 1) doubly covered triangles around the edge of the figure, for a grand total of 2(n 2)(n 1)/2+3(n 1) = (n 1)(n+1) coverings of the smaller triangle. Further, note that in general there will be (n 1)n/2 smaller, uncovered triangles, so we have that (n 1)(n+1)t 2 = ((n 1)n/2)s 2. Writing out the formula for s, t (to verify that our final smaller solution is integral), we have (n 1)(n+1)((nb a)/(n 1)) 2 = ((n 1)n/2)((2a (n + 1)b)/(n 1)) 2. We now multiply both sides of the equation by n 1 to ensure integrality, giving (n + 1)(nb a) 2 = (n/2)(2a (n + 1)b) 2. We multiply both sides by n/2 to achieve a smaller solution to a 2 = (n(n+1)/2)b 2, giving us (n(n + 1)/2)(nb a) 2 = (n(2a (n + 1)b)/2) 2. Note that this solution is integral, as n odd implies that 2a (n+1)b is even. Finally, to show that this solution is smaller, we just need that nb a < b. This is equivalent to n n(n + 1)/2 < 1. We see that this inequality holds for n 4, but not for n > 4. So, we have shown that the method used above to prove that 6 is irrational can also be used to show that 10 (the square root of the fourth triangular number) is irrational, but that this method will not work for any further triangular numbers. It is good (perhaps it is better to say, it is not unexpected ) to have such a problem, as some triangular numbers are perfect squares. For example, when n = 49 then we have 49 50/2 = , and thus we should not be able to prove that this has an irrational square-root! 8 Triangular numbers are of the form n(n + 1)/2 for some positive integer n. Note the first few are 1, 3, 6, 10, 15,....

7 IRRATIONALITY FROM THE BOOK 7 REFERENCES [Bo] A. Bogomolny, Square root of 2 is irrational, root.shtml [Co] J. H. Conway, The power of mathematics. In Power (A. Blackwell and D. MacKay, editors), Darwin College Lectures 16, Cambridge University Press, [CG] J. H. Conway and R. K. Guy, The Book of Numbers, Copernicus, [Cw] M. Cwikel, Origami proofs of irrationality of square roots, preprint. mcwikel/paperfold.pdf [Ha] A. Hahn, Basic Calculus: From Archimedes to Newton to its Role in Science, Springer Verlag & Key College, Also available online at hahn/ [HW] G. H. Hardy and E. Wright, An Introduction to the Theory of Numbers, 5th edition, Oxford Science Publications, Clarendon Press, Oxford, [Te] P. Tennenbaum, private communication. address: DEPARTMENT OF MATHEMATICS AND STATISTICS, WILLIAMS COLLEGE, WILLIAMSTOWN, MA address: DEPARTMENT OF MATHEMATICS, UNIVERSITY OF MICHIGAN, ANN ARBOR, MI 48109

### 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

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

### Stanford Math Circle: Sunday, May 9, 2010 Square-Triangular Numbers, Pell s Equation, and Continued Fractions

Stanford Math Circle: Sunday, May 9, 00 Square-Triangular Numbers, Pell s Equation, and Continued Fractions Recall that triangular numbers are numbers of the form T m = numbers that can be arranged in

### 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

### 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

### 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

### 0.8 Rational Expressions and Equations

96 Prerequisites 0.8 Rational Expressions and Equations We now turn our attention to rational expressions - that is, algebraic fractions - and equations which contain them. The reader is encouraged to

### 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

### IB Maths SL Sequence and Series Practice Problems Mr. W Name

IB Maths SL Sequence and Series Practice Problems Mr. W Name Remember to show all necessary reasoning! Separate paper is probably best. 3b 3d is optional! 1. In an arithmetic sequence, u 1 = and u 3 =

### 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,

### 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

### 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

### 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

### 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

### 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

### 4. How many integers between 2004 and 4002 are perfect squares?

5 is 0% of what number? What is the value of + 3 4 + 99 00? (alternating signs) 3 A frog is at the bottom of a well 0 feet deep It climbs up 3 feet every day, but slides back feet each night If it started

### Math 115 Spring 2011 Written Homework 5 Solutions

. Evaluate each series. a) 4 7 0... 55 Math 5 Spring 0 Written Homework 5 Solutions Solution: We note that the associated sequence, 4, 7, 0,..., 55 appears to be an arithmetic sequence. If the sequence

### 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

### 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

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

### 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)

### 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

### 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

### 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

### Mathematical Induction. Mary Barnes Sue Gordon

Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

### 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

### 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

### Introduction. Appendix D Mathematical Induction D1

Appendix D Mathematical Induction D D Mathematical Induction Use mathematical induction to prove a formula. Find a sum of powers of integers. Find a formula for a finite sum. Use finite differences to

### 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

### Heron Triangles. by Kathy Temple. Arizona Teacher Institute. Math Project Thesis

Heron Triangles by Kathy Temple Arizona Teacher Institute Math Project Thesis In partial fulfillment of the M.S. Degree in Middle School Mathematics Teaching Leadership Department of Mathematics University

### 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

### LAMC Beginners Circle: Parity of a Permutation Problems from Handout by Oleg Gleizer Solutions by James Newton

LAMC Beginners Circle: Parity of a Permutation Problems from Handout by Oleg Gleizer Solutions by James Newton 1. Take a two-digit number and write it down three times to form a six-digit number. For example,

### 5.1 Radical Notation and Rational Exponents

Section 5.1 Radical Notation and Rational Exponents 1 5.1 Radical Notation and Rational Exponents We now review how exponents can be used to describe not only powers (such as 5 2 and 2 3 ), but also roots

### Assignment 5 - Due Friday March 6

Assignment 5 - Due Friday March 6 (1) Discovering Fibonacci Relationships By experimenting with numerous examples in search of a pattern, determine a simple formula for (F n+1 ) 2 + (F n ) 2 that is, a

### 2 When is a 2-Digit Number the Sum of the Squares of its Digits?

When Does a Number Equal the Sum of the Squares or Cubes of its Digits? An Exposition and a Call for a More elegant Proof 1 Introduction We will look at theorems of the following form: by William Gasarch

### G. GRAPHING FUNCTIONS

G. GRAPHING FUNCTIONS To get a quick insight int o how the graph of a function looks, it is very helpful to know how certain simple operations on the graph are related to the way the function epression

### Cubes and Cube Roots

CUBES AND CUBE ROOTS 109 Cubes and Cube Roots CHAPTER 7 7.1 Introduction This is a story about one of India s great mathematical geniuses, S. Ramanujan. Once another famous mathematician Prof. G.H. Hardy

### Angles and Quadrants. Angle Relationships and Degree Measurement. Chapter 7: Trigonometry

Chapter 7: Trigonometry Trigonometry is the study of angles and how they can be used as a means of indirect measurement, that is, the measurement of a distance where it is not practical or even possible

### 6.3 Conditional Probability and Independence

222 CHAPTER 6. PROBABILITY 6.3 Conditional Probability and Independence Conditional Probability Two cubical dice each have a triangle painted on one side, a circle painted on two sides and a square painted

### Homework 2 Solutions

Homework Solutions 1. (a) Find the area of a regular heagon inscribed in a circle of radius 1. Then, find the area of a regular heagon circumscribed about a circle of radius 1. Use these calculations to

### 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

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

### Solutions to Homework 10

Solutions to Homework 1 Section 7., exercise # 1 (b,d): (b) Compute the value of R f dv, where f(x, y) = y/x and R = [1, 3] [, 4]. Solution: Since f is continuous over R, f is integrable over R. Let x

### 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,

### 26 Integers: Multiplication, Division, and Order

26 Integers: Multiplication, Division, and Order Integer multiplication and division are extensions of whole number multiplication and division. In multiplying and dividing integers, the one new issue

### 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

### n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...

6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence

### 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

### 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

### Kenken For Teachers. Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles June 27, 2010. Abstract

Kenken For Teachers Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles June 7, 00 Abstract Kenken is a puzzle whose solution requires a combination of logic and simple arithmetic skills.

### Trigonometric Functions and Triangles

Trigonometric Functions and Triangles Dr. Philippe B. Laval Kennesaw STate University August 27, 2010 Abstract This handout defines the trigonometric function of angles and discusses the relationship between

### 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

### 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,

### 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

### 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,

### Session 6 Number Theory

Key Terms in This Session Session 6 Number Theory Previously Introduced counting numbers factor factor tree prime number New in This Session composite number greatest common factor least common multiple

### CSU Fresno Problem Solving Session. Geometry, 17 March 2012

CSU Fresno Problem Solving Session Problem Solving Sessions website: http://zimmer.csufresno.edu/ mnogin/mfd-prep.html Math Field Day date: Saturday, April 21, 2012 Math Field Day website: http://www.csufresno.edu/math/news

### Unit 6 Trigonometric Identities, Equations, and Applications

Accelerated Mathematics III Frameworks Student Edition Unit 6 Trigonometric Identities, Equations, and Applications nd Edition Unit 6: Page of 3 Table of Contents Introduction:... 3 Discovering the Pythagorean

### 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

### MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

### INTERESTING PROOFS FOR THE CIRCUMFERENCE AND AREA OF A CIRCLE

INTERESTING PROOFS FOR THE CIRCUMFERENCE AND AREA OF A CIRCLE ABSTRACT:- Vignesh Palani University of Minnesota - Twin cities e-mail address - palan019@umn.edu In this brief work, the existing formulae

### 9.2 Summation Notation

9. Summation Notation 66 9. Summation Notation In the previous section, we introduced sequences and now we shall present notation and theorems concerning the sum of terms of a sequence. We begin with a

### 28 CHAPTER 1. VECTORS AND THE GEOMETRY OF SPACE. v x. u y v z u z v y u y u z. v y v z

28 CHAPTER 1. VECTORS AND THE GEOMETRY OF SPACE 1.4 Cross Product 1.4.1 Definitions The cross product is the second multiplication operation between vectors we will study. The goal behind the definition

### 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

### Section 1.3 P 1 = 1 2. = 1 4 2 8. P n = 1 P 3 = Continuing in this fashion, it should seem reasonable that, for any n = 1, 2, 3,..., = 1 2 4.

Difference Equations to Differential Equations Section. The Sum of a Sequence This section considers the problem of adding together the terms of a sequence. Of course, this is a problem only if more than

### 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

### 5544 = 2 2772 = 2 2 1386 = 2 2 2 693. Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1

MATH 13150: Freshman Seminar Unit 8 1. Prime numbers 1.1. Primes. A number bigger than 1 is called prime if its only divisors are 1 and itself. For example, 3 is prime because the only numbers dividing

### Solving Rational Equations

Lesson M Lesson : Student Outcomes Students solve rational equations, monitoring for the creation of extraneous solutions. Lesson Notes In the preceding lessons, students learned to add, subtract, multiply,

### 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

### Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

### SMT 2014 Algebra Test Solutions February 15, 2014

1. Alice and Bob are painting a house. If Alice and Bob do not take any breaks, they will finish painting the house in 20 hours. If, however, Bob stops painting once the house is half-finished, then the

### 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

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

### 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

### 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

### Right Triangles 4 A = 144 A = 16 12 5 A = 64

Right Triangles If I looked at enough right triangles and experimented a little, I might eventually begin to notice a relationship developing if I were to construct squares formed by the legs of a right

### Grade 7 & 8 Math Circles Circles, Circles, Circles March 19/20, 2013

Faculty of Mathematics Waterloo, Ontario N2L 3G Introduction Grade 7 & 8 Math Circles Circles, Circles, Circles March 9/20, 203 The circle is a very important shape. In fact of all shapes, the circle is

### Math 3000 Section 003 Intro to Abstract Math Homework 2

Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these

### Zeros of a Polynomial Function

Zeros of a Polynomial Function An important consequence of the Factor Theorem is that finding the zeros of a polynomial is really the same thing as factoring it into linear factors. In this section we

### Unified Lecture # 4 Vectors

Fall 2005 Unified Lecture # 4 Vectors These notes were written by J. Peraire as a review of vectors for Dynamics 16.07. They have been adapted for Unified Engineering by R. Radovitzky. References [1] Feynmann,

### Collinear Points in Permutations

Collinear Points in Permutations Joshua N. Cooper Courant Institute of Mathematics New York University, New York, NY József Solymosi Department of Mathematics University of British Columbia, Vancouver,

### Selected practice exam solutions (part 5, item 2) (MAT 360)

Selected practice exam solutions (part 5, item ) (MAT 360) Harder 8,91,9,94(smaller should be replaced by greater )95,103,109,140,160,(178,179,180,181 this is really one problem),188,193,194,195 8. On

### Answer Key for California State Standards: Algebra I

Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.

### 1.7 Graphs of Functions

64 Relations and Functions 1.7 Graphs of Functions In Section 1.4 we defined a function as a special type of relation; one in which each x-coordinate was matched with only one y-coordinate. We spent most

### Factorizations: Searching for Factor Strings

" 1 Factorizations: Searching for Factor Strings Some numbers can be written as the product of several different pairs of factors. For example, can be written as 1, 0,, 0, and. It is also possible to write

### 88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a

88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small

### 1.6 The Order of Operations

1.6 The Order of Operations Contents: Operations Grouping Symbols The Order of Operations Exponents and Negative Numbers Negative Square Roots Square Root of a Negative Number Order of Operations and Negative

### Linear Algebra Notes for Marsden and Tromba Vector Calculus

Linear Algebra Notes for Marsden and Tromba Vector Calculus n-dimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of

### SOLVING TRIGONOMETRIC EQUATIONS

Mathematics Revision Guides Solving Trigonometric Equations Page 1 of 17 M.K. HOME TUITION Mathematics Revision Guides Level: AS / A Level AQA : C2 Edexcel: C2 OCR: C2 OCR MEI: C2 SOLVING TRIGONOMETRIC

### I remember that when I

8. Airthmetic and Geometric Sequences 45 8. ARITHMETIC AND GEOMETRIC SEQUENCES Whenever you tell me that mathematics is just a human invention like the game of chess I would like to believe you. But I

### ALGEBRA. sequence, term, nth term, consecutive, rule, relationship, generate, predict, continue increase, decrease finite, infinite

ALGEBRA Pupils should be taught to: Generate and describe sequences As outcomes, Year 7 pupils should, for example: Use, read and write, spelling correctly: sequence, term, nth term, consecutive, rule,

### Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

### Sample Induction Proofs

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given

### 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

### 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

### Warm up. Connect these nine dots with only four straight lines without lifting your pencil from the paper.

Warm up Connect these nine dots with only four straight lines without lifting your pencil from the paper. Sometimes we need to think outside the box! Warm up Solution Warm up Insert the Numbers 1 8 into

### One advantage of this algebraic approach is that we can write down

. Vectors and the dot product A vector v in R 3 is an arrow. It has a direction and a length (aka the magnitude), but the position is not important. Given a coordinate axis, where the x-axis points out