Congruent Number Problem



Similar documents
Settling a Question about Pythagorean Triples

THE CONGRUENT NUMBER PROBLEM

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

of Nebraska - Lincoln

COWLEY COUNTY COMMUNITY COLLEGE REVIEW GUIDE Compass Algebra Level 2

PYTHAGOREAN TRIPLES KEITH CONRAD

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

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

MATH10040 Chapter 2: Prime and relatively prime numbers

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

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

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

RECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES

4.2 Euclid s Classification of Pythagorean Triples

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.

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

Today s Topics. Primes & Greatest Common Divisors

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

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

Pythagorean Triples. becomes

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

Continued Fractions and the Euclidean Algorithm

Homework until Test #2

THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0

Pythagorean Theorem: Proof and Applications

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

Session 6 Number Theory

8 Primes and Modular Arithmetic

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

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

mod 10 = mod 10 = 49 mod 10 = 9.

ALGEBRAIC APPROACH TO COMPOSITE INTEGER FACTORIZATION

Grade 7/8 Math Circles Fall 2012 Factors and Primes

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

SECTION 10-2 Mathematical Induction

MATH 537 (Number Theory) FALL 2016 TENTATIVE SYLLABUS

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

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

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

Applications of Fermat s Little Theorem and Congruences

Copyrighted Material. Chapter 1 DEGREE OF A CURVE

An Innocent Investigation

Chapter 11 Number Theory

Properties of Real Numbers

THE BIRCH AND SWINNERTON-DYER CONJECTURE

SUM OF TWO SQUARES JAHNAVI BHASKAR

Contents. 6 Continued Fractions and Diophantine Equations. 6.1 Linear Diophantine Equations

On the largest prime factor of x 2 1

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

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

Waring s problem, taxicab numbers, and other sums of powers

ON FIBONACCI NUMBERS WITH FEW PRIME DIVISORS

SAT Math Facts & Formulas Review Quiz

PROOFS BY DESCENT KEITH CONRAD

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

5.1 Radical Notation and Rational Exponents

1. The volume of the object below is 186 cm 3. Calculate the Length of x. (a) 3.1 cm (b) 2.5 cm (c) 1.75 cm (d) 1.25 cm

Math Workshop October 2010 Fractions and Repeating Decimals

Square Roots and the Pythagorean Theorem

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University

Math 319 Problem Set #3 Solution 21 February 2002

Cubes and Cube Roots

25 The Law of Cosines and Its Applications

SOLUTIONS FOR PROBLEM SET 2

MATH 289 PROBLEM SET 4: NUMBER THEORY

Elements of Plane Geometry by LK

5544 = = = 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

A Study on the Necessary Conditions for Odd Perfect Numbers

Math Placement Test Study Guide. 2. The test consists entirely of multiple choice questions, each with five choices.

0.8 Rational Expressions and Equations

2010 Solutions. a + b. a + b 1. (a + b)2 + (b a) 2. (b2 + a 2 ) 2 (a 2 b 2 ) 2

Solving Quadratic Equations

Sequences. A sequence is a list of numbers, or a pattern, which obeys a rule.

MEMORANDUM. All students taking the CLC Math Placement Exam PLACEMENT INTO CALCULUS AND ANALYTIC GEOMETRY I, MTH 145:

8 Divisibility and prime numbers

Core Maths C1. Revision Notes

Some practice problems for midterm 2

Right Triangles 4 A = 144 A = A = 64

Zeros of a Polynomial Function

Lecture 13 - Basic Number Theory.

Ira Fine and Thomas J. Osler Department of Mathematics Rowan University Glassboro, NJ Introduction

Grade 7/8 Math Circles Sequences and Series

CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

Just the Factors, Ma am

Mathematical Induction. Mary Barnes Sue Gordon

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

arxiv: v2 [math.ho] 4 Nov 2009

Geometry: Classifying, Identifying, and Constructing Triangles

Stupid Divisibility Tricks

with functions, expressions and equations which follow in units 3 and 4.

Our Primitive Roots. Chris Lyons

8-2 The Pythagorean Theorem and Its Converse. Find x.

WRITING PROOFS. Christopher Heil Georgia Institute of Technology

Prime numbers and prime polynomials. Paul Pollack Dartmouth College

How do you compare numbers? On a number line, larger numbers are to the right and smaller numbers are to the left.

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and

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

PowerScore Test Preparation (800)

Transcription:

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 even famous men quite so much as to discover, or rediscover, a genuine mathematical theorem. (G. H. Hardy) Number theory can be dissected into many different areas: 1 Elementary Number Theory 2 Algebraic Number Theory 3 Analytic Number Theory 4 Diophantine Equations 5 Algebraic Geometry 6 Langlands Program 7... The beauty of number theory is that it often has simple to state problems with amazingly difficult proofs. We will see one such example today of an easy to state problem with a not so easy solution.

Determine which positive integers N can be expressed as the area of a right angled triangle with side lengths all rational. For example, the number 6 is a congruent number since it is the area of the famous 3-4-5 right angled triangle.

Determine which positive integers N can be expressed as the area of a right angled triangle with side lengths all rational. Can you find another congruent number? Can you find infinitely many such numbers? Can you find a number which is not a congruent number? Can you determine which numbers between 1 and 8 that are congruent numbers?

Some Sample Solutions

Infinitely Many Solutions (Easy way) Take the solution from the 3-4-5 triangle and multiply it by any positive integer greater than one to get a new triangle with a new area! For example, multiply everything by 10 to get a 30-40-50 triangle and this has area A = 1 2 (30)(40) = 600. Solutions found in this way are plentiful but uninteresting since there is a primitive way to discover them.

Squarefree To restrict this, we will from now on be looking for squarefree solutions, solution where no positive integer squared divides the area. For example 12 is not square free since 2 2 evenly divides 12, 50 is not square free since 5 2 = 25 divides 50 where as 10 is squarefree since 10 = 2 5 and thus no square divides 10. If the area N of a congruent number is not squarefree, say N = s 2 t where s > 1 is an integer, then divide the base, height and hypotenuse of the triangle by s to show that t is a [smaller] congruent number. In this way there is no harm in assuming that the area is squarefree because finding the squarefree congruent numbers means we can find non-squarefree numbers by multiplying every side of the triangle by s to get congruent numbers of the form s 2 t.

Infinitely Many Solutions Another way we can find more congruent numbers is to find Pythagorean triples, that is integer solutions to x 2 + y 2 = z 2 There is a well known parameterization of these solutions given by: x = d(m 2 n 2 ) y = 2dmn z = d(m 2 + n 2 ) where d, m, n are integers and m and n have opposite parity (Exercise 1). These triangles with base x and height y have area A = 2d 2 (m 3 n mn 3 ) which give infinitely many values (even when d = 1!) In fact, if a number N is congruent then there must be some integers d, m, n that we can plug in to achieve the area N.

Infinitely Many Solutions Table using Pythagorean triples, d = 1, x = m 2 n 2, y = 2mn, z = m 2 + n 2 and m > n are coprime integers (they share no common divisor) with opposite parity. m n (x, y, z) A = xy/2 Squarefree part 2 1 (3,4,5) 6 6 3 2 (5,12,13) 30 30 4 1 (15,8,17) 60 15 4 3 (7,24,25) 84 21 5 2 (21,20,29) 210 210 6 1 (35,12,27) 210 210 5 4 (9,40,41) 180 5 7 2 (45,28,53) 630 70 8 1 (63,16,65) 504 126

Algorithm to Find Congruent Numbers In fact one can use Pythagorean triples to show that all numbers that are congruent must eventually appear as the square free part of the previous table. However this algorithm is terribly inefficient. For example, Don Zagier was the first person to give an explicit triangle to show that the number 157 is a congruent number. The smallest side lengths are given by: x = 411340519227716149383203 21666555693714761309610 y = 6803298487826435051217540 411340519227716149383203 z = 224403517704336969924557513090674863160948472041 8912332268928859588025535178967163570016480830

Algorithm to Find Congruent Numbers For the previous solution, the smallest m and n values (minimizing m + n) correspond to: m = 443624018997429899709925 n = 166136231668185267540804 N = mn/2 = 2 2 3 4 5 2 13 2 17 2 37 2 101 2 157 17401 2 46997 2 157841 2 356441 2 4947203 2 526771095761 2 If you re searching based on the smallest m + n and you were looking at 100000 numbers a second, it would take you around 5.89 10 34 years to find this solution. So how did Don Zagier find this solution?

The Number 1 is Not Congruent What about showing that numbers are not congruent? For example, the number 1 is not congruent. To prove this, we would need to show that no matter how hard we try, there cannot be a triangle with rational side lengths and area 1. To show that no object exists, we often use a mathematical technique called Proof by Contradiction, assume the object exists and then in some way or another, we break math. In this case, we also use a technique due to Fermat called Infinite Descent.

Numbers Between 1 and 8 Which Are Congruent By our discussion earlier, we need only to look at the squarefree numbers. The numbers 1,2,3 are all not congruent. The numbers 5,6,7 are all congruent. How does one find a quick criteria for determining if a number is congruent?

A Powerful Theorem Theorem 1 (Tunnel s Theorem). Let n be an odd positive squarefree integer. Then if the number of triples of integers x, y, z satisfying 2x 2 + y 2 + 8z 2 = n is not exactly double the number of triples satisfying then n is not congruent. 2x 2 + y 2 + 32z 2 = n

A Powerful Theorem Pt. 2 Theorem 2 (Tunnel s Theorem). Let n be an even positive squarefree integer. Then if the number of triples of integers x, y, z satisfying 8x 2 + 2y 2 + 64z 2 = n is not exactly double the number of triples satisfying then n is not congruent. 8x 2 + 2y 2 + 16z 2 = n

Example The above theorems are useful to show that a number is not congruent. For example, since 2(0) 2 + (±1) 2 + 8(0) 2 = 1 2(0) 2 + (±1) 2 + 32(0) 2 = 1 and these are the only integer solutions to these equations. Both equations have two solutions. As the number of solutions to these equations are equal, Tunnel s theorem states that 1 is not a congruent number.

A Powerful Conditional Theorem Theorem 3 (Tunnel s Theorem). Let n be an odd positive squarefree integer. Assume the Birch Swinnerton-Dyer conjecture. Then if the number of triples of integers x, y, z satisfying 2x 2 + y 2 + 8z 2 = n is exactly double the number of triples satisfying then n is congruent. 2x 2 + y 2 + 32z 2 = n

A Powerful Conditional Theorem Pt. 2 Theorem 4 (Tunnel s Theorem). Let n be an even positive squarefree integer. Assume the Birch Swinnerton-Dyer conjecture. Then if the number of triples of integers x, y, z satisfying 8x 2 + 2y 2 + 64z 2 = n is exactly double the number of triples satisfying then n is congruent. 8x 2 + 2y 2 + 16z 2 = n

Example The above conditional theorems are useful to convince oneself that a number is congruent (but do not form a formal proof unless the Birch-Swinnerton Dyer Conjecture is true). For example, since 2x 2 + y 2 + 8z 2 = 5 2x 2 + y 2 + 32z 2 = 5 have no integer solutions and so, conditional on the Birch Swinnerton-Dyer conjecture, 5 is congruent by Tunnel s Theorem (of course we know unconditionally they are congruent numbers since we generated the triangles for them!) Similar statements hold for 6 and 7.

Elliptic Curves The question remains: How did Don Zagier find this solution? He used the theory of elliptic curves and found a rational point on the elliptic curve y 2 = x 3 157 2 x. Next time we will start with how the congruent number problem relates to eliiptic curves and study these vastly rich arithmetic objects!

Thank you!