Arxiv:2006.16756V2 [Math.NT] 4 Jul 2020 45,1G5 51M04

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:2006.16756V2 [Math.NT] 4 Jul 2020 45,1G5 51M04 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.
Recommended publications
  • Cyclic Quadrilateral: Cyclic Quadrilateral Theorem and Properties of Cyclic Quadrilateral Theorem (For CBSE, ICSE, IAS, NET, NRA 2022)
    9/22/2021 Cyclic Quadrilateral: Cyclic Quadrilateral Theorem and Properties of Cyclic Quadrilateral Theorem- FlexiPrep FlexiPrep Cyclic Quadrilateral: Cyclic Quadrilateral Theorem and Properties of Cyclic Quadrilateral Theorem (For CBSE, ICSE, IAS, NET, NRA 2022) Get unlimited access to the best preparation resource for competitive exams : get questions, notes, tests, video lectures and more- for all subjects of your exam. A quadrilateral is a 4-sided polygon bounded by 4 finite line segments. The word ‘quadrilateral’ is composed of two Latin words, Quadric meaning ‘four’ and latus meaning ‘side’ . It is a two-dimensional figure having four sides (or edges) and four vertices. A circle is the locus of all points in a plane which are equidistant from a fixed point. If all the four vertices of a quadrilateral ABCD lie on the circumference of the circle, then ABCD is a cyclic quadrilateral. In other words, if any four points on the circumference of a circle are joined, they form vertices of a cyclic quadrilateral. It can be visualized as a quadrilateral which is inscribed in a circle, i.e.. all four vertices of the quadrilateral lie on the circumference of the circle. What is a Cyclic Quadrilateral? In the figure given below, the quadrilateral ABCD is cyclic. ©FlexiPrep. Report ©violations @https://tips.fbi.gov/ 1 of 5 9/22/2021 Cyclic Quadrilateral: Cyclic Quadrilateral Theorem and Properties of Cyclic Quadrilateral Theorem- FlexiPrep Let us do an activity. Take a circle and choose any 4 points on the circumference of the circle. Join these points to form a quadrilateral. Now measure the angles formed at the vertices of the cyclic quadrilateral.
    [Show full text]
  • Properties of Equidiagonal Quadrilaterals (2014)
    Forum Geometricorum Volume 14 (2014) 129–144. FORUM GEOM ISSN 1534-1178 Properties of Equidiagonal Quadrilaterals Martin Josefsson Abstract. We prove eight necessary and sufficient conditions for a convex quadri- lateral to have congruent diagonals, and one dual connection between equidiag- onal and orthodiagonal quadrilaterals. Quadrilaterals with both congruent and perpendicular diagonals are also discussed, including a proposal for what they may be called and how to calculate their area in several ways. Finally we derive a cubic equation for calculating the lengths of the congruent diagonals. 1. Introduction One class of quadrilaterals that have received little interest in the geometrical literature are the equidiagonal quadrilaterals. They are defined to be quadrilat- erals with congruent diagonals. Three well known special cases of them are the isosceles trapezoid, the rectangle and the square, but there are other as well. Fur- thermore, there exists many equidiagonal quadrilaterals that besides congruent di- agonals have no special properties. Take any convex quadrilateral ABCD and move the vertex D along the line BD into a position D such that AC = BD. Then ABCD is an equidiagonal quadrilateral (see Figure 1). C D D A B Figure 1. An equidiagonal quadrilateral ABCD Before we begin to study equidiagonal quadrilaterals, let us define our notations. In a convex quadrilateral ABCD, the sides are labeled a = AB, b = BC, c = CD and d = DA, and the diagonals are p = AC and q = BD. We use θ for the angle between the diagonals. The line segments connecting the midpoints of opposite sides of a quadrilateral are called the bimedians and are denoted m and n, where m connects the midpoints of the sides a and c.
    [Show full text]
  • ON a PROOF of the TREE CONJECTURE for TRIANGLE TILING BILLIARDS Olga Paris-Romaskevich
    ON A PROOF OF THE TREE CONJECTURE FOR TRIANGLE TILING BILLIARDS Olga Paris-Romaskevich To cite this version: Olga Paris-Romaskevich. ON A PROOF OF THE TREE CONJECTURE FOR TRIANGLE TILING BILLIARDS. 2019. hal-02169195v1 HAL Id: hal-02169195 https://hal.archives-ouvertes.fr/hal-02169195v1 Preprint submitted on 30 Jun 2019 (v1), last revised 8 Oct 2019 (v3) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. ON A PROOF OF THE TREE CONJECTURE FOR TRIANGLE TILING BILLIARDS. OLGA PARIS-ROMASKEVICH To Manya and Katya, to the moments we shared around mathematics on one winter day in Moscow. Abstract. Tiling billiards model a movement of light in heterogeneous medium consisting of homogeneous cells in which the coefficient of refraction between two cells is equal to −1. The dynamics of such billiards depends strongly on the form of an underlying tiling. In this work we consider periodic tilings by triangles (and cyclic quadrilaterals), and define natural foliations associated to tiling billiards in these tilings. By studying these foliations we manage to prove the Tree Conjecture for triangle tiling billiards that was stated in the work by Baird-Smith, Davis, Fromm and Iyer, as well as its generalization that we call Density property.
    [Show full text]
  • Circle and Cyclic Quadrilaterals
    Circle and Cyclic Quadrilaterals MARIUS GHERGU School of Mathematics and Statistics University College Dublin 33 Basic Facts About Circles A central angle is an angle whose vertex is at the center of ² the circle. It measure is equal the measure of the intercepted arc. An angle whose vertex lies on the circle and legs intersect the ² cirlc is called inscribed in the circle. Its measure equals half length of the subtended arc of the circle. AOC= contral angle, AOC ÙAC \ \ Æ ABC=inscribed angle, ABC ÙAC \ \ Æ 2 A line that has exactly one common point with a circle is ² called tangent to the circle. 44 The tangent at a point A on a circle of is perpendicular to ² the diameter passing through A. OA AB ? Through a point A outside of a circle, exactly two tangent ² lines can be drawn. The two tangent segments drawn from an exterior point to a cricle are equal. OA OB, OBC OAC 90o ¢OAB ¢OBC Æ \ Æ \ Æ Æ) ´ 55 The value of the angle between chord AB and the tangent ² line to the circle that passes through A equals half the length of the arc AB. AC,BC chords CP tangent Æ Æ ÙAC ÙAC ABC , ACP \ Æ 2 \ Æ 2 The line passing through the centres of two tangent circles ² also contains their tangent point. 66 Cyclic Quadrilaterals A convex quadrilateral is called cyclic if its vertices lie on a ² circle. A convex quadrilateral is cyclic if and only if one of the fol- ² lowing equivalent conditions hold: (1) The sum of two opposite angles is 180o; (2) One angle formed by two consecutive sides of the quadri- lateral equal the external angle formed by the other two sides of the quadrilateral; (3) The angle between one side and a diagonal equals the angle between the opposite side and the other diagonal.
    [Show full text]
  • Angles in a Circle and Cyclic Quadrilateral MODULE - 3 Geometry
    Angles in a Circle and Cyclic Quadrilateral MODULE - 3 Geometry 16 Notes ANGLES IN A CIRCLE AND CYCLIC QUADRILATERAL You must have measured the angles between two straight lines. Let us now study the angles made by arcs and chords in a circle and a cyclic quadrilateral. OBJECTIVES After studying this lesson, you will be able to • verify that the angle subtended by an arc at the centre is double the angle subtended by it at any point on the remaining part of the circle; • prove that angles in the same segment of a circle are equal; • cite examples of concyclic points; • define cyclic quadrilterals; • prove that sum of the opposite angles of a cyclic quadrilateral is 180o; • use properties of cyclic qudrilateral; • solve problems based on Theorems (proved) and solve other numerical problems based on verified properties; • use results of other theorems in solving problems. EXPECTED BACKGROUND KNOWLEDGE • Angles of a triangle • Arc, chord and circumference of a circle • Quadrilateral and its types Mathematics Secondary Course 395 MODULE - 3 Angles in a Circle and Cyclic Quadrilateral Geometry 16.1 ANGLES IN A CIRCLE Central Angle. The angle made at the centre of a circle by the radii at the end points of an arc (or Notes a chord) is called the central angle or angle subtended by an arc (or chord) at the centre. In Fig. 16.1, ∠POQ is the central angle made by arc PRQ. Fig. 16.1 The length of an arc is closely associated with the central angle subtended by the arc. Let us define the “degree measure” of an arc in terms of the central angle.
    [Show full text]
  • Cyclic Quadrilaterals — the Big Picture Yufei Zhao [email protected]
    Winter Camp 2009 Cyclic Quadrilaterals Yufei Zhao Cyclic Quadrilaterals | The Big Picture Yufei Zhao [email protected] An important skill of an olympiad geometer is being able to recognize known configurations. Indeed, many geometry problems are built on a few common themes. In this lecture, we will explore one such configuration. 1 What Do These Problems Have in Common? 1. (IMO 1985) A circle with center O passes through the vertices A and C of triangle ABC and intersects segments AB and BC again at distinct points K and N, respectively. The circumcircles of triangles ABC and KBN intersects at exactly two distinct points B and M. ◦ Prove that \OMB = 90 . B M N K O A C 2. (Russia 1995; Romanian TST 1996; Iran 1997) Consider a circle with diameter AB and center O, and let C and D be two points on this circle. The line CD meets the line AB at a point M satisfying MB < MA and MD < MC. Let K be the point of intersection (different from ◦ O) of the circumcircles of triangles AOC and DOB. Show that \MKO = 90 . C D K M A O B 3. (USA TST 2007) Triangle ABC is inscribed in circle !. The tangent lines to ! at B and C meet at T . Point S lies on ray BC such that AS ? AT . Points B1 and C1 lies on ray ST (with C1 in between B1 and S) such that B1T = BT = C1T . Prove that triangles ABC and AB1C1 are similar to each other. 1 Winter Camp 2009 Cyclic Quadrilaterals Yufei Zhao A B S C C1 B1 T Although these geometric configurations may seem very different at first sight, they are actually very related.
    [Show full text]
  • Cyclic Quadrilaterals
    GI_PAGES19-42 3/13/03 7:02 PM Page 1 Cyclic Quadrilaterals Definition: Cyclic quadrilateral—a quadrilateral inscribed in a circle (Figure 1). Construct and Investigate: 1. Construct a circle on the Voyage™ 200 with Cabri screen, and label its center O. Using the Polygon tool, construct quadrilateral ABCD where A, B, C, and D are on circle O. By the definition given Figure 1 above, ABCD is a cyclic quadrilateral (Figure 1). Cyclic quadrilaterals have many interesting and surprising properties. Use the Voyage 200 with Cabri tools to investigate the properties of cyclic quadrilateral ABCD. See whether you can discover several relationships that appear to be true regardless of the size of the circle or the location of A, B, C, and D on the circle. 2. Measure the lengths of the sides and diagonals of quadrilateral ABCD. See whether you can discover a relationship that is always true of these six measurements for all cyclic quadrilaterals. This relationship has been known for 1800 years and is called Ptolemy’s Theorem after Alexandrian mathematician Claudius Ptolemaeus (A.D. 85 to 165). 3. Determine which quadrilaterals from the quadrilateral hierarchy can be cyclic quadrilaterals (Figure 2). 4. Over 1300 years ago, the Hindu mathematician Brahmagupta discovered that the area of a cyclic Figure 2 quadrilateral can be determined by the formula: A = (s – a)(s – b)(s – c)(s – d) where a, b, c, and d are the lengths of the sides of the a + b + c + d quadrilateral and s is the semiperimeter given by s = 2 . Using cyclic quadrilaterals, verify these relationships.
    [Show full text]
  • Cyclic and Bicentric Quadrilaterals G
    Cyclic and Bicentric Quadrilaterals G. T. Springer Email: [email protected] Hewlett-Packard Calculators and Educational Software Abstract. In this hands-on workshop, participants will use the HP Prime graphing calculator and its dynamic geometry app to explore some of the many properties of cyclic and bicentric quadrilaterals. The workshop will start with a brief introduction to the HP Prime and an overview of its features to get novice participants oriented. Participants will then use ready-to-hand constructions of cyclic and bicentric quadrilaterals to explore. Part 1: Cyclic Quadrilaterals The instructor will send you an HP Prime app called CyclicQuad for this part of the activity. A cyclic quadrilateral is a convex quadrilateral that has a circumscribed circle. 1. Press ! to open the App Library and select the CyclicQuad app. The construction consists DEGH, a cyclic quadrilateral circumscribed by circle A. 2. Tap and drag any of the points D, E, G, or H to change the quadrilateral. Which of the following can DEGH never be? • Square • Rhombus (non-square) • Rectangle (non-square) • Parallelogram (non-rhombus) • Isosceles trapezoid • Kite Just move the points of the quadrilateral around enough to convince yourself for each one. Notice HDE and HE are both inscribed angles that subtend the entirety of the circle; ≮ ≮ likewise with DHG and DEG. This leads us to a defining characteristic of cyclic ≮ ≮ quadrilaterals. Make a conjecture. A quadrilateral is cyclic if and only if… 3. Make DEGH into a kite, similar to that shown to the right. Tap segment HE and press E to select it. Now use U and D to move the diagonal vertically.
    [Show full text]
  • Fun Problems in Geometry and Beyond
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 15 (2019), 097, 21 pages Fun Problems in Geometry and Beyond Boris KHESIN †y and Serge TABACHNIKOV ‡z †y Department of Mathematics, University of Toronto, Toronto, ON M5S 2E4, Canada E-mail: [email protected] URL: http://www.math.toronto.edu/khesin/ ‡z Department of Mathematics, Pennsylvania State University, University Park, PA 16802, USA E-mail: [email protected] URL: http://www.personal.psu.edu/sot2/ Received November 17, 2019; Published online December 11, 2019 https://doi.org/10.3842/SIGMA.2019.097 Abstract. We discuss fun problems, vaguely related to notions and theorems of a course in differential geometry. This paper can be regarded as a weekend “treasure\treasure chest”chest" supplemen- ting the course weekday lecture notes. The problems and solutions are not original, while their relation to the course might be so. Key words: clocks; spot it!; hunters; parking; frames; tangents; algebra; geometry 2010 Mathematics Subject Classification: 00A08; 00A09 To Dmitry Borisovich Fuchs on the occasion of his 80th anniversary Áîëüøå çàäà÷, õîðîøèõ è ðàçíûõ! attributed to Winston Churchill (1918) This is a belated birthday present to Dmitry Borisovich Fuchs, a mathematician young at 1 heart.1 Many of these problems belong to the mathematical folklore. We did not attempt to trace them back to their origins (which might be impossible anyway), and the given references are not necessarily the first mentioning of these problems. 1 Problems 1. AA wall wall clock clock has has the the minute minute and and hour hour hands hands of of equal equal length.
    [Show full text]
  • Areas of Polygons Inscribed in a Circle
    Discrete Comput Geom 12:223-236 (1994) G iii try 1994 Springer-VerlagNew York Inc. Areas of Polygons Inscribed in a Circle D. P. Robbins Center for Communications Research, Institute for Defense Analyses, Princeton, NJ 08540, USA robbins@ ccr-p.ida.org Abstract. Heron of Alexandria showed that the area K of a triangle with sides a, b, and c is given by lr = x/s(s - a)~s - b• - c), where s is the semiperimeter (a + b + c)/2. Brahmagupta gave a generalization to quadrilaterals inscribed in a circle. In this paper we derive formulas giving the areas of a pentagon or hexagon inscribed in a circle in terms of their side lengths. While the pentagon and hexagon formulas are complicated, we show that each can be written in a surprisingly compact form related to the formula for the discriminant of a cubic polynomial in one variable. 1. Introduction Since a triangle is determined by the lengths, a, b, c of its three sides, the area K of the triangle is determined by these three lengths. The well-known formula K = x/s(s - aXs - bXs - c), (1.1) where s is the semiperimeter (a + b + c)/2, makes this dependence explicit. (This formula is usually ascribed to Heron of Alexandria, c. 60 B.c., although some attribute it to Archimedes.) For polygons of more than three sides, the lengths of the sides do not determine the polygon or its area. However, if we impose the condition that the polygon be convex and cyclic (i.e., inscribed in a circle), then the area of the polygon is uniquely determined.
    [Show full text]
  • 7 Quadrilaterals and Other Polygons
    7 Quadrilaterals and Other Polygons 7.1 Angles of Polygons 7.2 Properties of Parallelograms 7.3 Proving That a Quadrilateral Is a Parallelogram 7.4 Properties of Special Parallelograms 7.5 Properties of Trapezoids and Kites SEE the Big Idea DiamondDiamond (p.((p. 406)406) WiWindow d ((p. 39395)5) AmAmusementusement Park Ride Ride (p(p. 377) ArArrowrow (p(p.. 37373)3) GazeboGazebo (p.(p. 36365)5) hhs_geo_pe_07co.indds_geo_pe_07co.indd 356356 11/19/15/19/15 111:411:41 AAMM MMaintainingaintaining MathematicalMathematical ProficiencyProficiency Using Structure to Solve a Multi-Step Equation Example 1 Solve 3(2 + x) = −9 by interpreting the expression 2 + x as a single quantity. 3(2 + x) = −9 Write the equation. 3(2 + x) −9 — = — Divide each side by 3. 3 3 2 + x = −3 Simplify. −2 −2 Subtract 2 from each side. x = −5 Simplify. Solve the equation by interpreting the expression in parentheses as a single quantity. 1. 4(7 − x) = 16 2. 7(1 − x) + 2 = −19 3. 3(x − 5) + 8(x − 5) = 22 Identifying Parallel and Perpendicular Lines Example 2 Determine which of the lines are parallel and which are perpendicular. a b y c Find the slope of each line. (−4, 3) d 3 − (−3) (2, 2) Line a: m = — = −3 2 (3, 2) −4 − (−2) −1 − (−4) Line b: m = — = −3 −2 (1, −1) 4 x 1 − 2 (−4, 0) (4, −2) − − −2 = —2 ( 2) = − Line c: m − 4 3 4 (−2, −3) (2, −4) −4 2 − 0 1 Line d: m = — = — 2 − (−4) 3 Because lines a and b have the same slope, lines a and b are parallel.
    [Show full text]
  • Brahmagupta's Derivation of the Area of a Cyclic Quadrilateral
    Brahmagupta’s derivation of the area of a cyclic quadrilateral Satyanad Kichenassamy To cite this version: Satyanad Kichenassamy. Brahmagupta’s derivation of the area of a cyclic quadrilateral. Historia Mathematica, Elsevier, 2010, 37 (1), pp.28-61. 10.1016/j.hm.2009.08.004. halshs-00443604 HAL Id: halshs-00443604 https://halshs.archives-ouvertes.fr/halshs-00443604 Submitted on 12 Mar 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Historia Mathematica 37 (2010) 28{61 http://dx.doi.org/10.1016/j.hm.2009.08.004 Brahmagupta's derivation of the area of a cyclic quadrilateral Satyanad Kichenassamy1 Abstract. This paper shows that Propositions XII.21{27 of Brahmagupta's Br¯ahma- sphut.asiddh¯anta (628 a.d.) constitute a coherent mathematical discourse leading to the expression of the area of a cyclic quadrilateral in terms of its sides. The radius of the circumcircle is determined by considering two auxiliary quadrilaterals. Observing that a cyclic quadrilateral is split by a diagonal into two triangles with the same circumcenter and the same circumradius, the result follows, using the tools available to Brahmagupta. The expression for the diagonals (XII.28) is a consequence.
    [Show full text]