Foundations of Euclidean Constructive Geometry

Total Page:16

File Type:pdf, Size:1020Kb

Foundations of Euclidean Constructive Geometry FOUNDATIONS OF EUCLIDEAN CONSTRUCTIVE GEOMETRY MICHAEL BEESON Abstract. Euclidean geometry, as presented by Euclid, consists of straightedge-and- compass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathe- matics” leads to the development of a first-order theory ECG of “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid rather close in spirit to the Elements of Euclid. Using Gentzen’s cut-elimination theorem, we show that when ECG proves an existential theorem, then the things proved to exist can be constructed by Eu- clidean ruler-and-compass constructions. In the second part of the paper we take up the formal relationships between three versions of Euclid’s parallel postulate: Euclid’s own formulation in his Postulate 5, Playfair’s 1795 version, which is the one usually used in modern axiomatizations, and the version used in ECG. We completely settle the questions about which versions imply which others using only constructive logic: ECG’s version im- plies Euclid 5, which implies Playfair, and none of the reverse implications are provable. The proofs use Kripke models based on carefully constructed rings of real-valued functions. “Points” in these models are real-valued functions. We also characterize these theories in terms of different constructive versions of the axioms for Euclidean fields.1 Contents 1. Introduction 5 1.1. Euclid 5 1.2. The collapsible vs. the rigid compass 7 1.3. Postulates vs. axioms in Euclid 9 1.4. The parallel postulate 9 1.5. Polygons in Euclid 10 2. Euclid’s reasoning considered constructively 10 2.1. Order on a line from the constructive viewpoint 10 2.2. Logical form of Euclid’s propositions and proofs 14 2.3. Case splits and reductio inessential in Euclid 15 3. Constructions in geometry 16 3.1. The 48 Euclidean constructions 16 3.2. The elementary constructions 16 3.3. Circles and lines eliminable when contructing points 19 3.4. Describing constructions by terms 20 4. Models of the elementary constructions 21 4.1. The standard plane 21 4.2. The recursive model 22 4.3. The algebraic model 23 4.4. The Tarski model 23 1 2 MICHAEL BEESON 5. The geometrization of arithmetic without case distinctions 23 5.1. Uniform perpendicular and projection 24 5.2. Rotation 27 5.3. Addition 28 5.4. Multiplication and division 28 5.5. Square roots 31 5.6. Formalizing the geometrization of arithmetic 32 6. The arithmetization of geometry 32 6.1. Euclidean fields in constructive mathematics 32 6.2. Line-circle and circle-circle continuity over Euclideanfields 34 7. Otheraxiomatizationsofgeometry 36 7.1. Pasch 37 7.2. Pieri and Peano 37 7.3. Hilbert 37 7.4. Tarski and his students 38 7.5. Tarski’stheoryofEuclideangeometry 40 7.6. Borsuk-Szmielew 40 7.7. Avigad, Dean, and Mumma 40 7.8. Heyting and other constructive approaches 41 8. The theory ECG of Euclidean Constructive Geometry 41 8.1. Logic of Partial Terms (LPT) 41 8.2. Replacing LPT and sorts with predicates if desired 43 8.3. Language 44 8.4. Intuitionistic logic and stability 45 8.5. Incidence and intersection axioms 46 8.6. Constructorandaccessoraxioms 47 8.7. Meaning of equality 48 8.8. Betweenness axioms 48 8.9. Sides of a line 51 8.10. Right and Left : handedness and sides of lines 52 8.11. Dimension axioms 54 8.12. Rays and segments 54 8.13. Congruence axioms 55 8.14. Line-circle continuity 56 8.15. Intersections of circles 58 9. Development of neutral geometry in ECG 61 9.1. Why we cannot import negative theorems from Tarski’s theory 62 9.2. Congruence and betweenness lemmas 64 9.3. Ordering of segments 68 9.4. Angles and triangles 70 9.5. Perpendicular lines 74 9.6. Existence of midpoints and perpendiculars 75 9.7. Right angles 76 9.8. Various forms of the Pasch axiom 82 9.9. Inner Pasch implies Outer Pasch and plane separation 84 9.10. The crossbar theorem 85 9.11. Ordering of angles 86 FOUNDATIONS OF EUCLIDEAN CONSTRUCTIVE GEOMETRY 3 9.12. Triangle construction and uniqueness 87 9.13. Euclid Books I, II, and III 92 9.14. Consequencesoftheupperdimensionaxiom 94 9.15. Right and left turns and sides of lines 99 9.16. Definability of IntersectCirclesSame and IntersectCirclesOpp 101 9.17. Rotation and Uniform Reflection 104 9.18. The other intersection point 110 9.19. Defining the order of points on a line 111 10. The parallel postulate 113 10.1. Alternate Interior Angles 113 10.2. Euclid’s parallel postulate 115 10.3. The strong parallel postulate 116 10.4. Playfair’s axiom 118 10.5. Another version of the strong parallel postulate 120 10.6. Coordinates 121 10.7. The strong parallel postulate and stability of IntersectLines 123 10.8. Stability of definedness and ∼= 125 10.9. ECG proves Euclid’s parallel postulate 129 10.10. Variousformsoftheparallelaxiom 131 11. Comparisons of ECG to other formalizations 136 11.1. Comparison of ECG to Hilbert-style theories 136 11.2. Comparison of ECG to Tarski’s theories 136 12. Connections between geometry and Euclidean fields 138 12.1. Signed addition 139 12.2. Signed multiplication 144 12.3. The distributive law 149 12.4. Reciprocals 150 12.5. Interpreting ECG in field theory 151 12.6. Area in Euclid, Hilbert, and ECG 174 12.7. Handedness, cross product, and linear transformations 181 12.8. Interpreting field theory in ECG 192 12.9. Faithfulness of the interpretations 201 13. Classical geometry and constructive geometry compared 219 13.1. The double negation interpretation 219 13.2. The double-negation interpretation applied to ECG 221 14. The relation of ECG toTarski’stheoriesofgeometry 222 14.1. Interpretation of Tarksi’s theory in ECG 225 15. Interpretation of ECG in Hilbert’s and Tarski’s theories 227 15.1. Right and left handedness 227 15.2. Apartness 228 16. Metatheorems 230 16.1. Things proved to exist in ECG canbeconstructed 230 16.2. Disjunction properties 232 17. Independence results for the parallel axioms 233 17.1. Kripke models of ring theory 233 17.2. Euclid 5 does not imply Axiom 58 235 17.3. Playfair does not imply Euclid 5 239 4 MICHAEL BEESON 17.4. Independence of Markov’s principle 240 18. Apartness 240 18.1. Constructions and Apartness 240 18.2. Euclidean fields and apartness 240 18.3. Apartness and the parallel axioms 240 19. Appendix A: Roads not taken 242 19.1. Rigid compass undefinable from the collapsible compass 242 19.2. Rigid compass not definable, even with degenerate circles 244 19.3. Circles of zero radius, the rigid compass, and projection 246 19.4. Constructing the center of a circle 247 20. Appendix B: Possible reductions in the primitive construction mechanisms 248 20.1. TheMohr-Mascheronitheorem 248 20.2. Strommer’s theorem 248 FOUNDATIONS OF EUCLIDEAN CONSTRUCTIVE GEOMETRY 5 §1. Introduction. 1.1. Euclid. Euclid’s geometry, written down about 300 BCE, has been ex- traordinarily influential in the development of mathematics, and prior to the twentieth century was regarded as a paradigmatic example of pure reasoning.1 During those 2300 years, most people thought that Euclid’s theory was about something. What was it about? Some may have answered that it was about points, lines, and planes, and their relationships. Others may have said that it was about methods for constructing points, lines, and planes with certain specified relationships to given points, lines, and planes, for example, construct- ing an equilateral triangle with a given side. In these two answers, we see the viewpoints of pure (classical) mathematics and of algorithmic mathematics rep- resented. Near the end of the nineteenth century, the Italian “Peano school”, and especially Mario Pieri, began to use the “hypothetical-deductive method”, today called the “axiomatic method.” At the same time, and apparently without communication, Hilbert took a similar approach, and published a famous book [15] in the last year of the century. According to the axiomatic method, Euclid’s theories were not about anything at all. Instead of “points, lines, and planes”, one should be able to read “tables, chairs, and beer mugs.” All the reasoning should still be valid. The names of the “entities” were just place holders. That was the viewpoint of twentieth-century axiomatics. In this paper, we re-examine Euclidean geometry from the viewpoint of con- structive mathematics. The phrase “constructive geometry” suggests, on the one hand, that “constructive” refers to geometrical constructions with straightedge and compass. On the other hand, the word “constructive” may suggest the use of intuitionistic logic. We investigate the connections between these two mean- ings of the word. Our method is to keep the focus on the body of mathematics in Euclid’s Elements, and to examine what in Euclid is constructive, in the sense of “constructive mathematics”. Our aim in the first phase of this research was to formulate a suitable formal theory that would be faithful to both the ideas of Euclid and the constructive approach of Errett Bishop. We did achieve this aim, and the resulting theory ECG of “Euclidean constructive geometry” is presented in this paper. In constructive mathematics, if one proves something exists, one has to show how to construct it. In Euclid’s geometry, the means of construction are not arbitrary computer programs, but ruler and compass. Therefore it is natural to look for quantifier-free axioms, with function symbols for the basic ruler-and- compass constructions. The terms of such a theory correspond to ruler-and- compass constructions.
Recommended publications
  • On the Standard Lengths of Angle Bisectors and the Angle Bisector Theorem
    Global Journal of Advanced Research on Classical and Modern Geometries ISSN: 2284-5569, pp.15-27 ON THE STANDARD LENGTHS OF ANGLE BISECTORS AND THE ANGLE BISECTOR THEOREM G.W INDIKA SHAMEERA AMARASINGHE ABSTRACT. In this paper the author unveils several alternative proofs for the standard lengths of Angle Bisectors and Angle Bisector Theorem in any triangle, along with some new useful derivatives of them. 2010 Mathematical Subject Classification: 97G40 Keywords and phrases: Angle Bisector theorem, Parallel lines, Pythagoras Theorem, Similar triangles. 1. INTRODUCTION In this paper the author introduces alternative proofs for the standard length of An- gle Bisectors and the Angle Bisector Theorem in classical Euclidean Plane Geometry, on a concise elementary format while promoting the significance of them by acquainting some prominent generalized side length ratios within any two distinct triangles existed with some certain correlations of their corresponding angles, as new lemmas. Within this paper 8 new alternative proofs are exposed by the author on the angle bisection, 3 new proofs each for the lengths of the Angle Bisectors by various perspectives with also 5 new proofs for the Angle Bisector Theorem. 1.1. The Standard Length of the Angle Bisector Date: 1 February 2012 . 15 G.W Indika Shameera Amarasinghe The length of the angle bisector of a standard triangle such as AD in figure 1.1 is AD2 = AB · AC − BD · DC, or AD2 = bc 1 − (a2/(b + c)2) according to the standard notation of a triangle as it was initially proved by an extension of the angle bisector up to the circumcircle of the triangle.
    [Show full text]
  • Advanced Euclidean Geometry
    Advanced Euclidean Geometry Paul Yiu Summer 2016 Department of Mathematics Florida Atlantic University July 18, 2016 Summer 2016 Contents 1 Some Basic Theorems 101 1.1 The Pythagorean Theorem . ............................ 101 1.2 Constructions of geometric mean . ........................ 104 1.3 The golden ratio . .......................... 106 1.3.1 The regular pentagon . ............................ 106 1.4 Basic construction principles ............................ 108 1.4.1 Perpendicular bisector locus . ....................... 108 1.4.2 Angle bisector locus . ............................ 109 1.4.3 Tangency of circles . ......................... 110 1.4.4 Construction of tangents of a circle . ............... 110 1.5 The intersecting chords theorem ........................... 112 1.6 Ptolemy’s theorem . ................................. 114 2 The laws of sines and cosines 115 2.1 The law of sines . ................................ 115 2.2 The orthocenter ................................... 116 2.3 The law of cosines .................................. 117 2.4 The centroid ..................................... 120 2.5 The angle bisector theorem . ............................ 121 2.5.1 The lengths of the bisectors . ........................ 121 2.6 The circle of Apollonius . ............................ 123 3 The tritangent circles 125 3.1 The incircle ..................................... 125 3.2 Euler’s formula . ................................ 128 3.3 Steiner’s porism ................................... 129 3.4 The excircles ....................................
    [Show full text]
  • 4 3 E B a C F 2
    See-Saw Geometry and the Method of Mass-Points1 Bobby Hanson February 27, 2008 Give me a place to stand on, and I can move the Earth. — Archimedes. 1. Motivating Problems Today we are going to explore a kind of geometry similar to regular Euclidean Geometry, involving points and lines and triangles, etc. The main difference that we will see is that we are going to give mass to the points in our geometry. We will call such a geometry, See-Saw Geometry (we’ll understand why, shortly). Before going into the details of See-Saw Geometry, let’s look at some problems that might be solved using this different geometry. Note that these problems are perfectly solvable using regular Euclidean Geometry, but we will find See-Saw Geometry to be very fast and effective. Problem 1. Below is the triangle △ABC. Side BC is divided by D in a ratio of 5 : 2, and AB is divided by E in a ration of 3 : 4. Find the ratios in which F divides the line segments AD and CE; i.e., find AF : F D and CF : F E. (Note: in Figure 1, below, only the ratios are shown; the actual lengths are unknown). B 3 E 5 4 F D 2 A C Figure 1 1My notes are shamelessly stolen from notes by Tom Rike, of the Berkeley Math Circle available at http://mathcircle.berkeley.edu/archivedocs/2007 2008/lectures/0708lecturespdf/MassPointsBMC07.pdf . 1 2 Problem 2. In Figure 2, below, D and E divide sides BC and AB, respectively, as before.
    [Show full text]
  • Icons of Mathematics an EXPLORATION of TWENTY KEY IMAGES Claudi Alsina and Roger B
    AMS / MAA DOLCIANI MATHEMATICAL EXPOSITIONS VOL 45 Icons of Mathematics AN EXPLORATION OF TWENTY KEY IMAGES Claudi Alsina and Roger B. Nelsen i i “MABK018-FM” — 2011/5/16 — 19:53 — page i — #1 i i 10.1090/dol/045 Icons of Mathematics An Exploration of Twenty Key Images i i i i i i “MABK018-FM” — 2011/5/16 — 19:53 — page ii — #2 i i c 2011 by The Mathematical Association of America (Incorporated) Library of Congress Catalog Card Number 2011923441 Print ISBN 978-0-88385-352-8 Electronic ISBN 978-0-88385-986-5 Printed in the United States of America Current Printing (last digit): 10987654321 i i i i i i “MABK018-FM” — 2011/5/16 — 19:53 — page iii — #3 i i The Dolciani Mathematical Expositions NUMBER FORTY-FIVE Icons of Mathematics An Exploration of Twenty Key Images Claudi Alsina Universitat Politecnica` de Catalunya Roger B. Nelsen Lewis & Clark College Published and Distributed by The Mathematical Association of America i i i i i i “MABK018-FM” — 2011/5/16 — 19:53 — page iv — #4 i i DOLCIANI MATHEMATICAL EXPOSITIONS Committee on Books Frank Farris, Chair Dolciani Mathematical Expositions Editorial Board Underwood Dudley, Editor Jeremy S. Case Rosalie A. Dance Tevian Dray Thomas M. Halverson Patricia B. Humphrey Michael J. McAsey Michael J. Mossinghoff Jonathan Rogness Thomas Q. Sibley i i i i i i “MABK018-FM” — 2011/5/16 — 19:53 — page v — #5 i i The DOLCIANI MATHEMATICAL EXPOSITIONS series of the Mathematical As- sociation of America was established through a generous gift to the Association from Mary P.
    [Show full text]
  • The Postulates of Neutral Geometry Axiom 1 (The Set Postulate). Every
    1 The Postulates of Neutral Geometry Axiom 1 (The Set Postulate). Every line is a set of points, and the collection of all points forms a set P called the plane. Axiom 2 (The Existence Postulate). There exist at least two distinct points. Axiom 3 (The Incidence Postulate). For every pair of distinct points P and Q, there exists exactly one line ` such that both P and Q lie on `. Axiom 4 (The Distance Postulate). For every pair of points P and Q, the distance from P to Q, denoted by P Q, is a nonnegative real number determined uniquely by P and Q. Axiom 5 (The Ruler Postulate). For every line `, there is a bijective function f : ` R with the property that for any two points P, Q `, we have → ∈ P Q = f(Q) f(P ) . | − | Any function with these properties is called a coordinate function for `. Axiom 6 (The Plane Separation Postulate). If ` is a line, the sides of ` are two disjoint, nonempty sets of points whose union is the set of all points not on `. If P and Q are distinct points not on `, then both of the following equivalent conditions are satisfied: (i) P and Q are on the same side of ` if and only if P Q ` = ∅. ∩ (ii) P and Q are on opposite sides of ` if and only if P Q ` = ∅. ∩ 6 Axiom 7 (The Angle Measure Postulate). For every angle ∠ABC, the measure of ∠ABC, denoted by µ∠ABC, isa real number strictly between 0 and 180, determined uniquely by ∠ABC. Axiom 8 (The Protractor Postulate).
    [Show full text]
  • The Steiner-Lehmus Theorem an Honors Thesis
    The Steiner-Lehmus Theorem An Honors ThesIs (ID 499) by BrIan J. Cline Dr. Hubert J. LudwIg Ball State UniverSity Muncie, Indiana July 1989 August 19, 1989 r! A The Steiner-Lehmus Theorem ; '(!;.~ ,", by . \:-- ; Brian J. Cline ProposItion: Any triangle having two equal internal angle bisectors (each measured from a vertex to the opposite sIde) is isosceles. (Steiner-Lehmus Theorem) ·That's easy for· you to say!- These beIng the possible words of a suspicIous mathematicIan after listenIng to some assumIng person state the Steiner-Lehmus Theorem. To be sure, the Steiner-Lehmus Theorem Is ·sImply stated, but notoriously difficult to prove."[ll Its converse, the bIsectors of the base angles of an Isosceles trIangle are equal, Is dated back to the tIme of EuclId and is easy to prove. The Steiner-Lehmus Theorem appears as if a proof would be simple, but it is defInItely not.[2l The proposition was sent by C. L. Lehmus to the Swiss-German geometry genIus Jacob SteIner in 1840 with a request for a pure geometrIcal proof. The proof that Steiner gave was fairly complex. Consequently, many inspIred people began searchIng for easier methods. Papers on the Steiner-Lehmus Theorem were prInted in various Journals in 1842, 1844, 1848, almost every year from 1854 untIl 1864, and as a frequent occurence during the next hundred years.[Sl In terms of fame, Lehmus dId not receive nearly as much as SteIner. In fact, the only tIme the name Lehmus Is mentIoned In the lIterature Is when the title of the theorem is gIven. HIs name would have been completely forgotten if he had not sent the theorem to Steiner.
    [Show full text]
  • The Calculus: a Genetic Approach / Otto Toeplitz ; with a New Foreword by David M
    THE CALCULUS THE CALCULUS A Genetic Approach OTTO TOEPLITZ New Foreword by David Bressoud Published in Association with the Mathematical Association of America The University of Chicago Press Chicago · London The present book is a translation, edited after the author's death by Gottfried Kothe and translated into English by LuiseLange. The German edition, DieEntwicklungder Infinitesimalrechnung,was published by Springer-Verlag. The University of Chicago Press,Chicago 60637 The University of Chicago Press,ltd., London © 1963 by The University of Chicago Foreword © 2007 by The University of Chicago All rights reserved. Published 2007 Printed in the United States of America 16 15 14 13 12 11 10 09 08 07 2 3 4 5 ISBN-13: 978-0-226-80668-6 (paper) ISBN-10: 0-226-80668-5 (paper) Library of Congress Cataloging-in-Publication Data Toeplitz, Otto, 1881-1940. [Entwicklung der Infinitesimalrechnung. English] The calculus: a genetic approach / Otto Toeplitz ; with a new foreword by David M. Bressoud. p. cm. Includes bibliographical references and index. ISBN-13: 978-0-226-80668-6 (pbk. : alk. paper) ISBN-10: 0-226-80668-5 (pbk. : alk. paper) 1. Calculus. 2. Processes, Infinite. I. Title. QA303.T64152007 515-dc22 2006034201 § The paper used in this publication meets the minimum requirements of the American National Standard for Information Sciences-Permanence of Paper for Printed Library Materials, ANSI Z39.48-1992. FOREWORDTO THECALCULUS: A GENETICAPPROACHBYOTTO TOEPLITZ September 30, 2006 Otto Toeplitz is best known for his contributions to mathematics, but he was also an avid student of its history. He understood how useful this history could be in in­ forming and shaping the pedagogy of mathematics.
    [Show full text]
  • View This Volume's Front and Back Matter
    Continuou s Symmetr y Fro m Eucli d to Klei n This page intentionally left blank http://dx.doi.org/10.1090/mbk/047 Continuou s Symmetr y Fro m Eucli d to Klei n Willia m Barke r Roge r How e >AMS AMERICAN MATHEMATICA L SOCIET Y Freehand® i s a registere d trademar k o f Adob e System s Incorporate d in th e Unite d State s and/o r othe r countries . Mathematica® i s a registere d trademar k o f Wolfra m Research , Inc . 2000 Mathematics Subject Classification. Primar y 51-01 , 20-01 . For additiona l informatio n an d update s o n thi s book , visi t www.ams.org/bookpages/mbk-47 Library o f Congres s Cataloging-in-Publicatio n Dat a Barker, William . Continuous symmetr y : fro m Eucli d t o Klei n / Willia m Barker , Roge r Howe . p. cm . Includes bibliographica l reference s an d index . ISBN-13: 978-0-8218-3900- 3 (alk . paper ) ISBN-10: 0-8218-3900- 4 (alk . paper ) 1. Geometry, Plane . 2 . Group theory . 3 . Symmetry groups . I . Howe , Roger , 1945 - QA455.H84 200 7 516.22—dc22 200706079 5 Copying an d reprinting . Individua l reader s o f thi s publication , an d nonprofi t librarie s acting fo r them , ar e permitted t o mak e fai r us e o f the material , suc h a s to cop y a chapter fo r us e in teachin g o r research .
    [Show full text]
  • Exploring Euclidean Geometry
    Dennis Chen’s Exploring Euclidean Geometry A S I B C D E T M X IA Dennis Chen Last updated August 8, 2020 Exploring Euclidean Geometry V2 Dennis Chen August 8, 2020 1 Introduction This is a preview of Exploring Euclidean Geometry V2. It contains the first five chapters, which constitute the entirety of the first part. This should be a good introduction for those training for computational geometry questions. This book may be somewhat rough on beginners, so I do recommend using some slower-paced books as a supplement, but I believe the explanations should be concise and clear enough to understand. In particular, a lot of other texts have unnecessarily long proofs for basic theorems, while this book will try to prove it as clearly and succintly as possible. There aren’t a ton of worked examples in this section, but the check-ins should suffice since they’re just direct applications of the material. Contents A The Basics3 1 Triangle Centers 4 1.1 Incenter................................................4 1.2 Centroid................................................5 1.3 Circumcenter.............................................6 1.4 Orthocenter..............................................7 1.5 Summary...............................................7 1.5.1 Theory............................................7 1.5.2 Tips and Strategies......................................8 1.6 Exercises...............................................9 1.6.1 Check-ins...........................................9 1.6.2 Problems...........................................9
    [Show full text]
  • |||GET||| Geometry Theorems and Constructions 1St Edition
    GEOMETRY THEOREMS AND CONSTRUCTIONS 1ST EDITION DOWNLOAD FREE Allan Berele | 9780130871213 | | | | | Geometry: Theorems and Constructions For readers pursuing a career in mathematics. Angle bisector theorem Exterior angle theorem Euclidean algorithm Euclid's theorem Geometric mean theorem Greek geometric algebra Hinge theorem Inscribed Geometry Theorems and Constructions 1st edition theorem Intercept theorem Pons asinorum Pythagorean theorem Thales's theorem Theorem of the gnomon. Then the 'construction' or 'machinery' follows. For example, propositions I. The Triangulation Lemma. Pythagoras c. More than editions of the Elements are known. Euclidean geometryelementary number theoryincommensurable lines. The Mathematical Intelligencer. A History of Mathematics Second ed. The success of the Elements is due primarily to its logical presentation of most of the mathematical knowledge available to Euclid. Arcs and Angles. Applies and reinforces the ideas in the geometric theory. Scholars believe that the Elements is largely a compilation of propositions based on books by earlier Greek mathematicians. Enscribed Circles. Return for free! Description College Geometry offers readers a deep understanding of the basic results in plane geometry and how they are used. The books cover plane and solid Euclidean geometryelementary number theoryand incommensurable lines. Cyrene Library of Alexandria Platonic Academy. You can find lots of answers to common customer questions in our FAQs View a detailed breakdown of our shipping prices Learn about our return policy Still need help? View a detailed breakdown of our shipping prices. Then, the 'proof' itself follows. Distance between Parallel Lines. By careful analysis of the translations and originals, hypotheses have been made about the contents of the original text copies of which are no longer available.
    [Show full text]
  • New Editor-In-Chief for CRUX with MAYHEM
    1 New Editor-in-Chief for CRUX with MAYHEM We happily herald Shawn Godin of Cairine Wilson Secondary School, Orleans, ON, Canada as the next Editor-in-Chief of Crux Mathematicorum with Mathematical Mayhem effective 21 March 2011. With this issue Shawn takes the reins, and though some of you know Shawn as a former Mayhem Editor let me provide some further background. Shawn grew up outside the small town of Massey in Northern On- tario. He obtained his B. Math from the University of Waterloo in 1987. After a few years trying to decide what to do with his life Shawn returned to school obtaining his B.Ed. in 1991. Shawn taught at St. Joseph Scollard Hall S.S. in North Bay from 1991 to 1998. During this time he married his wife Julie, and his two sons Samuel and Simon were born. In the summer of 1998 he moved with his family to Orleans where he has taught at Cairine Wilson S.S. ever since (with a three year term at the board office as a consultant). He also managed to go back to school part time and earn an M.Sc. in mathematics from Carleton University in 2002. Shawn has been involved in many mathematical activities. In 1998 he co-chaired the provincial mathematics education conference. He has been involved with textbook companies developing material for teacher resources and the web as well as writing a few chapters for a grade 11 textbook. He has developed materials for teachers and students for his school board, as well as the provincial ministry of education.
    [Show full text]
  • Introduction to Geometry" ©2014 Aops Inc
    Excerpt from "Introduction to Geometry" ©2014 AoPS Inc. www.artofproblemsolving.com INDEX Index , 231 Angle-Angle-Side Congruence Theorem, 61 , \, 13 angle-chasing, 29 ⇡, 285 Angle-Side-Angle Congruence Theorem, 61 3-D Geometry, 356–407 angles, 13–48 30-60-90 triangle, 144 acute, 18 45-45-90 triangle, 142 adjacent, 19 alternate exterior, 27 AA Similarity, 101 alternate interior, 27 proof of, 119 between a tangent and a chord, 319 AAS Congruence, 61 between a tangent and a secant, 320 acute, 18 between two chords, 312 adjacent angles, 19 between two secants, 313 alternate exterior angles, 27 central, 286 alternate interior angles, 27 complementary, 22 altitudes, foot of, 86 corresponding, 27 AMC, vii dihedral, 359 American Mathematics Competitions, see AMC exterior, 36 American Regions Math League, see ARML inscribed, 304–310, 320 analytic geometry, 435–477 interior, 36 angle bisector, 171 reflex, 19 Angle Bisector Theorem, 181, 201 remote interior, 37 angle of depression, 502 right, 17 angle of elevation, 502 same-side exterior, 27 Angle-Angle Similarity, 101 same-side interior, 27 proof of, 119 552 Copyrighted Material Excerpt from "Introduction to Geometry" ©2014 AoPS Inc. www.artofproblemsolving.com INDEX straight, 21 congruent, 49 supplementary, 22 conjecture, 10 trisection, 338 construction, 7 vertical, 23 angle bisector, 197 Annairizi of Arabia, 162 copy an angle, 121 apex, 366 equilateral triangle, 72 apothem, 252 parallel lines, 121 arc, 6, 284 perpendicular bisector, 73 Archimedes, 289, 293, 407 perpendicular lines, 161 area,
    [Show full text]