EUCLIDEAN GEOMETRY AND ELLIPTIC CURVES FARZALI IZADI Abstract. In this paper, we demonstrate the intimate relationships among some geometric figures and the families of elliptic curves with positive ranks. These geometric figures include Heron triangles, Brahmagupta quadrilaterals and Bicentric quadrilaterals. Firstly, we investigate the important properties of these figures and then utilizing these properties, we show that how to construct various families of elliptic curves with different positive ranks having different torsion subgroups. 1. Introduction In geometry, Heron,s formula (sometimes called Hero,s formula), named after hero of Alexandria, gives the area of a triangle by requiring no arbitrary choice of side as base or vertex as origin, contrary to other formulas for the area of a triangle, such as half the base times the height or half of the norm of a cross product of two sides. Precisely, Heron,s formula states that the area of a triangle whose sides have lengths a, b, and c is A = p(p a)(p b)(p c), − − − where p is the semiperimeterp of the triangle; that is, a + b + c p = . 2 The Indian mathematician Brahmagupta, 598-668 A.D., showed that for a triangle with integral sides a,b,c and integral area A there are positive integers k,m,n, with k2 < mn , such that a = n(k2 + m2), 2 2 arXiv:2006.16756v2 [math.NT] 4 Jul 2020 b = m(k + n ), (1.1) 2 c = (m + n)(mnk ), A = kmn(m + n)(mnk2). We observe that the value of A is a consequence of the Heron formula. A clas- sical reference for Heron triangles is the second volume of the History of the Date: October, 13, 2019. 2000 Mathematics Subject Classification. Primary 14H52, 11D25; Secondary 11G05, 14H52, 14G05, 51M04. Key words and phrases. Elliptic curves, Rank, Euclidean Geometry, Congruent numbers, Heron Triangle, Rational triangles, Brahmagupta quadrilaterals, Cyclic quadrilaterals, Brah- magupta formula, Bicentric quadrilaterals, Torsion subgroups, Diophantine equations, Heron formula, 1 2 FARZALI IZADI Theory of Numbers by L. E. Dickson [6]. Heron,s formula is a special case of Brahmmagupta formula for the area of a cyclic quadrilateral (i.e., a simple quadrilateral that is inscribed in a circle) whose sides, diagonals and area are with sides of length a, b, c, and d as A = (p a)(p b)(p c)(p d), p − − − − where p is the semiperimeter a + b + c + d s = . 2 Similarly, a bicentric quadrilateral is a convex quadrilateral that has both a circumcircle passing through the four vertices and incircle having the four sides as tangents. In what follows, we consider a bicentric quadrilateral with rational sides, and discuss the problem of finding such quadrilateral where the ratio of the rdii of the circumcircle and incircle is rational. The radii of these circles are denoted by R and r respectively. Examples of bi- centric quadrilateral are squares, right kits, and isosceles tangential trapezoids. By Pitot,s theorem we have s = a + c = b + d where s is the semiperimeter. In addition we have 1 (ab + cd)(ac + bd)(ad + bc) R = , 4r abcd K √ and r = s where K = abcd is the area of the quadrilateral. In this review paper, we show that many authors utilize these formulas form all three figures to construct different elliptic curves with positive ranks. The main goal of the paper is that how the Euclidean geometry intimately related to the theory of elliptic curves. The use of Heron,s formula in umber theory was not new. However the au- thor together with some other people provided with a series of papers utilizing Heron,s formula, Brahmagupta quadrilaterals as well as Bicentric quadrilat- erals in an attempt to construct new families of elliptic curves with positive ranks. In this paper, we try to demonstrate the main results of these series of papers and leave the details for the corresponding original papers. To make it more accessible for the readers we devote separate sections to separate papers. Each section comes with the title of the corresponding original paper. 2. A Family of Elliptic Curves With Rank 5 ≥ In this paper, [19] the authors construct a family of elliptic curves with rank 5. To do this, they use the Heron formula for a triple (A2,B2, C2) which≥ are not necessarily the three sides of a triangle. It turns out that as parameters of a family of elliptic curves, these three positive integers A, B, and C, along with the extra parameter D satisfy the quartic Diophantine equation A4 + D4 = 2(B4 + D4). For the solutions of this diophantine equation see [17]. Take (A2,B2, C2), where (A, B, C) are as in diophantine equation mentioned above. Since the triple (A, B, C) is arising from the Diophantine equation, there is no guarantee to have a real triangle. Now by taking EUCLIDEANGEOMETRYANDCURVES 3 a = A2, b = B2, and c = C2, one finds that (2.1) (A2 + B2 + C2)(A2 + B2 C2)(A2 + C2 B2)(B2 + C2 A2) S = − − − . r 16 Expanding (2.1), one gets A8 + B8 + C8 2A4B4 2A4C4 2B4C4 S2 = − − − , − 16 equivalently, 16S2 =2A4B4 +2A4C4 +2B4C4 A8 B8 C8, − − − or A4 + B4 C4 2 − +4S2 = A4B4. 2 A4 + B4 C4 2 − +4S2 = A4B4. 2 Multiplying both sides by A2B2 yields A4 + B4 C4 2 A2B2 − +4A2B2S2 = A6B6. 2 4 4 4 A +B −C 2 2 Taking y = AB 2 and x = A B , the following family of elliptic curves is obtained: (2.2) E : y2 = x3 4S2x. − Since the roles of A, B, and C are symmetric in the Heron formula, the following points lie on the family (2.2) also. 4 4 4 2 2 AB(A +B −C ) P1 = A B , 2 , 4 4 4 2 2 AC(A +C −B ) P2 = A C , 2 , 4 4 4 2 2 BC(B +C −A ) P3 = B C , 2 , Next it is easy to impose two more points on the curve (2.2) with x coordiates as B2D2 and C2D2. Substituting x = B2D2 in (2.2) yields − 4B4D4 + A8 + B8 + C8 2A4B4 2A4C4 2B4C4 y2 = B2D2 − − − , 4 or A4(A4 2B4 2C4)+ B8 + C8 2B4C4 +4B4D4 (2.3) y2 = B2D2 − − − . 4 Let (2.4) A4 2B4 2C4 = D4, − − − then by substituting A4 =2B4 +2C4 D4 in (2.3), we get − B2 + D2 C2 2 y2 = B2D2 − . 2 4 FARZALI IZADI 4 4 4 2 2 BD(B +D −C ) Thus, the point P4 = B D , 2 is a new point on (2.2). Sim- 4 4 4 2 2 CD(C +D −B ) ilarly, one can easily check that the point P5 = C D , 2 lies on (2.2) as well. It is clear that the existence of these extra points on the family depends ex- actly on the existence of the solutions of the Diophantine equation A4 + D4 = 2(B4 + C4). In the final stage, the authors proved that the torsion subgroup of the (2.2) is Z/2Z. 3. Rank of elliptic curves associated to Brahmagupta quadrilaterals In this paper, [22] the authors construct a family of elliptic curves with six parameters, arising from a system of Diophantine equations, whose rank is at least five. To do so, they use the Brahmagupta formula for the area of cyclic quadrilaterals (p3, q3, r3,s3) not necessarily representing genuine geometric ob- jects. It turns out that, as parameters of the curves, the integers p,q,r,s, along with the extra integers u, v satisfy the system of diophantine equations u6 +v6 +p6 +q6 = 2(r6 +s6), uv = pq, (see [23]), and they then utilize a subset of solutions of the system by the solutions of a specific positive rank elliptic curve. In this work, the authors use the Brahmagupta formula for the area of cyclic quadrilaterals to find infinitely many elliptic curves with high rank. In effect, the elliptic curve is 1 y2 = x3 3(pqrs)2x + 2(pqrs)3 + (p6 + s6 q6 r6)2 (p3s3 + q3r3)2, − 4 − − − denoted by Eu,v,p,q,r,s, over (3.1) u6 + v6 + p6 + q6 = 2(r6 + s6) C : (3.2) uv = pq and prove that the group of the rational maps C Eu,v,p,q,r,s, that commute → with the projection Eu,v,p,q,r,s C, has rank at least five. This is done by → exhibiting five explicit sections P1, P2, P3, P4, P5, and showing that these are linearly independent. They use the fact that C(Q), the set of rational solutions on C, is infinite in order to deduce that infinitely many specializations of Eu,v,p,q,r,s have ranks at least five over the rationales. This last assertion is done by using y2 28xy 560y = x3 20x2 400x + 8000, − − − − an elliptic curve of positive rank lying on C found in [23]. In fact, the following theorem is proved. EUCLIDEANGEOMETRYANDCURVES 5 Theorem 3.1. There are infinitely many elliptic curves Eu,v,p,q,r,s over C of rank at least five, parameterized by an elliptic curve of rank at least three over Q(p,q,r,s). 3.1. The construction of Eu,v,p,q,r,s. As is mentioned above, in this work, the authors deal with the elliptic curves related to (positive) integer solutions on C. The Brahmagupta formula for the area of a cyclic quadrilateral in terms of its side lengths states that for a quadrilateral with sides a,b,c,d, the area of the quadrilateral is given by (3.3) S = (P a)(P b)(P c)(P d), p − − − − in which P = (a + b + c + d)/2 is the semi-perimeter.