DOCSLIB.ORG

Downloaded from Bookstore.Ams.Org 30-60-90 Triangle, 190, 233 36-72

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Downloaded from Bookstore.Ams.Org 30-60-90 Triangle, 190, 233 36-72 Index 30-60-90 triangle, 190, 233 intersects interior of a side, 144 36-72-72 triangle, 226 to the base of an isosceles triangle, 145 360 theorem, 96, 97 to the hypotenuse, 144 45-45-90 triangle, 190, 233 to the longest side, 144 60-60-60 triangle, 189 Amtrak model, 29 and (logical conjunction), 385 AA congruence theorem for asymptotic angle, 83 triangles, 353 acute, 88 AA similarity theorem, 216 included between two sides, 104 AAA congruence theorem in hyperbolic inscribed in a semicircle, 257 geometry, 338 inscribed in an arc, 257 AAA construction theorem, 191 obtuse, 88 AAASA congruence, 197, 354 of a polygon, 156 AAS congruence theorem, 119 of a triangle, 103 AASAS congruence, 179 of an asymptotic triangle, 351 ABCD property of rigid motions, 441 on a side of a line, 149 absolute value, 434 opposite a side, 104 acute angle, 88 proper, 84 acute triangle, 105 right, 88 adapted coordinate function, 72 straight, 84 adjacency lemma, 98 zero, 84 adjacent angles, 90, 91 angle addition theorem, 90 adjacent edges of a polygon, 156 angle bisector, 100, 147 adjacent interior angle, 113 angle bisector concurrence theorem, 268 admissible decomposition, 201 angle bisector proportion theorem, 219 algebraic number, 317 angle bisector theorem, 147 all-or-nothing theorem, 333 converse, 149 alternate interior angles, 150 angle construction theorem, 88 alternate interior angles postulate, 323 angle criterion for convexity, 160 alternate interior angles theorem, 150 angle measure, 54, 85 converse, 185, 323 between two lines, 357 altitude concurrence theorem, 269 in taxicab geometry, 138 altitude of a triangle, 144, 208 in the Cartesian plane, 125 455 Downloaded from bookstore.ams.org 456 Index in the Poincare´ disk, 133 area paradox, 211 interior, 173 area postulate of a regular polygon, 192 Euclidean, 200 properties of, 86 hyperbolic, 371 reflex, 87 is not independent, 209 standard, 87 area scaling theorem angle measure postulate, 85 quadrilateral, 226 angle measurement postulate (SMSG), 21, triangle, 226 380 Aristotle, 363 angle of parallelism, 367 Aristotle’s lemma, 363 angle-side-longer-side congruence theorem, ASA congruence theorem, 108 121 ASAAS congruence, 197 angle subtraction theorem, 90 ASASA congruence, 197 angle sum, 189 ASASS congruence, 197 of an asymptotic triangle, 351 AsS congruence theorem, 121 of two angles of a triangle, 114 ASS nontheorem, 120, 122 angle-sum postulate, 325 ASSAS congruence, 197 weak, 333 asymptotic rays, 344 angle-sum theorem determine parallel lines, 344 for asymptotic triangles, 352 endpoint independence, 348 for convex polygons, 191 existence and uniqueness, 345 for convex quadrilaterals, 194 symmetry property, 347 for general polygons, 193 transitive property, 349 for triangles, 189, 325 asymptotic triangle, 350 hyperbolic, 338 AA congruence theorem, 353 arbitrary, 412 angle sum of, 351 arc, 254 angle-sum theorem, 352 inscribed, 257 copying theorem, 352 defect addition theorem, 353 intercepted, 257 defect of, 351 major, 254 exterior angle inequality, 353 minor, 254 exterior angle of, 351 semicircle, 254 Pasch’s theorem for, 353 arc addition theorem, 261 remote interior angle of, 351 arc length, 293 SA congruence theorem, 351 arc measure, 257 SA inequality, 353 arccosine, 125 asymptotically parallel lines, 355 Archimedean property, 438 distance between, 365 Archimedes’ theorem, 292 existence and uniqueness, 357 area, 199–210 atomic statement, 384 of a circular region, 291–293 axiom, 13, 23 of a parallelogram, 209 of incidence geometry, 25 of a polygon, 200 axiomatic method, 23 of a rectangle, 207 axiomatic system, 13, 23 of a right triangle, 207 of a sector, 294 base of a square, 206 of a parallelogram, 209 of a trapezoid, 209 of a Saccheri quadrilateral, 341 of a triangle, 208 of a trapezoid, 209 area addition property, 200 of a triangle, 208 area congruence property, 200 of an isosceles triangle, 105 area function, 200 base angles, 105 Downloaded from bookstore.ams.org Index 457 Beltrami, Eugenio, 11, 35 through three noncollinear points, 264 Beltrami–Klein disk, 35, 41 unit, 289 betweenness circular region, 290 consistency of, 61, 90 area of, 291 in Hilbert’s axioms, 20, 23, 375 circumcenter, 262 of numbers, 59 circumcircle, 262 of points, 60 for a triangle, 263 of rays, 89 circumcircle postulate, 335 symmetry of, 60, 89 circumcircle theorem, 263 vs. betweenness, 99 circumference, 284 vs. interior, 97 approximation by regular polygons, 285 betweenness axiom, Hilbert’s, 61, 375 formula for, 289 betweenness theorem scaling theorem, 288 converse, 61, 117 circumscribed circle, 262 for points, 60 constructing, 305 for rays, 89 for a triangle, 263 biconditional statement, 392 circumscribed polygon, 265 bijective function, 57, 429 is convex, 266 Birkhoff’s axioms, 377 regular, 273 Birkhoff, George D., 20, 53, 377 Clairaut’s postulate, 330 bisect, 68 Clairaut, Alexis, 330 bisector classification of parallels through a point, of an angle, 100, 147, 298 357 perpendicular, 145, 146 closed half-plane, 77 Bolyai, Janos,´ xiii, 10 closed interval, 434 boundary of a simple polygonal region, 199 closest point, 146 braces in set notation, 424 on a line, 147 Cartesian plane, 33–34, 125–132 on a segment, 147 is a model of Euclidean geometry, 132 closure properties of numbers, 435 is a model of incidence geometry, 33 codomain of a function, 428 is a model of neutral geometry, 132 coefficient of a polynomial, 314 Cartesian product, 426 collection (synonym for set), 423 cases, proof by, 414 collinear points categorical axiomatic system, 132, 243 in incidence geometry, 25 Euclidean geometry, 132, 243 in plane geometry, 55 center collinear rays, 74 of a circle, 70, 247 common notions of a regular polygon, 271 for angles, 90 central angle for segments, 66 of a circle, 257 of Euclid, 4 of a regular polygon, 271 common perpendicular, 151, 187, 359, 360 centroid, 224 uniqueness, 359 Ceva’s theorem, 223 common perpendicular theorem, 151 Ceva, Giovanni, 223 converse, 187 cevian, 223 compass and straightedge, 3, 295, 296 chord complementary angles, 91 of a circle, 35, 247, 250 components of a polygon, 161, 162 of a vector, 124 circle, 70, 247 of an ordered pair, 426 area of, 293 composition of rigid motions, 449 circumference of, 289 compound statement, 385 Downloaded from bookstore.ams.org 458 Index concave polygon, 158 constructing a perpendicular, 101 concave vertex, 172 constructing a rectangle, 195 concentric circles, 247, 248 constructing a square, 196 conclusion construction in Greek proofs, 7 compass and straightedge, 296–319 of a rule of inference, 408 in Greek proofs, 3, 6, 7 of an implication, 388 constructive proof, 417 concurrence theorem contains (a point) altitude, 269 in incidence geometry, 24 angle bisector, 268 in plane geometry, 55 median, 224 contrapositive, 391 perpendicular bisector, 264 proof by, 411 concurrent, 223, 262 converse, 391 conditional statement, 388 convex decomposition lemma, 201 congruence convex polygon, 157–166 in Hilbert’s axioms, 20, 23, 375, 376 angle criterion, 160 of angles, 88 characterizations of, 173 of asymptotic triangles, 351 diagonal criterion, 176 of convex polygons, 159 interior of, 164, 171 of polygons, 173 semiparallel criterion, 161, 176 of segments, 64 vertex criterion, 160 of simple polygonal regions, 199 convex quadrilateral, 175–183 of triangles, 106 diagonal criterion, 176 via rigid motions, 446 semiparallel criterion, 176 congruent, see congruence convex set, 80 conjugate arcs, 254, 257 intersection of, 80 conjunction, 385 convex vertex, 172 connective, logical, 385 coordinate consecutive angles of a polygon, 156 of a point, 57 consecutive interior angles, 150 ofaray,86 consecutive interior angles theorem, 151 coordinate function converse, 186 adapted to a ray, 72 consecutive vertices of a polygon, 156 for a half-rotation, 86 consistency for a line, 57 of an axiomatic system, 32 starting at a ray, 86 of betweenness of points, 61 coordinate representation of betweenness of rays, 90 ofaray,72 of endpoints of arcs, 256 of a segment, 67 of endpoints of rays, 76 copying theorem of endpoints of segments, 66 asymptotic triangle, 352 of polygon vertices, 157, 159 quadrilateral, 179, 300 of triangle vertices, 103 triangle, 111, 300 of vertices of proper angles, 84 corollary, 6, 24 relative, 32 correspondence, one-to-one, 429 constant of proportionality, 214 corresponding angles, 150 constructible angle, 313 corresponding angles theorem, 151 constructible circle, 308 converse, 186 constructible line, 308 cosine, 238, 239 constructible number, 308 is injective, 239 characterization of, 311 cosines, law of, 240 constructible point, 308 cross lemma, 177 Downloaded from bookstore.ams.org Index 459 crossbar theorem, 106 from a point to a segment, 147 cubic polynomial, 314 from a point to a set, 146 cut by a transversal, 149 in plane geometry, 54, 56 cutting off a segment, 74, 297 in taxicab geometry, 138 cyclic polygon, 262, 263 in the Cartesian plane, 125 is convex, 262 in the Poincare´ disk, 132 cyclic quadrilateral, 264, 276 properties of, 59 cyclic triangle theorem, 263 distance postulate, 56 distance-preserving function, 57 dart, 183 distinct (meaning not equal), 25, 393 decagon, 157 divides, 434 decomposition lemma divisible, 434 convex, 201 dodecagon, 157 parallelogram, 203 domain defect of a function, 428 of a polygon, 328, 371 of a variable, 394 of a triangle, 328 dot product, 125 of an asymptotic triangle, 351 double angle formula defect addition theorem, 328 for cosine, 242 for asymptotic triangles, 353 for sine, 242 defect formula, 372 double elliptic geometry, 35
Load more

Recommended publications
  • 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]
  • An Innovative Analysis to Develop New Theorems on Irregular Polygon
    International Journal of Physics and Mathematical Sciences ISSN: 2277-2111 (Online) An Online International Journal Available at http://www.cibtech.org/jpms.htm 2013 Vol. 3 (1) January-March, pp.73-81/Kalaimaran Research Article AN INNOVATIVE ANALYSIS TO DEVELOP NEW THEOREMS ON IRREGULAR POLYGON *Kalaimaran Ara Construction & Civil Maintenance Unit, Central Food Technological Research Institute, Mysore-20, Karnataka, India *Author for Correspondence ABSTRACT The irregular Polygon is a four sided polygon of two dimensional geometrical figures. The triangle, square, rectangle, tetragon, pentagon, hexagon, heptagon, octagon, nonagon, dodecagon, parallelogram, rhombus, rhomboid, trapezium or trapezoidal, kite and dart are the members of the irregular polygon family. A polygon is a two dimensional example of the more general prototype in any number of dimensions. However the properties are varied from one to another. The author has attempted to develop two new theorems for the property of irregular polygon for a point anywhere inside of the polygon with necessary illustrations, appropriate examples and derivation of equations for better understanding. Key Words: Irregular Polygon, Triangle, Right-angled triangle, Perpendicular and Vertex INTRODUCTION Polygon (Weisstein, 2003) is a closed two dimensional figure formed by connecting three or more straight line segments, where each line segment end connects to only one end of two other line segments. Polygon is one of the most all-encompassing shapes in two- dimensional geometry. The sum of the interior angles is equal to 180 degree multiplied by number of sides minus two. The sum of the exterior angles is equal to 360 degree. From the simple triangle up through square, rectangle, tetragon, pentagon, hexagon, heptagon, octagon, nonagon, dodecagon (Weisstein, 2003,) and beyond is called n-gon.
    [Show full text]
  • Geometry: Neutral MATH 3120, Spring 2016 Many Theorems of Geometry Are True Regardless of Which Parallel Postulate Is Used
    Geometry: Neutral MATH 3120, Spring 2016 Many theorems of geometry are true regardless of which parallel postulate is used. A neutral geom- etry is one in which no parallel postulate exists, and the theorems of a netural geometry are true for Euclidean and (most) non-Euclidean geomteries. Spherical geometry is a special case of Non-Euclidean geometries where the great circles on the sphere are lines. This leads to spherical trigonometry where triangles have angle measure sums greater than 180◦. While this is a non-Euclidean geometry, spherical geometry develops along a separate path where the axioms and theorems of neutral geometry do not typically apply. The axioms and theorems of netural geometry apply to Euclidean and hyperbolic geometries. The theorems below can be proven using the SMSG axioms 1 through 15. In the SMSG axiom list, Axiom 16 is the Euclidean parallel postulate. A neutral geometry assumes only the first 15 axioms of the SMSG set. Notes on notation: The SMSG axioms refer to the length or measure of line segments and the measure of angles. Thus, we will use the notation AB to describe a line segment and AB to denote its length −−! −! or measure. We refer to the angle formed by AB and AC as \BAC (with vertex A) and denote its measure as m\BAC. 1 Lines and Angles Definitions: Congruence • Segments and Angles. Two segments (or angles) are congruent if and only if their measures are equal. • Polygons. Two polygons are congruent if and only if there exists a one-to-one correspondence between their vertices such that all their corresponding sides (line sgements) and all their corre- sponding angles are congruent.
    [Show full text]
  • The Algebra of Projective Spheres on Plane, Sphere and Hemisphere
    Journal of Applied Mathematics and Physics, 2020, 8, 2286-2333 https://www.scirp.org/journal/jamp ISSN Online: 2327-4379 ISSN Print: 2327-4352 The Algebra of Projective Spheres on Plane, Sphere and Hemisphere István Lénárt Eötvös Loránd University, Budapest, Hungary How to cite this paper: Lénárt, I. (2020) Abstract The Algebra of Projective Spheres on Plane, Sphere and Hemisphere. Journal of Applied Numerous authors studied polarities in incidence structures or algebrization Mathematics and Physics, 8, 2286-2333. of projective geometry [1] [2]. The purpose of the present work is to establish https://doi.org/10.4236/jamp.2020.810171 an algebraic system based on elementary concepts of spherical geometry, ex- tended to hyperbolic and plane geometry. The guiding principle is: “The Received: July 17, 2020 Accepted: October 27, 2020 point and the straight line are one and the same”. Points and straight lines are Published: October 30, 2020 not treated as dual elements in two separate sets, but identical elements with- in a single set endowed with a binary operation and appropriate axioms. It Copyright © 2020 by author(s) and consists of three sections. In Section 1 I build an algebraic system based on Scientific Research Publishing Inc. This work is licensed under the Creative spherical constructions with two axioms: ab= ba and (ab)( ac) = a , pro- Commons Attribution International viding finite and infinite models and proving classical theorems that are License (CC BY 4.0). adapted to the new system. In Section Two I arrange hyperbolic points and http://creativecommons.org/licenses/by/4.0/ straight lines into a model of a projective sphere, show the connection be- Open Access tween the spherical Napier pentagram and the hyperbolic Napier pentagon, and describe new synthetic and trigonometric findings between spherical and hyperbolic geometry.
    [Show full text]
  • Saccheri and Lambert Quadrilateral in Hyperbolic Geometry
    MA 408, Computer Lab Three Saccheri and Lambert Quadrilaterals in Hyperbolic Geometry Name: Score: Instructions: For this lab you will be using the applet, NonEuclid, developed by Castel- lanos, Austin, Darnell, & Estrada. You can either download it from Vista (Go to Labs, click on NonEuclid), or from the following web address: http://www.cs.unm.edu/∼joel/NonEuclid/NonEuclid.html. (Click on Download NonEuclid.Jar). Work through this lab independently or in pairs. You will have the opportunity to finish anything you don't get done in lab at home. Please, write the solutions of homework problems on a separate sheets of paper and staple them to the lab. 1 Introduction In the previous lab you observed that it is impossible to construct a rectangle in the Poincar´e disk model of hyperbolic geometry. In this lab you will study two types of quadrilaterals that exist in the hyperbolic geometry and have many properties of a rectangle. A Saccheri quadrilateral has two right angles adjacent to one of the sides, called the base. Two sides that are perpendicular to the base are of equal length. A Lambert quadrilateral is a quadrilateral with three right angles. In the Euclidean geometry a Saccheri or a Lambert quadrilateral has to be a rectangle, but the hyperbolic world is different ... 2 Saccheri Quadrilaterals Definition: A Saccheri quadrilateral is a quadrilateral ABCD such that \ABC and \DAB are right angles and AD ∼= BC. The segment AB is called the base of the Saccheri quadrilateral and the segment CD is called the summit. The two right angles are called the base angles of the Saccheri quadrilateral, and the angles \CDA and \BCD are called the summit angles of the Saccheri quadrilateral.
    [Show full text]
  • The Role of Definitions in Geometry for Prospective Middle and High School Teachers
    2018 HAWAII UNIVERSITY INTERNATIONAL CONFERENCES STEAM - SCIENCE, TECHNOLOGY & ENGINEERING, ARTS, MATHEMATICS & EDUCATION JUNE 6 - 8, 2018 PRINCE WAIKIKI, HONOLULU, HAWAII THE ROLE OF DEFINITIONS IN GEOMETRY FOR PROSPECTIVE MIDDLE AND HIGH SCHOOL TEACHERS SZABO, TAMAS DEPARTMENT OF MATHEMATICS UNIVERSITY OF WISCONSIN WHITEWATER, WISCONSIN Dr. Tamas Szabo Department of Mathematics University of Wisconsin Whitewater, Wisconsin THE ROLE OF DEFINITIONS IN GEOMETRY FOR PROSPECTIVE MIDDLE AND HIGH SCHOOL TEACHERS ABSTRACT. Does verbalizing a key definition before solving a related problem help students solving the problem? Perhaps surprisingly, the answers turns out to be NO, based on this yearlong experiment conducted with mathematics education majors and minors in two geometry classes. This article describes the experiment, the results, suggests possible explanations, and derives some peda-gogical conclusions that are useful for teachers of any mathematics or science course. Keywords: concept definition, concept image, proof writing, problem solving, secondary mathematics teachers. 1. INTRODUCTION Definitions play a very important role in mathematics, the learning of mathematics, and the teaching of mathematics alike. However, knowing a definition is not equivalent with knowing a concept. To become effective problem solvers, students need to develop an accurate concept image. The formal definition is only a small part of the concept image, which also includes examples and non-examples, properties and connections to other concepts. The distinction between concept definition and concept image has been examined by many research studies (e.g., Edwards, 1997; Vinner and Dreyfus, 1989; Tall, 1992; Vinner, 1991). Another group of articles analyze, argue for, and provide examples of engaging students in the construction of definitions (e.g., Zandieh and Rasmussen, 2010; Herbst et al., 2005; Johnson et al., 2014; Zaslavski and Shir, 2005).
    [Show full text]
  • A Condition That a Tangential Quadrilateral Is Also Achordalone
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE Mathematical Communications 12(2007), 33-52 33 A condition that a tangential quadrilateral is also achordalone Mirko Radic´,∗ Zoran Kaliman† and Vladimir Kadum‡ Abstract. In this article we present a condition that a tangential quadrilateral is also a chordal one. The main result is given by Theo- rem 1 and Theorem 2. Key words: tangential quadrilateral, bicentric quadrilateral AMS subject classifications: 51E12 Received September 1, 2005 Accepted March 9, 2007 1. Introduction A polygon which is both tangential and chordal will be called a bicentric polygon. The following notation will be used. If A1A2A3A4 is a considered bicentric quadrilateral, then its incircle is denoted by C1, circumcircle by C2,radiusofC1 by r,radiusofC2 by R, center of C1 by I, center of C2 by O, distance between I and O by d. A2 C2 C1 r A d 1 O I R A3 A4 Figure 1.1 ∗Faculty of Philosophy, University of Rijeka, Omladinska 14, HR-51 000 Rijeka, Croatia, e-mail: [email protected] †Faculty of Philosophy, University of Rijeka, Omladinska 14, HR-51 000 Rijeka, Croatia, e-mail: [email protected] ‡University “Juraj Dobrila” of Pula, Preradovi´ceva 1, HR-52 100 Pula, Croatia, e-mail: [email protected] 34 M. Radic,´ Z. Kaliman and V. Kadum The first one who was concerned with bicentric quadrilaterals was a German mathematicianNicolaus Fuss (1755-1826), see [2]. He foundthat C1 is the incircle and C2 the circumcircle of a bicentric quadrilateral A1A2A3A4 iff (R2 − d2)2 =2r2(R2 + d2).
    [Show full text]
  • Angle Bisectors in a Quadrilateral Are Concurrent
    Angle Bisectors in a Quadrilateral in the classroom A Ramachandran he bisectors of the interior angles of a quadrilateral are either all concurrent or meet pairwise at 4, 5 or 6 points, in any case forming a cyclic quadrilateral. The situation of exactly three bisectors being concurrent is not possible. See Figure 1 for a possible situation. The reader is invited to prove these as well as observations regarding some of the special cases mentioned below. Start with the last observation. Assume that three angle bisectors in a quadrilateral are concurrent. Join the point of T D E H A F G B C Figure 1. A typical configuration, showing how a cyclic quadrilateral is formed Keywords: Quadrilateral, diagonal, angular bisector, tangential quadrilateral, kite, rhombus, square, isosceles trapezium, non-isosceles trapezium, cyclic, incircle 33 At Right Angles | Vol. 4, No. 1, March 2015 Vol. 4, No. 1, March 2015 | At Right Angles 33 D A D A D D E G A A F H G I H F F G E H B C E Figure 3. If is a parallelogram, then is a B C B C rectangle B C Figure 2. A tangential quadrilateral Figure 6. The case when is a non-isosceles trapezium: the result is that is a cyclic Figure 7. The case when has but A D quadrilateral in which : the result is that is an isosceles ∘ trapezium ( and ∠ ) E ∠ ∠ ∠ ∠ concurrence to the fourth vertex. Prove that this line indeed bisects the angle at the fourth vertex. F H Tangential quadrilateral A quadrilateral in which all the four angle bisectors G meet at a pointincircle is a — one which has an circle touching all the four sides.
    [Show full text]
  • Volume 6 (2006) 1–16
    FORUM GEOMETRICORUM A Journal on Classical Euclidean Geometry and Related Areas published by Department of Mathematical Sciences Florida Atlantic University b bbb FORUM GEOM Volume 6 2006 http://forumgeom.fau.edu ISSN 1534-1178 Editorial Board Advisors: John H. Conway Princeton, New Jersey, USA Julio Gonzalez Cabillon Montevideo, Uruguay Richard Guy Calgary, Alberta, Canada Clark Kimberling Evansville, Indiana, USA Kee Yuen Lam Vancouver, British Columbia, Canada Tsit Yuen Lam Berkeley, California, USA Fred Richman Boca Raton, Florida, USA Editor-in-chief: Paul Yiu Boca Raton, Florida, USA Editors: Clayton Dodge Orono, Maine, USA Roland Eddy St. John’s, Newfoundland, Canada Jean-Pierre Ehrmann Paris, France Chris Fisher Regina, Saskatchewan, Canada Rudolf Fritsch Munich, Germany Bernard Gibert St Etiene, France Antreas P. Hatzipolakis Athens, Greece Michael Lambrou Crete, Greece Floor van Lamoen Goes, Netherlands Fred Pui Fai Leung Singapore, Singapore Daniel B. Shapiro Columbus, Ohio, USA Steve Sigur Atlanta, Georgia, USA Man Keung Siu Hong Kong, China Peter Woo La Mirada, California, USA Technical Editors: Yuandan Lin Boca Raton, Florida, USA Aaron Meyerowitz Boca Raton, Florida, USA Xiao-Dong Zhang Boca Raton, Florida, USA Consultants: Frederick Hoffman Boca Raton, Floirda, USA Stephen Locke Boca Raton, Florida, USA Heinrich Niederhausen Boca Raton, Florida, USA Table of Contents Khoa Lu Nguyen and Juan Carlos Salazar, On the mixtilinear incircles and excircles,1 Juan Rodr´ıguez, Paula Manuel and Paulo Semi˜ao, A conic associated with the Euler line,17 Charles Thas, A note on the Droz-Farny theorem,25 Paris Pamfilos, The cyclic complex of a cyclic quadrilateral,29 Bernard Gibert, Isocubics with concurrent normals,47 Mowaffaq Hajja and Margarita Spirova, A characterization of the centroid using June Lester’s shape function,53 Christopher J.
    [Show full text]
  • Tightening Curves on Surfaces Monotonically with Applications
    Tightening Curves on Surfaces Monotonically with Applications † Hsien-Chih Chang∗ Arnaud de Mesmay March 3, 2020 Abstract We prove the first polynomial bound on the number of monotonic homotopy moves required to tighten a collection of closed curves on any compact orientable surface, where the number of crossings in the curve is not allowed to increase at any time during the process. The best known upper bound before was exponential, which can be obtained by combining the algorithm of de Graaf and Schrijver [J. Comb. Theory Ser. B, 1997] together with an exponential upper bound on the number of possible surface maps. To obtain the new upper bound we apply tools from hyperbolic geometry, as well as operations in graph drawing algorithms—the cluster and pipe expansions—to the study of curves on surfaces. As corollaries, we present two efficient algorithms for curves and graphs on surfaces. First, we provide a polynomial-time algorithm to convert any given multicurve on a surface into minimal position. Such an algorithm only existed for single closed curves, and it is known that previous techniques do not generalize to the multicurve case. Second, we provide a polynomial-time algorithm to reduce any k-terminal plane graph (and more generally, surface graph) using degree-1 reductions, series-parallel reductions, and ∆Y -transformations for arbitrary integer k. Previous algorithms only existed in the planar setting when k 4, and all of them rely on extensive case-by-case analysis based on different values of k. Our algorithm≤ makes use of the connection between electrical transformations and homotopy moves, and thus solves the problem in a unified fashion.
    [Show full text]
  • Saccheri Quadrilaterals Definition: Let Be Any Line Segment, and Erect Two
    Saccheri Quadrilaterals Definition: Let be any line segment, and erect two perpendiculars at the endpoints A and B. Mark off points C and D on these perpendiculars so that C and D lie on the same side of the line , and BC = AD. Join C and D. The resulting quadrilateral is a Saccheri Quadrilateral. Side is called the base, and the legs, and side the summit. The angles at C and D are called the summit angles. Lemma: A Saccheri Quadrilateral is convex. ~ By construction, D and C are on the same side of the line , and by PSP, will be as well. If intersected at a point F, one of the triangles ªADF or ªBFC would have two angles of at least measure 90, a contradiction (one of the linear pair of angles at F must be obtuse or right). Finally, if and met at a point E then ªABE would be a triangle with two right angles. Thus and must lie entirely on one side of each other. So, GABCD is convex. Theorem: The summit angles of a Saccheri Quadrilateral are congruent. ~ The SASAS version of using SAS to prove the base angles of an isosceles triangle are congruent. GDABC GCBAD, by SASAS, so pD pC. Corollaries: • The diagonals of a Saccheri Quadrilateral are congruent. (Proof: ªABC ªBAD by SAS; CPCF gives AC = BD.) • The line joining the midpoints of the base and summit of a quadrilateral is the perpendicular bisector of both the base and summit. (Proof: Let N and M be the midpoints of summit and base, respectively.
    [Show full text]
  • Arxiv:1808.05573V2 [Math.GT] 13 May 2020 A.K.A
    THE MAXIMAL INJECTIVITY RADIUS OF HYPERBOLIC SURFACES WITH GEODESIC BOUNDARY JASON DEBLOIS AND KIM ROMANELLI Abstract. We give sharp upper bounds on the injectivity radii of complete hyperbolic surfaces of finite area with some geodesic boundary components. The given bounds are over all such surfaces with any fixed topology; in particular, boundary lengths are not fixed. This extends the first author's earlier result to the with-boundary setting. In the second part of the paper we comment on another direction for extending this result, via the systole of loops function. The main results of this paper relate to maximal injectivity radius among hyperbolic surfaces with geodesic boundary. For a point p in the interior of a hyperbolic surface F , by the injectivity radius of F at p we mean the supremum injrad p(F ) of all r > 0 such that there is a locally isometric embedding of an open metric neighborhood { a disk { of radius r into F that takes 1 the disk's center to p. If F is complete and without boundary then injrad p(F ) = 2 sysp(F ) at p, where sysp(F ) is the systole of loops at p, the minimal length of a non-constant geodesic arc in F with both endpoints at p. But if F has boundary then injrad p(F ) is bounded above by the distance from p to the boundary, so it approaches 0 as p approaches @F (and we extend it continuously to @F as 0). On the other hand, sysp(F ) does not approach 0 as p @F .
    [Show full text]