# Pythagorean Triples Pythagorean triple similar primitive

Save this PDF as:

Size: px
Start display at page:

Download "Pythagorean Triples Pythagorean triple similar primitive"

## Transcription

1 Pythagorean Triples One of the most far-reaching problems to appear in Diophantus Arithmetica was his Problem II-8: To divide a given square into two squares. Namely, find integers x, y, z, so that x 2 + y 2 = z 2. Clearly, this problem can be restated in the form: Find a right triangle with integer side lengths, we call such a triple of (positive) numbers {x, y, z} a Pythagorean triple. Some easy observations will focus our attention here: note that if {x, y, z} is a Pythagorean triple, then so is {kx, ky, kz} for any integer k; so in fact, we can group Pythagorean triples into classes by saying that two sets of triples are similar if one is a rational multiple of the other. For instance, {6,8,10} and {9,12,15} are similar since the second is 3/2 times the first. In each similarity class of triples, then, there is a unique primitive one, namely, a triple {x, y, z} for which (x, y,z) = 1. Notice also, that the primitive triple in each similarity class of triples has the smallest sized values (why?). Indeed, not only are the three members of a primitive Pythagorean triple {x, y, z} relatively prime as a group, but they are relatively prime in pairs, for if, say, (x, y) = d > 1, then since x 2 + y 2 = z 2, d 2 z 2, which implies that d z. (Similar arguments

2 work for the other pairings within {x, y, z}.) It follows, for instance, that only one of the three numbers can be even. But we can say more, for if x and y were both odd, then they would both have to be congruent to either ±1 (mod 4). This implies that z 2 x 2 + y (mod 4), but this is not possible, for since z is even, 4 z 2, so z 2 0 (mod4). It follows that z must be odd, and one of x or y is even and the other is odd. We will assume thenceforth that x is odd and y = 2w is even. (Our textbook reverses this standard convention!) We can now write 4w 2 = y 2 = z 2 x 2 = (z + x)(z x) (*) w 2 = z + x z x 2 2 where, since x and z are odd, the factors on the right are known to be integers. Put d = z + x 2, z x. Then d z and d x, so d (z, x). 2 But this means d = 1. We then have from (*) that

3 there exist positive integers a and b so that z + x 2 = a2, z x 2 = b2 ; also, a and b must be relatively prime, and on adding the two expressions above, z = a 2 +b 2, x = a 2 b 2. Further, (*) implies that w 2 = a 2 b 2 y = 2w = 2ab, and since z is odd, a and b must have opposite parity. These arguments can be extended by the Theorem If x, y are relatively prime positive integers with x odd, then there exists a positive integer z for which x 2 + y 2 = z 2 if and only if there exist relatively prime integers a, b with a odd, for which x = a 2 b 2, y = 2ab, z = a 2 +b 2. Proof ( ) Given above. ( ) If {x, y, z} are given in terms of a, b as in the formulas, it is easy to check that x 2 + y 2 = z 2, and that x is odd and y even. We leave it as an exercise to check that (x, y) = 1. //

4 In the early 1600s, Fermat studied the work of Diophantus, and used the result of the previous theorem in formulating an extension of the Pythagorean triples problem to what would be his most famous unsupported claim: Fermat s Last Theorem (FLT) There do not exist positive integers x, y, z that satisfy for any exponent n > 2. // x n + y n = z n The theorem was finally proven true in 1994 by Andrew Wiles, who employed extremely sophisticated tools from algebraic geometry to accomplish it. Still, Fermat was successful in proving a special case of the theorem, for n = 4, and in the process he developed a technique called the method of descent, whereby, on assuming the existence of a single solution in positive integers, he derives the existence of a smaller solution in positive integers. The ability to generate smaller solutions contradicts the Well Ordering Principle, showing that there could not have existed a solution to begin with!...

5 Theorem There do not exist positive integers x, y, z that satisfy x 4 + y 4 = z 2. Proof An analysis similar to the one we used for Pythagorean triples shows that any solution {x, y, z} can be reduced to a primitive solution, that is, one for which (x, y) = 1. We assume as before that x and z are odd and y is even. In fact, we may assume by the Well-Ordering Principle that {x, y, z} is a solution for which z is as small as possible. Therefore, { x 2, y 2,z} is a primitive Pythagorean triple, so we may conclude that there exist relatively prime integers a, b (with a odd), for which x 2 = a 2 b 2, y 2 = 2ab, z = a 2 +b 2. Then a 2 = b 2 + x 2, and (b, x) divides b and x, hence also a; but (a,b) = 1 implies that (b, x) = 1. That is, {x, b, a} is a primitive Pythagorean triple, so there exist relatively prime integers u, v (with u odd), for which x = u 2 v 2, b = 2uv, a = u 2 +v 2. Note that 1 2 y ( ) 2 = a 1 2 b is the product of the relatively prime integers a and 1 b; so there also 2

6 exist relatively prime integers s and t so that a = s 2 and 1 2 b = t 2. But then t 2 = uv and since (u,v) = 1, we must have relatively prime integers m and n such that u = m 2 and v = n 2. It follows that m 4 +n 4 = u 2 +v 2 = a = s 2 ; in other words, {m, n, s} is a second solution our the original equation. However, s a < z, so {m, n, s} is smaller in size than the solution {x, y, z}, contradicting the minimality of the choice of {x, y, z}. This contradiction shows that our original assumption, that there existed a solution in the first place, must have been false. // Corollary (FLT4) There do not exist positive integers x, y, z that satisfy x 4 + y 4 = z 4. Proof If {x, y, z} were a solution to x 4 + y 4 = z 4, then {x, y, z 2 } would give a solution to x 4 + y 4 = z 2. //

### TRIANGLES ON THE LATTICE OF INTEGERS. Department of Mathematics Rowan University Glassboro, NJ Andrew Roibal and Abdulkadir Hassen

TRIANGLES ON THE LATTICE OF INTEGERS Andrew Roibal and Abdulkadir Hassen Department of Mathematics Rowan University Glassboro, NJ 08028 I. Introduction In this article we will be studying triangles whose

### A Non-Existence Property of Pythagorean Triangles with a 3-D Application

A Non-Existence Property of Pythagorean Triangles with a 3-D Application Konstantine Zelator Department of Mathematics and Computer Science Rhode Island College 600 Mount Pleasant Avenue Providence, RI

### MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2016 47 4. Diophantine Equations A Diophantine Equation is simply an equation in one or more variables for which integer (or sometimes rational) solutions

### p 2 1 (mod 6) Adding 2 to both sides gives p (mod 6)

.9. Problems P10 Try small prime numbers first. p p + 6 3 11 5 7 7 51 11 13 Among the primes in this table, only the prime 3 has the property that (p + ) is also a prime. We try to prove that no other

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

### The Equation x 2 + y 2 = z 2

The Equation x 2 + y 2 = z 2 The equation x 2 + y 2 = z 2 is associated with the Pythagorean theorem: In a right triangle the sum of the squares on the sides is equal to the square on the hypotenuse. We

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

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

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

### PYTHAGOREAN TRIPLES PETE L. CLARK

PYTHAGOREAN TRIPLES PETE L. CLARK 1. Parameterization of Pythagorean Triples 1.1. Introduction to Pythagorean triples. By a Pythagorean triple we mean an ordered triple (x, y, z) Z 3 such that x + y =

### PRINCIPLE OF MATHEMATICAL INDUCTION

Chapter 4 PRINCIPLE OF MATHEMATICAL INDUCTION Analysis and natural philosophy owe their most important discoveries to this fruitful means, which is called induction Newton was indebted to it for his theorem

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

### 1.3 Induction and Other Proof Techniques

4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.

### Geometry and Arithmetic

Geometry and Arithmetic Alex Tao 10 June 2008 1 Rational Points on Conics We begin by stating a few definitions: A rational number is a quotient of two integers and the whole set of rational numbers is

### Congruent Numbers, the Rank of Elliptic Curves and the Birch and Swinnerton-Dyer Conjecture. Brad Groff

Congruent Numbers, the Rank of Elliptic Curves and the Birch and Swinnerton-Dyer Conjecture Brad Groff Contents 1 Congruent Numbers... 1.1 Basic Facts............................... and Elliptic Curves.1

### Chapter 1 Basic Number Concepts

Draft of September 2014 Chapter 1 Basic Number Concepts 1.1. Introduction No problems in this section. 1.2. Factors and Multiples 1. Determine whether the following numbers are divisible by 3, 9, and 11:

### Topics in Number Theory

Chapter 8 Topics in Number Theory 8.1 The Greatest Common Divisor Preview Activity 1 (The Greatest Common Divisor) 1. Explain what it means to say that a nonzero integer m divides an integer n. Recall

### PYTHAGOREAN NUMBERS. Bowling Green State University, Bowling Green, OH (Submitted February 1988)

S u p r i y a Mohanty a n d S. P. Mohanty Bowling Green State University, Bowling Green, OH 43403-0221 (Submitted February 1988) Let M be a right angled triangle with legs x and y and hypotenuse z. Then

### Chapter Two. Number Theory

Chapter Two Number Theory 2.1 INTRODUCTION Number theory is that area of mathematics dealing with the properties of the integers under the ordinary operations of addition, subtraction, multiplication and

### Pythagorean Triples. Chapter 2. a 2 + b 2 = c 2

Chapter Pythagorean Triples The Pythagorean Theorem, that beloved formula of all high school geometry students, says that the sum of the squares of the sides of a right triangle equals the square of the

### DETERMINATION OF HERONIAN TRIANGLES

DETERMINATION OF HERONIAN TRIANGLES JOHN R.CARLSON San Diego State College, San Diego, California 1. A Pythagorean triangle is defined as any right-triangle having integral sides. Using the well-known

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

### Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers

Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers Amnon Yekutieli Department of Mathematics Ben Gurion University email: amyekut@math.bgu.ac.il Notes available at http://www.math.bgu.ac.il/~amyekut/lectures

### Proof: A logical argument establishing the truth of the theorem given the truth of the axioms and any previously proven theorems.

Math 232 - Discrete Math 2.1 Direct Proofs and Counterexamples Notes Axiom: Proposition that is assumed to be true. Proof: A logical argument establishing the truth of the theorem given the truth of the

### Even Number: An integer n is said to be even if it has the form n = 2k for some integer k. That is, n is even if and only if n divisible by 2.

MATH 337 Proofs Dr. Neal, WKU This entire course requires you to write proper mathematical proofs. All proofs should be written elegantly in a formal mathematical style. Complete sentences of explanation

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

### Section 6-2 Mathematical Induction

6- Mathematical Induction 457 In calculus, it can be shown that e x k0 x k k! x x x3!! 3!... xn n! where the larger n is, the better the approximation. Problems 6 and 6 refer to this series. Note that

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

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

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

### MATH 361: NUMBER THEORY FIRST LECTURE

MATH 361: NUMBER THEORY FIRST LECTURE 1. Introduction As a provisional definition, view number theory as the study of the properties of the positive integers, Z + = {1, 2, 3, }. Of particular interest,

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

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

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

### 10 k + pm pm. 10 n p q = 2n 5 n p 2 a 5 b q = p

Week 7 Summary Lecture 13 Suppose that p and q are integers with gcd(p, q) = 1 (so that the fraction p/q is in its lowest terms) and 0 < p < q (so that 0 < p/q < 1), and suppose that q is not divisible

### G E O M E T R Y CHAPTER 9 RIGHT TRIANGLES AND TRIGONOMETRY. Notes & Study Guide

G E O M E T R Y CHAPTER 9 RIGHT TRIANGLES AND TRIGONOMETRY Notes & Study Guide 2 TABLE OF CONTENTS SIMILAR RIGHT TRIANGLES... 3 THE PYTHAGOREAN THEOREM... 4 SPECIAL RIGHT TRIANGLES... 5 TRIGONOMETRIC RATIOS...

### ORDERS OF ELEMENTS IN A GROUP

ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since

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

### Oh Yeah? Well, Prove It.

Oh Yeah? Well, Prove It. MT 43A - Abstract Algebra Fall 009 A large part of mathematics consists of building up a theoretical framework that allows us to solve problems. This theoretical framework is built

### Mathematical Induction

Mathematical Induction Victor Adamchik Fall of 2005 Lecture 2 (out of three) Plan 1. Strong Induction 2. Faulty Inductions 3. Induction and the Least Element Principal Strong Induction Fibonacci Numbers

### Pythagorean Triples and Fermat s Last Theorem

Pythagorean Triples and Fermat s Last Theorem A. DeCelles Notes for talk at the Science Speakers Series at Goshen College Document created: 05/10/011 Last updated: 06/05/011 (graphics added) It is an amazing

### ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF SECTION 4.4 Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem Copyright Cengage Learning. All rights reserved.

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

### Chapter 3: Elementary Number Theory and Methods of Proof. January 31, 2010

Chapter 3: Elementary Number Theory and Methods of Proof January 31, 2010 3.4 - Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem Quotient-Remainder Theorem Given

### ARITHMETIC PROGRESSIONS OF FOUR SQUARES

ARITHMETIC PROGRESSIONS OF FOUR SQUARES KEITH CONRAD 1. Introduction Suppose a, b, c, and d are rational numbers such that a 2, b 2, c 2, and d 2 form an arithmetic progression: the differences b 2 a 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

### PERIMETERS OF PRIMITIVE PYTHAGOREAN TRIANGLES. 1. Introduction

PERIMETERS OF PRIMITIVE PYTHAGOREAN TRIANGLES LINDSEY WITCOSKY ADVISOR: DR. RUSS GORDON Abstract. This paper examines two methods of determining whether a positive integer can correspond to the semiperimeter

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

### Chapter 6 Finite sets and infinite sets. Copyright 2013, 2005, 2001 Pearson Education, Inc. Section 3.1, Slide 1

Chapter 6 Finite sets and infinite sets Copyright 013, 005, 001 Pearson Education, Inc. Section 3.1, Slide 1 Section 6. PROPERTIES OF THE NATURE NUMBERS 013 Pearson Education, Inc.1 Slide Recall that denotes

### ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF Copyright Cengage Learning. All rights reserved. SECTION 4.4 Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem

### MAT2400 Analysis I. A brief introduction to proofs, sets, and functions

MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take

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

### 2 The Euclidean algorithm

2 The Euclidean algorithm Do you understand the number 5? 6? 7? At some point our level of comfort with individual numbers goes down as the numbers get large For some it may be at 43, for others, 4 In

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

### In a triangle with a right angle, there are 2 legs and the hypotenuse of a triangle.

PROBLEM STATEMENT In a triangle with a right angle, there are legs and the hypotenuse of a triangle. The hypotenuse of a triangle is the side of a right triangle that is opposite the 90 angle. The legs

### Consequently, for the remainder of this discussion we will assume that a is a quadratic residue mod p.

Computing square roots mod p We now have very effective ways to determine whether the quadratic congruence x a (mod p), p an odd prime, is solvable. What we need to complete this discussion is an effective

### Algebra for Digital Communication

EPFL - Section de Mathématiques Algebra for Digital Communication Fall semester 2008 Solutions for exercise sheet 1 Exercise 1. i) We will do a proof by contradiction. Suppose 2 a 2 but 2 a. We will obtain

### Exponents and Primes

Exponents and Primes Alexander Remorov alexanderrem@gmail.com 1 Some Fundamentals Fundamental Theorem of Arithmetic: If n is a positive integer, it can be uniquely written as a product of primes: n = p

### Homework 5 Solutions

Homework 5 Solutions 4.2: 2: a. 321 = 256 + 64 + 1 = (01000001) 2 b. 1023 = 512 + 256 + 128 + 64 + 32 + 16 + 8 + 4 + 2 + 1 = (1111111111) 2. Note that this is 1 less than the next power of 2, 1024, which

### Coding Theory Pythagorean Codes Massoud Malek. By looking at the legs of a right-angle triangle (a, b, c), Pythagoras gave us the first theorem:

By looking at the legs of a right-angle triangle (a, b, c), Pythagoras gave us the first theorem: a 2 + b 2 = c 2 The leg c, is called the hypotenuse. If no other number except one divides both a and b,

### Review Name Rule of Inference

CS311H: Discrete Mathematics Review Name Rule of Inference Modus ponens φ 2 φ 2 Modus tollens φ 2 φ 2 Inference Rules for Quantifiers Işıl Dillig Hypothetical syllogism Or introduction Or elimination And

### b) Find smallest a > 0 such that 2 a 1 (mod 341). Solution: a) Use succesive squarings. We have 85 =

Problem 1. Prove that a b (mod c) if and only if a and b give the same remainders upon division by c. Solution: Let r a, r b be the remainders of a, b upon division by c respectively. Thus a r a (mod c)

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

### Introduction Proof by unique factorization in Z Proof with Gaussian integers Proof by geometry Applications. Pythagorean Triples

Pythagorean Triples Keith Conrad University of Connecticut August 4, 008 Introduction We seek positive integers a, b, and c such that a + b = c. Plimpton 3 Babylonian table of Pythagorean triples (1800

### LESSON 1 PRIME NUMBERS AND FACTORISATION

LESSON 1 PRIME NUMBERS AND FACTORISATION 1.1 FACTORS: The natural numbers are the numbers 1,, 3, 4,. The integers are the naturals numbers together with 0 and the negative integers. That is the integers

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

### Case #1 Case #2 Case #3. n = 3q n = 3q + 1 n = 3q + 2

Problems 1, 2, and 3 are worth 15 points each (5 points per subproblem). Problems 4 and 5 are worth 30 points each (10 points per subproblem), for a total of 105 points possible. 1. The following are from

### Problem Set 5. AABB = 11k = (10 + 1)k = (10 + 1)XY Z = XY Z0 + XY Z XYZ0 + XYZ AABB

Problem Set 5 1. (a) Four-digit number S = aabb is a square. Find it; (hint: 11 is a factor of S) (b) If n is a sum of two square, so is 2n. (Frank) Solution: (a) Since (A + B) (A + B) = 0, and 11 0, 11

### ARITHMETIC PROGRESSIONS OF THREE SQUARES

ARITHMETIC PROGRESSIONS OF THREE SQUARES KEITH CONRAD 1 Introduction Here are the first 10 perfect squares (ignoring 0): 1, 4, 9, 16, 25, 36, 49, 64, 81, 100 In this list is the arithmetic progression

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

### Solutions to Practice Problems

Solutions to Practice Problems March 205. Given n = pq and φ(n = (p (q, we find p and q as the roots of the quadratic equation (x p(x q = x 2 (n φ(n + x + n = 0. The roots are p, q = 2[ n φ(n+ ± (n φ(n+2

### Fibonacci Numbers Modulo p

Fibonacci Numbers Modulo p Brian Lawrence April 14, 2014 Abstract The Fibonacci numbers are ubiquitous in nature and a basic object of study in number theory. A fundamental question about the Fibonacci

### Proof that an Infinite Number of Mersenne Prime Numbers Exit

Proof that an Infinite Number of Mersenne Prime Numbers Exit Stephen Marshall 29 Aug 2014 Abstract This paper presents a complete and exhaustive proof of the infinitude of Mersenne prime numbers. The approach

### Congruences. Robert Friedman

Congruences Robert Friedman Definition of congruence mod n Congruences are a very handy way to work with the information of divisibility and remainders, and their use permeates number theory. Definition

### Chapter Three. Functions. In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics.

Chapter Three Functions 3.1 INTRODUCTION In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics. Definition 3.1: Given sets X and Y, a function from X to

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

### Logic and Proof Solutions. Question 1

Logic and Proof Solutions Question 1 Which of the following are true, and which are false? For the ones which are true, give a proof. For the ones which are false, give a counterexample. (a) x is an odd

### Prime Numbers. Chapter Primes and Composites

Chapter 2 Prime Numbers The term factoring or factorization refers to the process of expressing an integer as the product of two or more integers in a nontrivial way, e.g., 42 = 6 7. Prime numbers are

### Geometry - Chapter 2 Review

Name: Class: Date: Geometry - Chapter 2 Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Determine if the conjecture is valid by the Law of Syllogism.

### State the assumption you would make to start an indirect proof of each statement.

1. State the assumption you would make to start an indirect proof of each statement. Identify the conclusion you wish to prove. The assumption is that this conclusion is false. 2. is a scalene triangle.

### INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS

INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS STEVEN HEILMAN Contents 1. Homework 1 1 2. Homework 2 6 3. Homework 3 10 4. Homework 4 16 5. Homework 5 19 6. Homework 6 21 7. Homework 7 25 8. Homework 8 28

### 4 Number Theory I: Prime Numbers

4 Number Theory I: Prime Numbers Number theory is the mathematical study of the natural numbers, the positive whole numbers such as 2, 17, and 123. Despite their ubiquity and apparent simplicity, the natural

### vertex, 369 disjoint pairwise, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 466 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

### An introduction to number theory and Diophantine equations

An introduction to number theory and Diophantine equations Lillian Pierce April 20, 2010 Lattice points and circles What is the area of a circle of radius r? You may have just thought without hesitation

### THE FUNDAMENTAL THEOREM OF ARITHMETIC

Introduction In mathematics, there are three theorems that are significant enough to be called fundamental. The first theorem, of which this essay expounds, concerns arithmetic, or more properly number

### MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.

MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on

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

### This section demonstrates some different techniques of proving some general statements.

Section 4. Number Theory 4.. Introduction This section demonstrates some different techniques of proving some general statements. Examples: Prove that the sum of any two odd numbers is even. Firstly you

### CHAPTER 6: RATIONAL NUMBERS AND ORDERED FIELDS

CHAPTER 6: RATIONAL NUMBERS AND ORDERED FIELDS LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN 1. Introduction In this chapter we construct the set of rational numbers Q using equivalence

### A Fibonacci-like sequence of composite numbers

A Fibonacci-like sequence of composite numbers John W. Nicol University of Illinois, Urbana, IL nicol@alumni.cs.cmu.edu Submitted: June 17, 1998; Submitted in revised form: October 12, 1999; Accepted:

### If it is raining, then it is cloudy. If an integer (whole number) n is greater than 4.5, then n is greater than 4.

47 Lesson 3: The Converse of the Pythagorean Theorem, Pythagorean Triples and the 3-Dimensional Pythagorean Theorem Recall that the Pythagorean Theorem tells us how to calculate the length of one side

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

### 12 Greatest Common Divisors. The Euclidean Algorithm

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 12 Greatest Common Divisors. The Euclidean Algorithm As mentioned at the end of the previous section, we would like to

### Math 330A Class Drills All content copyright October 2010 by Mark Barsamian

Math 330A Class Drills All content copyright October 2010 by Mark Barsamian When viewing the PDF version of this document, click on a title to go to the Class Drill. Drill for Section 1.3.1: Theorems about

### Indiana State Core Curriculum Standards updated 2009 Algebra I

Indiana State Core Curriculum Standards updated 2009 Algebra I Strand Description Boardworks High School Algebra presentations Operations With Real Numbers Linear Equations and A1.1 Students simplify and

### Practice Problems for First Test

Mathematicians have tried in vain to this day to discover some order in the sequence of prime numbers, and we have reason to believe that it is a mystery into which the human mind will never penetrate.-

### APPLICATIONS OF THE ORDER FUNCTION

APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and