#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz

Similar documents
On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px

On a Sequence of Nonsolvable Quintic Polynomials

A Diophantine System and a Problem on Cubic Fields

Congruent numbers via the Pell equation and its analogous counterpart

On the polynomial x(x + 1)(x + 2)(x + 3)

Some new families of positive-rank elliptic curves arising from Pythagorean triples

On the Rank of the Elliptic Curve y 2 = x 3 nx

Congruent number problem

Normal integral bases for Emma Lehmer s parametric family of cyclic quintics

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

A 4 -SEXTIC FIELDS WITH A POWER BASIS. Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China

ON A FAMILY OF ELLIPTIC CURVES

Partial Sums of Powers of Prime Factors

An example of elliptic curve over Q with rank equal to Introduction. Andrej Dujella

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

Congruent Number Problem and Elliptic curves

INTEGRAL BASES FOR AN INFINITE FAMILY OF CYCLIC QUINTIC FIELDS*

Modern Number Theory: Rank of Elliptic Curves

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS

CONGRUENT NUMBERS AND ELLIPTIC CURVES

A Normal Relative Integral Basis for the Normal Closure of a Pure Cubic Field over Q( 3)

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple

On squares of squares

Rank-one Twists of a Certain Elliptic Curve

INFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO. 1. Introduction

arxiv: v1 [math.nt] 26 Mar 2009

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

Algorithm for Concordant Forms

Elliptic curves with torsion group Z/8Z or Z/2Z Z/6Z

Ken Ono. 1 if N = m(m+1) Q(N 2ω(k)) + Q(N 2ω( k)) =

Pythagoras = $1 million problem. Ken Ono Emory University

1 x i. i=1 EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA

On symmetric square values of quadratic polynomials

Twists of elliptic curves of rank at least four

SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS

ON `-TH ORDER GAP BALANCING NUMBERS

arxiv: v1 [math.nt] 31 Dec 2011

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n

Polygonal Numbers, Primes and Ternary Quadratic Forms

Simplifying Rational Expressions and Functions

Three cubes in arithmetic progression over quadratic fields

EXAMPLES OF MORDELL S EQUATION

On Diophantine m-tuples and D(n)-sets

The rank of certain subfamilies of the elliptic curve Y 2 = X 3 X + T 2

RECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k)

arxiv: v2 [math.nt] 4 Jul 2015

Integral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis

#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC

A Note on Jacobi Symbols and Continued Fractions

6.5 Elliptic Curves Over the Rational Numbers

arxiv: v1 [math.nt] 11 Aug 2016

LEGENDRE S THEOREM, LEGRANGE S DESCENT

Class numbers of quadratic fields Q( D) and Q( td)

Abstracts of papers. Amod Agashe

THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE

HERON TRIANGLES, DIOPHANTINE PROBLEMS AND ELLIPTIC CURVES

Chris K. Caldwell 1 Department of Mathematics and Statistics, University of Tennessee at Martin, Martin, TN 38238, USA

Notes on Systems of Linear Congruences

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D

THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY

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

PRODUCTS OF THREE FACTORIALS

COLLOQUIUM MATHEMATICUM

Introduction to Elliptic Curves

Why Should I Care About Elliptic Curves?

INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES

ON MATCHINGS IN GROUPS

A PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM

Florian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P , Morelia, Michoacán, México

arxiv: v2 [math.ho] 31 Dec 2018

On prime factors of integers which are sums or shifted products. by C.L. Stewart (Waterloo)

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM. 1. Introduction

A Classical Introduction to Modern Number Theory

Relative Densities of Ramified Primes 1 in Q( pq)

arxiv: v1 [math.nt] 12 Mar 2015

Elliptic curves and Hilbert s Tenth Problem

ELLIPTIC CURVES WITH TORSION GROUP Z/6Z

M381 Number Theory 2004 Page 1

HERON TRIANGLES VIA ELLIPTIC CURVES

Finding all elliptic curves with good reduction outside a given set of primes

REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS

Arithmetic Progressions Over Quadratic Fields

Egyptian Fractions with odd denominators

ON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS

Grade 11/12 Math Circles Rational Points on an Elliptic Curves Dr. Carmen Bruni November 11, Lest We Forget

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.

Rational Points on Conics, and Local-Global Relations in Number Theory

Predictive criteria for the representation of primes by binary quadratic forms

ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS

CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT

On the lines passing through two conjugates of a Salem number

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

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

Diophantine m-tuples and elliptic curves

ARITHMETIC PROGRESSIONS IN THE POLYGONAL NUMBERS

THE NUMBER OF PRIME DIVISORS OF A PRODUCT

Transcription:

#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS Lindsey Reinholz Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. reinholz@interchange.ubc.ca Blair K. Spearman Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. blair.spearman@ubc.ca Qiduan Yang Department of Mathematics and Statistics University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. qiduan.yang@ubc.ca Received: 9/7/10, Accepted: 1/12/10, Published: 3/18/11 Abstract A method is given for constructing congruent numbers with three prime factors of the form 8k + 3. A family of such numbers is given for which the Mordell-Weil rank of their associated elliptic curves equals 2, the maximal rank and expected rank for a congruent number curve of this type. 1. Introduction A positive integer n is a congruent number if it is equal to the area of a right triangle with rational sides. Equivalently, the rank of the elliptic curve y 2 = x(x 2 n 2 ) (1) is positive. Otherwise n is non-congruent. We use the notation p i, q i, r i,... to denote prime numbers of the form 8k + i. In certain cases, congruent numbers or non-congruent numbers are characterized in terms of their prime factors. For example, Monsky [5] showed that p 5 and p 7 are congruent numbers, while Gennochi [3] and Tunnell [8] showed that p 3 and p 3 q 3 are non-congruent. Kida [4] noticed that 1419 = 3 11 43 is the only congruent number less that 4500 of the form p 3 q 3 and that quite often a 2-descent shows that a number of the form p 3 q 3 is

INTEGERS 11 (2011) 2 non-congruent. Other congruent numbers p 3 q 3 less than 10, 000 include 4587 = 3 11 139, 4731 = 3 19 83, 6963 = 3 11 211, 7611 = 3 43 59 and 9339 = 3 11 283. Our main purpose in this paper is to give a family of congruent numbers n = p 3 q 3 for which we can prove that the Mordell-Weil rank of (1) is equal to 2, the maximal rank for a congruent number curve of this type. It is also the expected rank according to parity conjectures on the rank as described by Dujella, Janfada and Salami in the introduction of [2]. This family is obtained by specialization of a larger family which we use to generate congruent numbers p 3 q 3. Both of these families are conjecturally infinite. We prove the following theorem. Theorem 1. Suppose that the prime numbers q and r have the form q = 3u 4 + 3v 4 2u 2 v 2, r = 3u 4 + 3v 4 + 2u 2 v 2, for nonzero integers u and v. Set n = 3qr. Then q r 3(mod 8), n is a congruent number and the congruent number elliptic curve given by (1) has rank equal to 2. In Section 2, we give our method of construction for congruent numbers p 3 q 3, and give the background material necessary for the proof of our theorem. In Section 3, we discuss the generation of p 3 q 3 congruent numbers and give the proof of our theorem. 2. Preliminary Results Since the definition of a congruent integer can be immediately extended to rational numbers we can give the following lemma. Lemma 2. Let v be a rational number with v / ( 1] [0, 1]. Then is a congruent number. v(v 1)(v + 1) (2) Proof. The restriction on v ensures that it is positive. If v is an integer, the congruent number v(v 1)(v + 1) is a special case of a formula in [1]. It is sufficient to note that if n = v(v 1)(v + 1) is a rational number then the congruent number curve (1) has the non-torsion point (1 + v 2 ) 2 (x, y) =, (v2 + 1)(v 2 + 2v 1)(v 2 2v 1) 4 8

INTEGERS 11 (2011) 3 Lemma 3. Suppose that the prime numbers p 3, q 3, and satisfy q 3 = p 3 a 2 16b 2, = p 3 a 2 + 16b 2, for integers a and b. Then n = p 3 q 3 is a congruent number. Proof. Put v = p 3 a 2 /16b 2 in (2) to give the congruent number p 3 a 2 /16b 2 (p 3 a 2 /16b 2 1)(p 3 a 2 /16b 2 + 1). (3) This number is positive if we impose the restrictions stated in Lemma 1. Since congruent numbers scaled by squares are still congruent, we multiply by 2 12 b 6 /a 2 to obtain the stated congruent number p 3 q 3. Lemma 4. If n = 3(3 + 3z 4 2z 2 )(3 + 3z 4 + 2z 2 ) (4) for a rational number z = 0, ±1 then the rank of the congruent number curve (1) is at least 2 with at most finitely many exceptions. Proof. This formula for n is obtained from the congruent number formula in Lemma 1 where we set v = 3z4 2z 2 + 3 4z 2, noting that z = 0, ±1 implies that v > 1. Then we scale to remove squares. For this value of n, the congruent number curve (1) over Q(z) possesses the two points and (x 1, y 1 ) = 9(3 + 3z 4 2z 2 (z 2 1) 2, 36(3 + 3z 4 2z 2 ) 2 z(z 2 1)) (5) (x 2, y 2 ) = 3(3 + 3z 4 + 2z 2 ) 2 (3 + 3z 4 2z 2 ) 4z 2, 9(3 + 3z 4 2z 2 ) 2 (3 + 3z 4 + 2z 2 ) 2 (z 2 + 1) 8z 3 If z = 2, then our formula (4) yields the congruent number n = 7611 = 3 43 59 while (5) and (6) give two points on y 2 = x(x 2 7611 2 ), namely and (x 1, y 1 ) = ( 3483, 399384) 449049 (x 2, y 2 ) =, 289636605. 16 64 Magma confirms that these two non-torsion points are independent in the group of rational points on y 2 = x(x 2 7611 2 ). By Silverman s specialization theorem [7], the points (5) and (6) are independent over Q (z) and are therefore independent for all rational values of z with at most finitely many exceptions. (6)

INTEGERS 11 (2011) 4 Remark 5. Under the further restriction that 3 + 3z 4 2z 2 = p 3 c 2 and 3 + 3z 4 + 2z 2 = q 3 d 2 for distinct primes p 3 and q 3 different from 3, and rational numbers, z, c,and d, then a longer argument using a 2-descent would show that the points (5) and (6) are always independent. This statement applies to our main theorem. In order to bound the rank r(n) of the congruent curves in our theorem, we need Monsky s formula for s(n), the 2-Selmer rank [2], [5]. The quantity s(n) is an upper bound for r(n). Let n be a squarefree positive integer with odd prime factors P 1, P 2,..., P t. We define diagonal t t matrices D l = (d i ) for l { 2, 1, 2}, and the square t t matrix A = (a ij ) by l 0, if P d i = i = 1, l 1, if a ij = P i = 1, Pj 0, if P i = 1, j = i, Pj 1, if P i = 1, j = i, a ii = a ij. j:j=i Then s(n) = 2t rankf2 (M o ), if n = P 1 P 2 P t, 2t rank F2 (M e ), if n = 2P 1 P 2 P t, where M o and M e are the 2t 2t matrices: A + D2 D M o = 2, M D 2 A + D e = 2 D 2 A + D 2 A T + D 2 D 1 (7). (8) Lemma 6. If n = p 3 q 3 then s(n) 2. Proof. We calculate s(n) using formulas (7) and (8) with P 1 = p 3, P 2 = q 3 and P 3 = for all possible choices of values of the Legendre symbols, q 3 q3 and. For example if q 3 = +1, = 1 and q3 = +1 then M o is given by 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1.

INTEGERS 11 (2011) 5 Its rank over F 2 is equal to 4 so that (7) gives s(n) = 2. We record the results for all 8 cases in the following table. q 3 Values of s(n) q3 s(n) +1 +1 +1 0 +1 +1 1 0 +1 1 +1 2 +1 1 1 0 1 +1 +1 0 1 +1 1 2 1 1 +1 0 1 1 1 0 Remark 7. In the proof of Lemma 4, the six cases where s(n) = 0 are related by permutation of the primes p 3, q 3 and. The cases where s(n) = 2 are similarly related. 3. Generating Congruent Numbers p 3 q 3 and Proof of Theorem We recall Schinzel s hypothesis H [6], which states if a finite product Q(x) = m f i (x) of polynomials f i (x) Z [x] has no fixed divisors, then all of the f i (x) i=1 will be simultaneously prime, for infinitely many integral values of x. From this hypothesis we deduce that for any fixed prime p 3 the two forms p 3 a 2 16b 2 and p 3 a 2 + 16b 2 (9) will assume prime values infinitely often. In order to obtain q 3, prime numbers from these two forms, we must have a odd. By Lemma 2 the number n = p 3 q 3 will be congruent. All of the examples of congruent numbers mentioned in the introduction have p 3 = 3, but we can generate examples for any fixed prime p 3 using (9). For example if p 3 = 43 then using (9) with a = 9 and b = 1 yields the value n = p 3 q 3 = 43 3467 3499, which by Lemma 2 is a congruent number. Now we give the proof of our theorem.

INTEGERS 11 (2011) 6 Proof. If the formulas for q and r given in our theorem assume prime values, then u and v must have opposite parity from which it follows that p q 3(mod 8). From Lemma 3, the congruent number curve y 2 = x(x 2 n 2 ) with n = 3(3 + 3z 4 2z 2 )(3 + 3z 4 + 2z 2 ) has rank at least 2 for all but finitely many values of the rational number z. Hence, setting z = u/v and scaling by v 8 shows that n = 3qr is a congruent number. By the remark just after Lemma 3, the curve (1) with n = 3qr has rank at least 2. However Lemma 4 shows that s(n) 2, and since the rank is bounded above by s(n) the rank is at most 2. Thus the rank equals 2 and the theorem is proved. Example 8. A few smaller congruent numbers whose associated congruent number curves have rank 2 and which are generated by the formulas in our theorem include 7611 = 3 43 59, 1021683291 = 3 13219 25763 and 2700420027 = 3 30203 29803. Acknowledgements Research supported by the Natural Sciences and Engineering Research Council of Canada. References [1] R. Alter, The Congruent Number Problem. Amer. Math. Monthly, 87 (1) (1980), 43-45. [2] A. Dujella, A.S. Janfada and S. Salami, A search for high rank congruent number elliptic curves. J. Integer Seq., 12 (5) (2009), Article 09.5.8. [3] A. Gennochi, Note analitche sopra tre scritti. Annali di Scienze Matematische e Fisiche, 6 (1855). [4] M. Kida, On the Rank of an Elliptic Curve in Elementary 2-extensions. Proc. Japan. Acad., 69 (10) (1993), 422-425. [5] P. Monsky, Mock Heegner points and congruent numbers. Math. Z., 204 (1) (1990), 45-68. [6] A. Schinzel and W. Sierpiński, Sur certain hypothèses concernant les nombres premiers. Acta Arith., 4 (1958), 185-208. [7] J.H. Silverman, The Arithmetic of Elliptic Curves. Graduate Texts in Mathematics. 106, Springer, New York (1986). [8] J.B. Tunnell, A classical Diophantine problem and modular forms of weight 3/2. Invent. Math., 72 (2) (1983), 323-334.