The Surprising Proofs

Size: px
Start display at page:

Download "The Surprising Proofs"

Transcription

1 The Surprising Proofs By Leszek W. Guła Lublin-POLAND May 30, June and July 02 03, 2017 Abstract. The proof of the Fermat s Last Theorem. The proof of the theorem - For all and for all and for all natural numbers The proof of the Goldbach s Conjecture. The proof of the Beal s Conjecture. MSC. Primary: 11A41, 11D41, 11P32; Secondary: 11A51, 11D45, 11D61. Keywords. Algebra of Sets, Diophantine Equations, Exponential Equations, Fermat Equation, Goldbach Conjecture, Greatest Common Divisor, Newton Binomial Formula. I. INTRODUCTION The cover of this issue of the Bulletin is the frontispiece to a volume of Samuel de Fermat's 1670 edition of Bachet's Latin translation of Diophantus s Arithmetica. This edition includes the marginalia of the editor's father, Pierre de Fermat. Among these notes one finds the elder Fermat's extraordinary comment in connection with the Pythagorean equation the marginal comment that hints at the existence of a proof (a demonstratio sane mirabilis) of what has come to be known as Fermat's Last Theorem. Diophantus's work had fired the imagination of the Italian Renaissance mathematician Rafael Bombelli, as it inspired Fermat a century later. The Goldbach s Conjecture is one of the oldest and best-known unsolved problems in number theory and all of mathematics. It states: Every even integer greater than 2 can be expressed as the sum of two primes. Let and be positive integers with If then and have a common factor. Beal s conjecture is a generalization of Fermat s Last Theorem. It states: If, where and are positive integers and and are all greater than, then and must have a common prime factor. Or the below - slightly restated? The Beal Prize Fund is with US$1,000,000 to be awarded in a case presented a counterexample. II. THE PROOF OF THE FERMAT S LAST THEOREM For all Suppose that for some and for all Then otherwise Thus for some

2 At present we can assume for generality of below that and are coprime. Moreover Every even number which is not the power of number has odd prime divisor, hence sufficient that we prove FLT for and for odd prime numbers Without loss for the proof we can assume that is even. For some Notice that For some coprime Moreover For some pairwise (mutually) relatively prime such that Therefore For some relatively prime such that inasmuch as on the strength of the Guła s Theorem we have This is the proof. Without loss for the proof we assume that: is odd and The numbers and are coprime, therefore in view of we will have For some

3 We assume that For some such that and are coprime if if

4 if if if if For some and for some such that and and are coprime and

5 This is the proof. III. PROOF OF - If and then for all For all and for all the equation has no primitive solutions in Proof. Suppose that for some the equation has primitive solutions in Then and are coprime and odd Without loss for the proof we can assume that On the strength of the Guła s Theorem we get inasmuch as and because the numbers are odd or are odd. where the numbers are positive and odd and This is the proof. Golden Nyambuya proved (allegedly) the theorem For all the equation has no primitive solutions in with Corollary 1. For some prime natural numbers such that is positive and odd This is the Corollary 1.

6 Example 1. where and This is the Example 1. Example 2. where and This is the Example 2. Example 3. where and This is the Example 3. Example 4. where and This is the Example 4. Example 5. where and This is the Example 5. such that For all and for all This is the theorem. For all and for all such that the number is even and bigger than two and This is the theorem.

7 IV. THE PROOF OF THE GOLDBACH S CONJECTURE For all Thus Hence whence it implies that for all This is the proof. V. THE PROOF OF THE BEAL S CONJECTURE For all the equation has no primitive solutions in

8 Suppose that for some the equation has primitive solutions in Without loss for the proof we can assume that Then only one number out of is even and and where the positive natural numbers are coprime and is odd, and or because the Jeśmanowicz Conjecture is true. Therefore we will have Hence For some such that is odd and are coprime Since then we will have We assmume that the number is minimal. For some such that and are coprime minimal

9 If the bases in three powers we define as conclusions of the above implications that is to say from the above conditions, then we will not find such the arithmetic triple (A, B, C) for which our equation will be false. Yes that's is in the proof of FLT for odd, so the Beal's Conjecture is true. This is the proof. For each fixed pair of the relatively prime natural numbers and such that is positive and odd there exists exactly one a primitive Pythagorean triple such that and conversely Any the primitive Pythagorean triple such that arises exactly from one pair of the relatively prime natural numbers and such that is positive and odd. This is the theorem. Let and Suppose that for some such that the numbers and are coprime and We assume that the number is minimal. On the strength of the Guła s Theorem we obtain minimal If then on the strength of the Guła s Theorem we get It s not true in that FLT for can be written equivalently as: where or because Fermat did not proved his own theorem for The below we have the new proofs in the above two cases. In the first case we will have If then on the strength of the Guła s Theorem we get

10 In the second case we have. AMS: En. Wikipedia Guła, L. W.: Disproof the Birch and Swinnerton-Dyer Conjecture, American Journal of Educational Research, Volume 4, No 7, 2016, pp , doi: /education Original Article electronically published on May 3, Guła, L. W.: Several Treasures of the Queen of Mathematics, International Journal of Emerging Technology and Advanced Engineering, Volume 6, Issue 1, January 2016, pp Guła, L. W.: The Truly Marvellous Proof, International Journal of Emerging Technology and Advanced Engineering, Volume 2, Issue 12, December 2012, pp Mauldin, R. Daniel: A Generalization of Fermat s Last Theorem: The Beal Conjecture and Prize Problem, Notices of the AMS,, Volume 44, No 11, December 1997, p Mazur, B.: Mathematical Perspectivies, Bulletin (New Series) of The American Mathematical Society, Volume 43, Number 3, July 2006, p. 399, Article electronically published on May 9, Narkiewicz, W.: Wiadomości Matematyczne XXX.1, Annuals PTM, Series II, Warszawa 1993, p. 3. Nyambuya, G. G.: On a Simpler, Much More General and Truly Marvellous Proof of Fermat s Last Theprem (II), Department of Applied Physics, National University of Science and Technology, Bulawayo, Republic of Zimbabwe, Preprint submitted to vixra.org Version 3 - September 24, 2014, pp 6-12,

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. (a) Circle the prime

More information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. A prime number

More information

History of Mathematics

History of Mathematics History of Mathematics Paul Yiu Department of Mathematics Florida Atlantic University Summer 2011 6A: Fermat: Beginning of modern number theory (2) Fermat s little theorem Given a prime p, and any geometric

More information

Shi Feng Sheng Danny Wong

Shi Feng Sheng Danny Wong Exhibit C A Proof of the Fermat s Last Theorem Shi Feng Sheng Danny Wong Abstract: Prior to the Diophantine geometry, number theory (or arithmetic) was to study the patterns of the numbers and elementary

More information

Fermat s Last Theorem for Regular Primes

Fermat s Last Theorem for Regular Primes Fermat s Last Theorem for Regular Primes S. M.-C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.

More information

Number Theory. Jason Filippou UMCP. ason Filippou UMCP)Number Theory History & Definitions / 1

Number Theory. Jason Filippou UMCP. ason Filippou UMCP)Number Theory History & Definitions / 1 Number Theory Jason Filippou CMSC250 @ UMCP 06-08-2016 ason Filippou (CMSC250 @ UMCP)Number Theory History & Definitions 06-08-2016 1 / 1 Outline ason Filippou (CMSC250 @ UMCP)Number Theory History & Definitions

More information

Fermat s Marvelous Proofs for Fermat s Last Theorem. Abstract

Fermat s Marvelous Proofs for Fermat s Last Theorem. Abstract Fermat s Marvelous Proofs for Fermat s Last Theorem Chun-Xuan, Jiang Institute for Basic Research Palm Harbor, FL468-577, USA and P. O. Box 94, Beijing 00854, China jiangchunxuan@sohu.com Abstract Using

More information

= 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2

= 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2 BEGINNING ALGEBRAIC NUMBER THEORY Fermat s Last Theorem is one of the most famous problems in mathematics. Its origin can be traced back to the work of the Greek mathematician Diophantus (third century

More information

Exploring Number Theory via Diophantine Equations

Exploring Number Theory via Diophantine Equations Exploring Number Theory via Diophantine Equations Department of Mathematics Colorado College Fall, 2009 Outline Some History Linear Pythagorean Triples Introduction to Continued Fractions Elementary Problems

More information

Grade 11/12 Math Circles Congruent Number Problem Dr. Carmen Bruni October 28, 2015

Grade 11/12 Math Circles Congruent Number Problem Dr. Carmen Bruni October 28, 2015 Faculty of Mathematics Waterloo, Ontario N2L 3G1 Number Theory Grade 11/12 Math Circles Congruent Number Problem Dr. Carmen Bruni October 28, 2015 Centre for Education in Mathematics and Computing Number

More information

An Elementary Proof Of Fermat s Last Theorem

An Elementary Proof Of Fermat s Last Theorem An Elementary Proof Of Fermat s Last Theorem Bezaliel Anotida Joshua July 22, 2015 ABSTRACT. In 1995, Princeton professor, Sir Andrew John Wiles, quenched the quest for a proof of Fermat s Last Theorem

More information

Disproof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Disproof Fall / 16

Disproof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Disproof Fall / 16 Disproof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Disproof Fall 2014 1 / 16 Outline 1 s 2 Disproving Universal Statements: Counterexamples 3 Disproving Existence

More information

On the Cardinality of Mersenne Primes

On the Cardinality of Mersenne Primes On the Cardinality of Mersenne Primes Garimella Rama Murthy, Associate Professor, International Institute of Information Technology (IIIT), Gachibowli, Hyderabad-32,AP,INDIA ABSTRACT In this research paper,

More information

On Fermat s marginal note: a suggestion

On Fermat s marginal note: a suggestion On Fermat s marginal note: a suggestion Nico F. Benschop - Amspade Research - The Netherlands Annual Dutch Mathematics Congress N M C33 (U-Twente, Apr.1998) Abstract A suggestion is put forward regarding

More information

A Generalized Fermat Equation with an Emphasis on Non-Primitive Solutions

A Generalized Fermat Equation with an Emphasis on Non-Primitive Solutions International Mathematical Forum, Vol. 12, 2017, no. 17, 835-840 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2017.78701 A Generalized Fermat Equation with an Emphasis on Non-Primitive Solutions

More information

M381 Number Theory 2004 Page 1

M381 Number Theory 2004 Page 1 M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +

More information

The world of Diophantine equations

The world of Diophantine equations Indian Statistical Institute Bangalore, India sury@isibang.ac.in National seminar on Algebra and Number Theory Pavanatma College, Idukki, Kerala December 5, 2014 Diophantus of Alexandria, Egypt lived during

More information

Indtroduction to Diophantine Equations

Indtroduction to Diophantine Equations Indtroduction to Diophantine Equations Qingyun Wang November 13, 2011 (In the very beginning, divide the class into 4 groups, we will constantly do some competions, and the winners will earn a certain

More information

Square-Triangular Numbers

Square-Triangular Numbers Square-Triangular Numbers Jim Carlson April 26, 2004 Contents 1 Introduction 2 2 Existence 2 3 Finding an equation 3 4 Solutions by brute force 4 5 Speeding things up 5 6 Solutions by algebraic numbers

More information

Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective

Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective Recall the definition of an affine variety, presented last lesson: Definition Let be a field, and let,. Then the affine variety, denoted

More information

SOME FAMOUS UNSOLVED PROBLEMS. November 18, / 5

SOME FAMOUS UNSOLVED PROBLEMS. November 18, / 5 SOME FAMOUS UNSOLVED PROBLEMS November 18, 2014 1 / 5 SOME FAMOUS UNSOLVED PROBLEMS Goldbach conjecture: Every even number greater than four is the sum of two primes. November 18, 2014 1 / 5 SOME FAMOUS

More information

Deepening Mathematics Instruction for Secondary Teachers: Algebraic Structures

Deepening Mathematics Instruction for Secondary Teachers: Algebraic Structures Deepening Mathematics Instruction for Secondary Teachers: Algebraic Structures Lance Burger Fresno State Preliminary Edition Contents Preface ix 1 Z The Integers 1 1.1 What are the Integers?......................

More information

Pythagoras = $1 million problem. Ken Ono Emory University

Pythagoras = $1 million problem. Ken Ono Emory University Pythagoras = $1 million problem Ken Ono Emory University Pythagoras The Pythagorean Theorem Theorem (Pythagoras) If (a, b, c) is a right triangle, then a 2 + b 2 = c 2. Pythagoras The Pythagorean Theorem

More information

Beyond Fermat s Last Theorem

Beyond Fermat s Last Theorem Beyond Fermat s Last Theorem David Zureick-Brown Emory University UC Irvine math club a 2 + b 2 = c 2 Basic Problem (Solving Diophantine Equations) Analysis Let f 1,..., f m Z[x 1,..., x n ] be polynomials.

More information

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

More information

A proof of strong Goldbach conjecture and twin prime conjecture

A proof of strong Goldbach conjecture and twin prime conjecture A proof of strong Goldbach conjecture and twin prime conjecture Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract In this paper we give a proof of the strong Goldbach conjecture by studying limit

More information

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR Elliptic Curves & Number Theory R. Sujatha School of Mathematics TIFR Aim: To explain the connection between a simple ancient problem in number theory and a deep sophisticated conjecture about Elliptic

More information

Math Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013

Math Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013 Math 847 - Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem Spring 013 January 6, 013 Chapter 1 Background and History 1.1 Pythagorean triples Consider Pythagorean triples (x, y, z) so

More information

Diophantine and tropical geometry

Diophantine and tropical geometry Diophantine and tropical geometry David Zureick-Brown joint with Eric Katz (Waterloo) and Joe Rabinoff (Georgia Tech) Slides available at http://www.mathcs.emory.edu/~dzb/slides/ University of Colorado-Boulder

More information

Diophantine Equation

Diophantine Equation Diophantine Equation A Project Report submitted by Sagar Panda in partial fulfilment of the requirements for the award of the degree of MASTER OF SCIENCE IN MATHEMATICS 011 DEPARTMENT OF MATHEMATICS NATIONAL

More information

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

. In particular if a b then N(

. In particular if a b then N( Gaussian Integers II Let us summarise what we now about Gaussian integers so far: If a, b Z[ i], then N( ab) N( a) N( b). In particular if a b then N( a ) N( b). Let z Z[i]. If N( z ) is an integer prime,

More information

Impact of Women in Number Theory

Impact of Women in Number Theory Impact of Women in Number Theory Allysa Lumley Impact of Women Mathematicians on Research and Education in Mathematics BIRS 2018 March 17, 2018 Allysa Lumley (York) Impact of Women in Number Theory March

More information

arxiv: v1 [math.nt] 22 Jun 2014

arxiv: v1 [math.nt] 22 Jun 2014 FIGURATE PRIMES AND HILBERT S 8TH PROBLEM TIANXIN CAI, YONG ZHANG, AND ZHONGYAN SHEN arxiv:140.51v1 [math.nt] 22 Jun 2014 Abstract. In this paper, by using the they of elliptic curves, we discuss several

More information

ENTRY NUMBER THEORY. [ENTRY NUMBER THEORY] Authors: Oliver Knill: 2003 Literature: Hua, introduction to number theory.

ENTRY NUMBER THEORY. [ENTRY NUMBER THEORY] Authors: Oliver Knill: 2003 Literature: Hua, introduction to number theory. ENTRY NUMBER THEORY [ENTRY NUMBER THEORY] Authors: Oliver Knill: 2003 Literature: Hua, introduction to number theory ABC conjecture [ABC conjecture] If a,b,c are positive integers, let N(a,b,c) be the

More information

Proof of Beal s Conjecture

Proof of Beal s Conjecture Proof of Beal s Conjecture Stephen Marshall 26 Feb 14 Abstract: This paper presents a complete and exhaustive proof of the Beal Conjecture. The approach to this proof uses the Fundamental Theorem of Arithmetic

More information

AFTERWORD (FOR THE LAYMAN)

AFTERWORD (FOR THE LAYMAN) 68 DANIEL DISEGNI AFTERWORD (FOR THE LAYMAN) 0. This concluding part is written for all the friends, relatives, and the occasional strangers met at parties who have been wondering what, exactly, I have

More information

Math 312, Lecture 1. Zinovy Reichstein. September 9, 2015 Math 312

Math 312, Lecture 1. Zinovy Reichstein. September 9, 2015 Math 312 Math 312, Lecture 1 Zinovy Reichstein September 9, 2015 Math 312 Number theory Number theory is a branch of mathematics Number theory Number theory is a branch of mathematics which studies the properties

More information

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively 6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise

More information

Computer Algebra Systems Activity: Solving Diophantine Equations

Computer Algebra Systems Activity: Solving Diophantine Equations Computer Algebra Systems Activity: Solving Diophantine Equations Topic: Solving Diophantine Equations R. Meisel, April 14, 2009 rollym@vaxxine.com Notes to the Teacher: a) This activity is designed to

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory 21.8.2013 Overview The course discusses properties of numbers, the most basic mathematical objects. We are going to follow the book: David Burton: Elementary Number Theory What

More information

Number Theory in Problem Solving. Konrad Pilch

Number Theory in Problem Solving. Konrad Pilch Number Theory in Problem Solving Konrad Pilch April 7, 2016 1 Divisibility Number Theory concerns itself mostly with the study of the natural numbers (N) and the integers (Z). As a consequence, it deals

More information

CHMC: Finite Fields 9/23/17

CHMC: Finite Fields 9/23/17 CHMC: Finite Fields 9/23/17 1 Introduction This worksheet is an introduction to the fascinating subject of finite fields. Finite fields have many important applications in coding theory and cryptography,

More information

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a Math 4161 Dr. Franz Rothe December 9, 2013 13FALL\4161_fall13f.tex Name: Use the back pages for extra space Final 70 70 Problem 1. The following assertions may be true or false, depending on the choice

More information

GROUP ROUND INSTRUCTIONS

GROUP ROUND INSTRUCTIONS GROUP ROUND INSTRUCTIONS Your team will have 40 minutes to answer 10 questions. Each team will have the same questions. Each question is worth 6 points. However, some questions are easier than others!

More information

ARITHMETIC PROGRESSION OF SQUARES AND SOLVABILITY OF THE DIOPHANTINE EQUATION 8x = y 2

ARITHMETIC PROGRESSION OF SQUARES AND SOLVABILITY OF THE DIOPHANTINE EQUATION 8x = y 2 International Conference in Number Theory and Applications 01 Department of Mathematics, Faculty of Science, Kasetsart University Speaker: G. K. Panda 1 ARITHMETIC PROGRESSION OF SQUARES AND SOLVABILITY

More information

Congruent number problem

Congruent number problem Congruent number problem A thousand year old problem Maosheng Xiong Department of Mathematics, Hong Kong University of Science and Technology M. Xiong (HKUST) Congruent number problem 1 / 41 Congruent

More information

that if a b (mod m) and c d (mod m), then ac bd (mod m) soyou aren't allowed to use this fact!) A5. (a) Show that a perfect square must leave a remain

that if a b (mod m) and c d (mod m), then ac bd (mod m) soyou aren't allowed to use this fact!) A5. (a) Show that a perfect square must leave a remain PUTNAM PROBLEM SOLVING SEMINAR WEEK 2 The Rules. You are not allowed to try a problem that you already know how to solve. These are way too many problems to consider. Just pick a few problems in one of

More information

Proof of the Fermat s Last Theorem

Proof of the Fermat s Last Theorem Proof of the Fermat s Last Theorem Michael Pogorsky mpogorsky@yahoo.com Abstract This is one of the versions of proof of the Theorem developed by means of general algebra based on polynomials ; ; their

More information

Contents Part A Number Theory Highlights in the History of Number Theory: 1700 BC 2008

Contents Part A Number Theory Highlights in the History of Number Theory: 1700 BC 2008 Contents Part A Number Theory 1 Highlights in the History of Number Theory: 1700 BC 2008... 3 1.1 Early Roots to Fermat... 3 1.2 Fermat... 6 1.2.1 Fermat s Little Theorem... 7 1.2.2 Sums of Two Squares...

More information

Introduction to Number Theory

Introduction to Number Theory INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,

More information

SQUARES FROM SUMS OF FIXED POWERS. Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada

SQUARES FROM SUMS OF FIXED POWERS. Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada SQUARES FROM SUMS OF FIXED POWERS Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada Abstract. In this paper, we show that if p and q are positive integers,

More information

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. Chapter 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. If n > 1

More information

Direct Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.

Direct Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved. Direct Proof and Counterexample I:Introduction Copyright Cengage Learning. All rights reserved. Goal Importance of proof Building up logic thinking and reasoning reading/using definition interpreting statement:

More information

Direct Proof and Counterexample I:Introduction

Direct Proof and Counterexample I:Introduction Direct Proof and Counterexample I:Introduction Copyright Cengage Learning. All rights reserved. Goal Importance of proof Building up logic thinking and reasoning reading/using definition interpreting :

More information

Proof techniques (section 2.1)

Proof techniques (section 2.1) CHAPTER 1 Proof techniques (section 2.1) What we have seen so far: 1.1. Theorems and Informal proofs Argument: P 1 P n Q Syntax: how it's written Semantic: meaning in a given interpretation Valid argument:

More information

PELL S EQUATION NATIONAL INSTITUTE OF TECHNOLOGY ROURKELA, ODISHA

PELL S EQUATION NATIONAL INSTITUTE OF TECHNOLOGY ROURKELA, ODISHA PELL S EQUATION A Project Report Submitted by PANKAJ KUMAR SHARMA In partial fulfillment of the requirements For award of the degree Of MASTER OF SCIENCE IN MATHEMATICS UNDER GUIDANCE OF Prof GKPANDA DEPARTMENT

More information

THESIS. Presented in Partial Fulfillment of the Requirements for the Degree Master of Science in the Graduate School of The Ohio State University

THESIS. Presented in Partial Fulfillment of the Requirements for the Degree Master of Science in the Graduate School of The Ohio State University The Hasse-Minkowski Theorem in Two and Three Variables THESIS Presented in Partial Fulfillment of the Requirements for the Degree Master of Science in the Graduate School of The Ohio State University By

More information

Linear Diophantine Equations

Linear Diophantine Equations Parabola Volume 49, Issue 2 (2013) Linear Diophantine Equations David Angell 1 Many popular and well known puzzles can be approached by setting up and solving equations. Frequently, however, it will be

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

n = p 1 p 2 p r = q 1 q 2 q m, then r = m (i.e. the number of primes in any prime decomposition

n = p 1 p 2 p r = q 1 q 2 q m, then r = m (i.e. the number of primes in any prime decomposition Department of Mathematical Sciences Instructor: Daiva Pucinskaite Discrete Mathematics Factoring Recall. Fundamental Theorem of Arithmetic. Let n be a positive integer n > 1. Then n can be represented

More information

This theorem allows us to describe all integer solutions as follows:

This theorem allows us to describe all integer solutions as follows: On the Diophantine equation a 3 + b 3 + c 3 + d 3 = 0 by RACHEL GAR-EL and LEONID VASERSTEIN (University Park, PA) Introduction. The equation a 3 + b 3 + c 3 + d 3 = 0 (1) has been studied by many mathematicians

More information

Congruent number elliptic curves of high rank

Congruent number elliptic curves of high rank Michaela Klopf, BSc Congruent number elliptic curves of high rank MASTER S THESIS to achieve the university degree of Diplom-Ingenieurin Master s degree programme: Mathematical Computer Science submitted

More information

FERMAT S LAST THEOREM

FERMAT S LAST THEOREM FERMAT S LAST THEOREM REVISITED AGAIN Colin Newton 8/0/08 0 FERMAT S LAST THEOREM When Fermat wrote a note in the margin of his coy of Bachet s Arithmetica to the effect that he had a marvellous roof that

More information

When is n a member of a Pythagorean Triple?

When is n a member of a Pythagorean Triple? Abstract When is n a member of a Pythagorean Triple? Dominic and Alfred Vella ' Theorem is perhaps the best known result in the whole of mathematics and yet many things remain unknown (or perhaps just

More information

Table of Contents. 2013, Pearson Education, Inc.

Table of Contents. 2013, Pearson Education, Inc. Table of Contents Chapter 1 What is Number Theory? 1 Chapter Pythagorean Triples 5 Chapter 3 Pythagorean Triples and the Unit Circle 11 Chapter 4 Sums of Higher Powers and Fermat s Last Theorem 16 Chapter

More information

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. 2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say

More information

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer? Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative

More information

Elliptic Curves and Mordell s Theorem

Elliptic Curves and Mordell s Theorem Elliptic Curves and Mordell s Theorem Aurash Vatan, Andrew Yao MIT PRIMES December 16, 2017 Diophantine Equations Definition (Diophantine Equations) Diophantine Equations are polynomials of two or more

More information

Number Theory. Final Exam from Spring Solutions

Number Theory. Final Exam from Spring Solutions Number Theory. Final Exam from Spring 2013. Solutions 1. (a) (5 pts) Let d be a positive integer which is not a perfect square. Prove that Pell s equation x 2 dy 2 = 1 has a solution (x, y) with x > 0,

More information

Contest Number Theory

Contest Number Theory Contest Number Theory Andre Kessler December 7, 2008 Introduction Number theory is one of the core subject areas of mathematics. It can be somewhat loosely defined as the study of the integers. Unfortunately,

More information

SECTION 3.1: What is a Rational

SECTION 3.1: What is a Rational 1 NUMBERS: Artifacts from all over the world tell us that every culture had counting, tallying, and symbolic representations of numbers. Our number system has just ten symbols: 0, 1, 2, 3, 4, 5, 6, 7,

More information

Diophantine equations

Diophantine equations Diophantine equations So far, we have considered solutions to equations over the real and complex numbers. This chapter instead focuses on solutions over the integers, natural and rational numbers. There

More information

LECTURE 1: DIVISIBILITY. 1. Introduction Number theory concerns itself with studying the multiplicative and additive structure of the natural numbers

LECTURE 1: DIVISIBILITY. 1. Introduction Number theory concerns itself with studying the multiplicative and additive structure of the natural numbers LECTURE 1: DIVISIBILITY 1. Introduction Number theory concerns itself with studying the multiplicative and additive structure of the natural numbers N = {1, 2, 3,... }. Frequently, number theoretic questions

More information

Math.3336: Discrete Mathematics. Proof Methods and Strategy

Math.3336: Discrete Mathematics. Proof Methods and Strategy Math.3336: Discrete Mathematics Proof Methods and Strategy Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall

More information

Preliminary in this section we obtain some identities that are required in below to achieve the main results. ( ) [ ( )] [ ( )] [ ]

Preliminary in this section we obtain some identities that are required in below to achieve the main results. ( ) [ ( )] [ ( )] [ ] The Bulletin of Society for Mathematical Services Stards Online: 2013-12-02 ISSN: 2277-8020, Vol. 8, pp 17-25 doi:10.18052/www.scipress.com/bsmass.8.17 2013 SciPress Ltd., Switzerl The methods of solving

More information

Some Highlights along a Path to Elliptic Curves

Some Highlights along a Path to Elliptic Curves 11/8/016 Some Highlights along a Path to Elliptic Curves Part : Conic Sections and Rational Points Steven J Wilson, Fall 016 Outline of the Series 1 The World of Algebraic Curves Conic Sections and Rational

More information

Lecture 2. The Euclidean Algorithm and Numbers in Other Bases

Lecture 2. The Euclidean Algorithm and Numbers in Other Bases Lecture 2. The Euclidean Algorithm and Numbers in Other Bases At the end of Lecture 1, we gave formulas for the greatest common divisor GCD (a, b), and the least common multiple LCM (a, b) of two integers

More information

EXAMPLES OF MORDELL S EQUATION

EXAMPLES OF MORDELL S EQUATION EXAMPLES OF MORDELL S EQUATION KEITH CONRAD 1. Introduction The equation y 2 = x 3 +k, for k Z, is called Mordell s equation 1 on account of Mordell s long interest in it throughout his life. A natural

More information

. As the binomial coefficients are integers we have that. 2 n(n 1).

. As the binomial coefficients are integers we have that. 2 n(n 1). Math 580 Homework. 1. Divisibility. Definition 1. Let a, b be integers with a 0. Then b divides b iff there is an integer k such that b = ka. In the case we write a b. In this case we also say a is a factor

More information

Math 412: Number Theory Lecture 3: Prime Decomposition of

Math 412: Number Theory Lecture 3: Prime Decomposition of Math 412: Number Theory Lecture 3: Prime Decomposition of Integers Gexin Yu gyu@wm.edu College of William and Mary Prime numbers Definition: a (positive) integer p is prime if p has no divisor other than

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer? Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative

More information

Cryptography. Number Theory with AN INTRODUCTION TO. James S. Kraft. Lawrence C. Washington. CRC Press

Cryptography. Number Theory with AN INTRODUCTION TO. James S. Kraft. Lawrence C. Washington. CRC Press AN INTRODUCTION TO Number Theory with Cryptography James S Kraft Gilman School Baltimore, Maryland, USA Lawrence C Washington University of Maryland College Park, Maryland, USA CRC Press Taylor & Francis

More information

Sums of four squares and Waring s Problem Brandon Lukas

Sums of four squares and Waring s Problem Brandon Lukas Sums of four squares and Waring s Problem Brandon Lukas Introduction The four-square theorem states that every natural number can be represented as the sum of at most four integer squares. Look at the

More information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

5.2. Perfect Numbers Divisors of a natural number were covered in Section 5.1.

5.2. Perfect Numbers Divisors of a natural number were covered in Section 5.1. 5.2 Smith Numbers The mathematician Albert Wilansky, when phoning his brother-in-law, Mr. Smith, noticed an interesting property concerning Smith s phone number (493-7775). The number 4,937,775 is composite,

More information

CHAPTER V Fermat s last theorem

CHAPTER V Fermat s last theorem 5.1 Introduction. CHAPTER V Fermat s last theorem We discuss elementary methods approaches to Fermat s last theorem, in which the game is we do not use complex numbers. In this chapter we use methods available

More information

FACULTY FEATURE ARTICLE 6 The Congruent Number Problem

FACULTY FEATURE ARTICLE 6 The Congruent Number Problem FACULTY FEATURE ARTICLE 6 The Congruent Number Problem Abstract Keith Conrad University of Connecticut Storrs, CT 06269 kconrad@math.uconn.edu We discuss a famous problem about right triangles with rational

More information

Statements, Implication, Equivalence

Statements, Implication, Equivalence Part 1: Formal Logic Statements, Implication, Equivalence Martin Licht, Ph.D. January 10, 2018 UC San Diego Department of Mathematics Math 109 A statement is either true or false. We also call true or

More information

Some fundamental contributions of Gary Mullen to finite fields

Some fundamental contributions of Gary Mullen to finite fields Some fundamental contributions of Gary Mullen to finite fields School of Mathematics and Statistics, Carleton University daniel@math.carleton.ca Carleton Finite Fields Day 2017 September 29, 2017 Overview

More information

Primes. Rational, Gaussian, Industrial Strength, etc. Robert Campbell 11/29/2010 1

Primes. Rational, Gaussian, Industrial Strength, etc. Robert Campbell 11/29/2010 1 Primes Rational, Gaussian, Industrial Strength, etc Robert Campbell 11/29/2010 1 Primes and Theory Number Theory to Abstract Algebra History Euclid to Wiles Computation pencil to supercomputer Practical

More information

Number Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory.

Number Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory. CSS322: Security and Cryptography Sirindhorn International Institute of Technology Thammasat University Prepared by Steven Gordon on 29 December 2011 CSS322Y11S2L06, Steve/Courses/2011/S2/CSS322/Lectures/number.tex,

More information

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 ACTA ARITHMETICA LXXXII.1 (1997) On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 by P. G. Walsh (Ottawa, Ont.) 1. Introduction. Let d denote a positive integer. In [7] Ono proves that if the number

More information

7. Prime Numbers Part VI of PJE

7. Prime Numbers Part VI of PJE 7. Prime Numbers Part VI of PJE 7.1 Definition (p.277) A positive integer n is prime when n > 1 and the only divisors are ±1 and +n. That is D (n) = { n 1 1 n}. Otherwise n > 1 is said to be composite.

More information

Explicit Methods for Solving Diophantine Equations

Explicit Methods for Solving Diophantine Equations Explicit Methods for Solving Diophantine Equations Henri Cohen, Laboratoire A2X, U.M.R. 5465 du C.N.R.S., Université Bordeaux I, 351 Cours de la Libération, 33405 TALENCE Cedex, FRANCE March 17, 2006 Abstract

More information

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

CHAPTER 6. Prime Numbers. Definition and Fundamental Results CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n

More information

Number Theory. Henry Liu, 6 July 2007

Number Theory. Henry Liu, 6 July 2007 Number Theory Henry Liu, 6 July 007 1. Introduction In one sentence, number theory is the area of mathematics which studies the properties of integers. Some of the most studied subareas are the theories

More information

Fermat s Last Theorem

Fermat s Last Theorem Fermat s Last Theorem T. Muthukumar tmk@iitk.ac.in 0 Jun 014 An ancient result states that a triangle with vertices A, B and C with lengths AB = a, BC = b and AC = c is right angled at B iff a + b = c.

More information

Extend Fermats Small Theorem to r p 1 mod p 3 for divisors r of p ± 1

Extend Fermats Small Theorem to r p 1 mod p 3 for divisors r of p ± 1 Extend Fermats Small Theorem to r p 1 mod p 3 for divisors r of p ± 1 Nico F. Benschop AmSpade Research, The Netherlands Abstract By (p ± 1) p p 2 ± 1 mod p 3 and by the lattice structure of Z(.) mod q

More information