DOCSLIB.ORG

Gauss and the Definition of the Plane Concept in Euclidean Elementary

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Gauss and the Definition of the Plane Concept in Euclidean Elementary HISTORIA MATHEMATICA 23 (1996), 418±436 ARTICLE NO. 0040 Gauss and the De®nition of the Plane Concept in Euclidean Elementary Geometry KONSTANTINA ZORMBALA View metadata, citation and similar papers at core.ac.uk brought to you by CORE Skyrow 49ÐKipseli, 113 63 Athens, Greece provided by Elsevier - Publisher Connector On July 28, 1797, Gauss wrote in his diary: ``Plani possibilitatem demostravi'' [``I have proved the possibility of the plane'']. On January 27, 1829, in a letter to Bessel, he was skeptical about a de®nition of the plane in Euclidean geometry according to which the plane is a surface having the property that the connecting line of two of its points lies on it. He voiced the same criticism of this de®nition some years later in a letter to Wolfgang Bolyai dated March 6, 1832. In his Nachlaû, a note was found with the title ``Zur BegruÈ ndung des Planum'' [``On the Founding of the Plane'']. All his letters and notes on this topic became known only after Gauss's Nachlaû had been published, and they have not yet been discussed in their totality. Here, I present and thoroughly discuss all the letters and notes in which Gauss struggled with the concept of the plane, especially with his own de®nition of the latter within Euclidean elementary geometry. 1996 Academic Press, Inc. Am 28. Juli 1797 trug Gauû in seinem Tagebuch ein: ``Plani possibilitatem demonstravi'' [ich habe die MoÈ glichkeit der Ebene bewiesen]. Am 27. Januar 1829 aÈuûerte er in einem Brief an Bessel Bedenken gegenuÈ ber einer De®nition der Ebene in der euklidischen Geometrie, nach der die Ebene eine FlaÈche ist, die die Eigenschaft hat, daû die Verbindungsgerade je zwei ihrer Punkten auf ihrer liegt. Dieselbe Kritik an diese De®nition uÈ bte er einige Jahre spaÈter, am 6. MaÈrz 1832, in einem Brief an Wolfgang Bolyai. In seinem Nachlaû ®ndet sich eine Notiz unter dem Titel ``Zur BegruÈ ndung des Planum.'' Alle Briefe und Notizen zu diesem Thema wurden erst nach der VeroÈ ffentlichung des Gausschen Nachlasses bekannt, und wurden bis heute in ihren Gesamtheit nicht diskutiert. Der vorliegende Aufsatz moÈ chte alle diese Briefe und Notizen, in denen sich Gauû mit dem Begriff der Ebene bzw. mit seiner De®nition derselben in der euklidischen Elementargeometrie auseinandersetzte, darstellen und einge- hend diskutieren. 1996 Academic Press, Inc. Sti§ 28 IoyliÂoy 1797 she«iÂgn«oGauû sto he«%olo cio toy: ''Plani possibilitatem demostravi`` (af«Â d«ija thn dynatoÂthta toy «fif«Â doy). Sti§ 27 Ianoya%iÂoy 1829 s««Âna c%aÂeea toystoBessel «Â kw%az««fiwyla j«i§ af«Ânanti s««Ânao%iseo toy «fif«Â doy sthn «ykl«iÂdiac«ge«t%iÂa, sy ewgnae«tonofoiÂoto«fiÂf«do«iÂnaieia«fiwaÂn«ia, foy «Â x«ithn idio thta, h «yq«iÂa, foysynd«Â«idyoofoiadhÂfot«she«iÂaayth §th§ «fiwa n«ia§ na k«iÂtai «z' oloklh %oys«ayth thn «fiwa n«ia. Thn iÂdia k%itikh af«Â nanti s' ayto ton o%iseo a skhs« e«%ika x%o niaa%coÂt«%a,sti§ 6 Ma%tiÂoy 1832, s««Âna c%aÂeea toystoWolfgang Bolyai. Sto a%x«iÂo toy Gauû b%«Â qhk« eia she«iÂgsh e« `` ton tiÂtlo ''Zur BegruÈ ndung des Planum (Gia thn q«e«liÂgsh toy «fif«Â doy). `Ola ta c%a eeata kai oishe«igÂs«i§ s' ayto to q«Â ea «cinan cngsta e«ta thn dheosi«yoh toy a%x«iÂoytoyGauû kai d«n «Â xoyn syzhthq«i sto syno lo toy§ e«Â x%i ti§ e«Â %«§ ea§.Hfa%oyÂsa «%casiÂa qafa%oysia s«ikaiqasyzhth s«itac%aÂeeata kaiti§ she«iÂgs«i§, sti§ ofoi«§ o Gauû «Â %x«tai antie«Â tgfo§ e« thn «Â nnoia toy «fif«Â doy, kaisyck«k%ie«Ânae«tono%iseo toysthn «ykl«iÂdia stoix«ig dh c«ge«t%iÂa. 1996 Academic Press, Inc. MSC 1991 subject classi®cations: 01A55 51-03. KEY WORDS: Gauss, Euclid, plane, Euclidean elementary geometry, Pasch, axiomatics. 418 0315-0860/96 $18.00 Copyright 1996 by Academic Press, Inc. All rights of reproduction in any form reserved. HM 23 GAUSS AND THE DEFINITION OF THE PLANE CONCEPT 419 INTRODUCTION . ist darunter ein Gegenstand, der nicht minder unvollkommen, obschon gewiû nicht minder ein¯uûreich auf alles UÈ brige sein duÈ rfte, als irgend ein anderer: ja, der selbst noch unvollkom- mener, obgleich eben so wichtig ist, als die Parallelen-Theorie. Dieser Gegenstand ist die Theorie der Ebene. August Crelle 1834 to the Berlin Academy The ideas developed by Gauss (1777±1855) penetrated almost all ®elds of contem- porary mathematics and provided impulses toward their further development. I brie¯y review some of Gauss's contributions. In 1796, he solved an age-old geometric problem, the construction of the regular 17-gon with straightedge and compass. In 1799, he provided a ®rst proof of the fundamental theorem of algebra, a task at which d'Alembert (1717±1783), Lagrange (1736±1813), and Euler (1707±1783) had tried and failed. Further studies on higher mathematics and the publication of his Disquisitiones arithmeticae (1801) followed. In 1801, he developed a new method for determining the orbit of a newly discovered planet. In 1821, Gauss tackled problems of differential geometry and published the results of this work in 1828 in his Disquisitiones generales circa super®cies curvas [General Studies Concerning Curved Surfaces]. At this time, he was already convinced that Euclid's parallel postulate could not be proved and that another, non-Euclidean geometry was mathematically possible. Discovering non-Euclidean geometry was a breakthrough which in¯uenced the development of not only mathematics but also science as a whole. Historians have located Gauss's contribution to foundational questions of geometry mainly in non-Euclidean geometry. The editor of his Nachlaû, Paul StaÈckel, thus states: ``If the studies are mentioned which Gauss undertook with regard to the foundations of geometry, the discovery of non-Euclidean geometry is the ®rst thing which comes to mind. Gauss, however, did not con®ne himself to the parallel axiom; rather, he dealt with a number of questions which today would be assigned to axiomatics as well'' [24, 63]. Even as a student at the University of GoÈ ttingen (1792±1798), Gauss tackled the geometric concepts which are fundamental for Euclidean geometry. How to explain the concept of the straight line was the topic Gauss and his fellow student and later close friend, Wolfgang Bolyai (1775±1865), discussed in 1796 on the occasion of their ®rst walk. As Johann Bolyai later said, Gauss responded to his father's proposi- tions: ``Yes the straight line is indeed treated perversely; it is indeed the line which turns on itself'' [24, 64]. As one of his students, H. B. LuÈ bsen reported [20, 11], while lecturing on astronomy at GoÈ ttingen, Gauss himself had used this very de®nition in introducing the straight line. The Euclidean de®nition of the straight line was considered to be inappropriate for the treatment of geometry, and other de®nitions had been proposed. In his Elements (about 300 B.C.), Euclid de®ned the straight line as the line ``which lies evenly with the points on itself'' [3, 153]. First, from the perspective of the deductive method according to which Euclid structured his own geometry, this de®nition was not precise enough: it referred to a property of ``evenness'' which was not explained beforehand. Second, Euclid nowhere used this de®nition in his Elements, for in- 420 KONSTANTINA ZORMBALA HM 23 stance, in order to prove the properties of the straight line. This challenges its role as a de®nition. Since antiquity, there have been attempts to clarify the imprecise Euclidean account of the straight line and to replace it by a more suitable one. Gauss's alternative to the Euclidean view is similar to a presentation proposed by Heron of Alexandria (about A.D. 62), Proclus (410±485), Leibniz (1646±1716), and Girolamo Saccheri (1667±1733) [3, 168]. Gauss turned his critical eye not only to this disputed geometric concept but also to other geometrical concepts which, though much used, had never been explained properly. In 1832, he spoke of that ``part of a plane which is situated between three straight lines ab, cd, ef,'' noting, ``[s]uch terms like `between' must ®rst be reduced to clear concepts, which is easily done, but which I ®nd achieved nowhere'' [5, 222]. The issue raised here is the unsatisfactory description of the concept ``between'' for coplanar straight lines. In other texts, Gauss noted a similar situation regarding the concept of plane itself. In 1829, he wrote: ``It is curious that, besides the well- known gap in Euclid's geometry which people hitherto have vainly attempted to close, there is yet another de®cit in the latter, which to my knowledge nobody has as yet criticized, and which is by no means easy (although possible) to remedy. It is the de®nition of the plane . .'' [6, 226]. Gauss left behind an important number of letters and unpublished notes. Some of them contain critical remarks concerning a certain de®nition of the plane in elementary Euclidean geometry. In this paper, I discuss these letters and notes. The reconstruction is based on the following sources: July 28, 1797 Note in his diary November 5, 1825 Letter to Gerling January 27, 1829 Letter to Bessel 1829 Note ``Euclid's Theorem I,7''1 March 6, 1832 Letter to W. Bolyai 1832 Note ``BegruÈ ndung des Planum'' [Foundation of the Plane] Most of these letters and notes are contained in volume 8 of Gauss's Werke, edited by Paul StaÈckel in 1900.
Load more

Recommended publications
  • Kernelization of the Subset General Position Problem in Geometry Jean-Daniel Boissonnat, Kunal Dutta, Arijit Ghosh, Sudeshna Kolay
    Kernelization of the Subset General Position problem in Geometry Jean-Daniel Boissonnat, Kunal Dutta, Arijit Ghosh, Sudeshna Kolay To cite this version: Jean-Daniel Boissonnat, Kunal Dutta, Arijit Ghosh, Sudeshna Kolay. Kernelization of the Subset General Position problem in Geometry. MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Alborg, Denmark. 10.4230/LIPIcs.MFCS.2017.25. hal-01583101 HAL Id: hal-01583101 https://hal.inria.fr/hal-01583101 Submitted on 6 Sep 2017 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. Kernelization of the Subset General Position problem in Geometry Jean-Daniel Boissonnat1, Kunal Dutta1, Arijit Ghosh2, and Sudeshna Kolay3 1 INRIA Sophia Antipolis - Méditerranée, France 2 Indian Statistical Institute, Kolkata, India 3 Eindhoven University of Technology, Netherlands. Abstract In this paper, we consider variants of the Geometric Subset General Position problem. In defining this problem, a geometric subsystem is specified, like a subsystem of lines, hyperplanes or spheres. The input of the problem is a set of n points in Rd and a positive integer k. The objective is to find a subset of at least k input points such that this subset is in general position with respect to the specified subsystem.
    [Show full text]
  • Homology Stratifications and Intersection Homology 1 Introduction
    ISSN 1464-8997 (on line) 1464-8989 (printed) 455 Geometry & Topology Monographs Volume 2: Proceedings of the Kirbyfest Pages 455–472 Homology stratifications and intersection homology Colin Rourke Brian Sanderson Abstract A homology stratification is a filtered space with local ho- mology groups constant on strata. Despite being used by Goresky and MacPherson [3] in their proof of topological invariance of intersection ho- mology, homology stratifications do not appear to have been studied in any detail and their properties remain obscure. Here we use them to present a simplified version of the Goresky–MacPherson proof valid for PL spaces, and we ask a number of questions. The proof uses a new technique, homology general position, which sheds light on the (open) problem of defining generalised intersection homology. AMS Classification 55N33, 57Q25, 57Q65; 18G35, 18G60, 54E20, 55N10, 57N80, 57P05 Keywords Permutation homology, intersection homology, homology stratification, homology general position Rob Kirby has been a great source of encouragement. His help in founding the new electronic journal Geometry & Topology has been invaluable. It is a great pleasure to dedicate this paper to him. 1 Introduction Homology stratifications are filtered spaces with local homology groups constant on strata; they include stratified sets as special cases. Despite being used by Goresky and MacPherson [3] in their proof of topological invariance of intersec- tion homology, they do not appear to have been studied in any detail and their properties remain obscure. It is the purpose of this paper is to publicise these neglected but powerful tools. The main result is that the intersection homology groups of a PL homology stratification are given by singular cycles meeting the strata with appropriate dimension restrictions.
    [Show full text]
  • Interpolation
    Current Developments in Algebraic Geometry MSRI Publications Volume 59, 2011 Interpolation JOE HARRIS This is an overview of interpolation problems: when, and how, do zero- dimensional schemes in projective space fail to impose independent conditions on hypersurfaces? 1. The interpolation problem 165 2. Reduced schemes 167 3. Fat points 170 4. Recasting the problem 174 References 175 1. The interpolation problem We give an overview of the exciting class of problems in algebraic geometry known as interpolation problems: basically, when points (or more generally zero-dimensional schemes) in projective space may fail to impose independent conditions on polynomials of a given degree, and by how much. We work over an arbitrary field K . Our starting point is this elementary theorem: Theorem 1.1. Given any z1;::: zdC1 2 K and a1;::: adC1 2 K , there is a unique f 2 K TzU of degree at most d such that f .zi / D ai ; i D 1;:::; d C 1: More generally: Theorem 1.2. Given any z1;:::; zk 2 K , natural numbers m1;:::; mk 2 N with P mi D d C 1, and ai; j 2 K; 1 ≤ i ≤ kI 0 ≤ j ≤ mi − 1; there is a unique f 2 K TzU of degree at most d such that . j/ f .zi / D ai; j for all i; j: The problem we’ll address here is simple: What can we say along the same lines for polynomials in several variables? 165 166 JOE HARRIS First, introduce some language/notation. The “starting point” statement Theorem 1.1 says that the evaluation map 0 ! L H .ᏻP1 .d// K pi is surjective; or, equivalently, 1 D h .Ᏽfp1;:::;peg.d// 0 1 for any distinct points p1;:::; pe 2 P whenever e ≤ d C 1.
    [Show full text]
  • Classical Algebraic Geometry
    CLASSICAL ALGEBRAIC GEOMETRY Daniel Plaumann Universität Konstanz Summer A brief inaccurate history of algebraic geometry - Projective geometry. Emergence of ’analytic’geometry with cartesian coordinates, as opposed to ’synthetic’(axiomatic) geometry in the style of Euclid. (Celebrities: Plücker, Hesse, Cayley) - Complex analytic geometry. Powerful new tools for the study of geo- metric problems over C.(Celebrities: Abel, Jacobi, Riemann) - Classical school. Perfected the use of existing tools without any ’dog- matic’approach. (Celebrities: Castelnuovo, Segre, Severi, M. Noether) - Algebraization. Development of modern algebraic foundations (’com- mutative ring theory’) for algebraic geometry. (Celebrities: Hilbert, E. Noether, Zariski) from Modern algebraic geometry. All-encompassing abstract frameworks (schemes, stacks), greatly widening the scope of algebraic geometry. (Celebrities: Weil, Serre, Grothendieck, Deligne, Mumford) from Computational algebraic geometry Symbolic computation and dis- crete methods, many new applications. (Celebrities: Buchberger) Literature Primary source [Ha] J. Harris, Algebraic Geometry: A first course. Springer GTM () Classical algebraic geometry [BCGB] M. C. Beltrametti, E. Carletti, D. Gallarati, G. Monti Bragadin. Lectures on Curves, Sur- faces and Projective Varieties. A classical view of algebraic geometry. EMS Textbooks (translated from Italian) () [Do] I. Dolgachev. Classical Algebraic Geometry. A modern view. Cambridge UP () Algorithmic algebraic geometry [CLO] D. Cox, J. Little, D.
    [Show full text]
  • Geometry of Algebraic Curves
    Geometry of Algebraic Curves Fall 2011 Course taught by Joe Harris Notes by Atanas Atanasov One Oxford Street, Cambridge, MA 02138 E-mail address: [email protected] Contents Lecture 1. September 2, 2011 6 Lecture 2. September 7, 2011 10 2.1. Riemann surfaces associated to a polynomial 10 2.2. The degree of KX and Riemann-Hurwitz 13 2.3. Maps into projective space 15 2.4. An amusing fact 16 Lecture 3. September 9, 2011 17 3.1. Embedding Riemann surfaces in projective space 17 3.2. Geometric Riemann-Roch 17 3.3. Adjunction 18 Lecture 4. September 12, 2011 21 4.1. A change of viewpoint 21 4.2. The Brill-Noether problem 21 Lecture 5. September 16, 2011 25 5.1. Remark on a homework problem 25 5.2. Abel's Theorem 25 5.3. Examples and applications 27 Lecture 6. September 21, 2011 30 6.1. The canonical divisor on a smooth plane curve 30 6.2. More general divisors on smooth plane curves 31 6.3. The canonical divisor on a nodal plane curve 32 6.4. More general divisors on nodal plane curves 33 Lecture 7. September 23, 2011 35 7.1. More on divisors 35 7.2. Riemann-Roch, finally 36 7.3. Fun applications 37 7.4. Sheaf cohomology 37 Lecture 8. September 28, 2011 40 8.1. Examples of low genus 40 8.2. Hyperelliptic curves 40 8.3. Low genus examples 42 Lecture 9. September 30, 2011 44 9.1. Automorphisms of genus 0 an 1 curves 44 9.2.
    [Show full text]
  • From Abraham De Moivre to Johann Carl Friedrich Gauss
    International Journal of Engineering Science Invention (IJESI) ISSN (Online): 2319 – 6734, ISSN (Print): 2319 – 6726 www.ijesi.org ||Volume 7 Issue 6 Ver V || June 2018 || PP 28-34 A Brief Historical Overview Of the Gaussian Curve: From Abraham De Moivre to Johann Carl Friedrich Gauss Edel Alexandre Silva Pontes1 1Department of Mathematics, Federal Institute of Alagoas, Brazil Abstract : If there were only one law of probability to be known, this would be the Gaussian distribution. Faced with this uneasiness, this article intends to discuss about this distribution associated with its graph called the Gaussian curve. Due to the scarcity of texts in the area and the great demand of students and researchers for more information about this distribution, this article aimed to present a material on the history of the Gaussian curve and its relations. In the eighteenth and nineteenth centuries, there were several mathematicians who developed research on the curve, including Abraham de Moivre, Pierre Simon Laplace, Adrien-Marie Legendre, Francis Galton and Johann Carl Friedrich Gauss. Some researchers refer to the Gaussian curve as the "curve of nature itself" because of its versatility and inherent nature in almost everything we find. Virtually all probability distributions were somehow part or originated from the Gaussian distribution. We believe that the work described, the study of the Gaussian curve, its history and applications, is a valuable contribution to the students and researchers of the different areas of science, due to the lack of more detailed research on the subject. Keywords - History of Mathematics, Distribution of Probabilities, Gaussian Curve. ----------------------------------------------------------------------------------------------------------------------------- --------- Date of Submission: 09-06-2018 Date of acceptance: 25-06-2018 ----------------------------------------------------------------------------------------------------------------------------- ---------- I.
    [Show full text]
  • Bertini Type Theorems 3
    BERTINI TYPE THEOREMS JING ZHANG Abstract. Let X be a smooth irreducible projective variety of dimension at least 2 over an algebraically closed field of characteristic 0 in the projective space Pn. Bertini’s Theorem states that a general hyperplane H intersects X with an irreducible smooth subvariety of X. However, the precise location of the smooth hyperplane section is not known. We show that for any q ≤ n + 1 closed points in general position and any degree a > 1, a general hypersurface H of degree a passing through these q points intersects X with an irreducible smooth codimension 1 subvariety on X. We also consider linear system of ample divisors and give precise location of smooth elements in the system. Similar result can be obtained for compact complex manifolds with holomorphic maps into projective spaces. 2000 Mathematics Subject Classification: 14C20, 14J10, 14J70, 32C15, 32C25. 1. Introduction Bertini’s two fundamental theorems concern the irreducibility and smoothness of the general hyperplane section of a smooth projective variety and a general member of a linear system of divisors. The hyperplane version of Bertini’s theorems says that if X is a smooth irreducible projective variety of dimension at least 2 over an algebraically closed field k of characteristic 0, then a general hyperplane H intersects X with a smooth irreducible subvariety of codimension 1 on X. But we do not know the exact location of the smooth hyperplane sections. Let F be an effective divisor on X. We say that F is a fixed component of linear system |D| of a divisor D if E > F for all E ∈|D|.
    [Show full text]
  • Carl Friedrich Gauss Seminarski Rad
    SREDNJA ŠKOLA AMBROZA HARAČIĆA PODRUČNI ODJEL CRES CARL FRIEDRICH GAUSS SEMINARSKI RAD Cres, 2014. SREDNJA ŠKOLA AMBROZA HARAČIĆA PODRUČNI ODJEL CRES CARL FRIEDRICH GAUSS SEMINARSKI RAD Učenice: Marina Kučica Giulia Muškardin Brigita Novosel Razred: 3.g. Mentorica: prof. Melita Chiole Predmet: Matematika Cres, ožujak 2014. II Sadržaj 1. UVOD .................................................................................................................................... 1 2. DJETINJSTVO I ŠKOLOVANJE ......................................................................................... 2 3. PRIVATNI ŽIVOT ................................................................................................................ 5 4. GAUSSOV RAD ................................................................................................................... 6 4.1. Prvi znanstveni rad .......................................................................................................... 6 4.2. Teorija brojeva ................................................................................................................ 8 4.3. Geodezija ......................................................................................................................... 9 4.4. Fizika ............................................................................................................................. 11 4.5. Astronomija ................................................................................................................... 12 4.6. Religija
    [Show full text]
  • 2 a Revolutionary Science
    2 A Revolutionary Science When the Parisian crowds stormed the Bastille fortress and prison on 14 July 1789, they set in motion a train of events that revolutionized European political culture. To many contem- porary commentators and observers of the French Revolution, it seemed that the growing disenchantment with the absolutist regime of Louis XVI had been fostered in part by a particular kind of philosophy. French philosophes condemning the iniqui- ties of the ancien regime´ drew parallels between the organization of society and the organization of nature. Like many other En- lightenment thinkers, they took it for granted that science, or natural philosophy,could be used as a tool to understand society as well as nature. They argued that the laws of nature showed how unjust and unnatural the government of France really was. It also seemed, to some at least, that the French Revolution pro- vided an opportunity to galvanize science as well as society. The new French Republic was a tabula rasa on which the reform- ers could write what they liked. They could refound society on philosophical principles, making sure this time around that the organization of society really did mirror the organization of nature. Refounding the social and intellectual structures of sci- ence itself was to be part of this process. In many ways, therefore, the storming of the Bastille led to a revolution in science as well. To many in this new generation of radical French natu- ral philosophers, mathematics seemed to provide the key to 22 A Revolutionary Science 23 understanding nature. This was nothing new in itself, of course.
    [Show full text]
  • Newton's Notebook
    Newton’s Notebook The Haverford School’s Math & Applied Math Journal Issue I Spring 2017 The Haverford School Newton’s Notebook Spring 2017 “To explain all nature is too difficult a task for any one man or even for any one age. ‘Tis much better to do a little with certainty & leave the rest for others that come after you.” ~Isaac Newton Table of Contents Pure Mathematics: 7 The Golden Ratio.........................................................................................Robert Chen 8 Fermat’s Last Theorem.........................................................................Michael Fairorth 9 Math in Coding............................................................................................Bram Schork 10 The Pythagoreans.........................................................................................Eusha Hasan 12 Transfinite Numbers.................................................................................Caleb Clothier 15 Sphere Equality................................................................................Matthew Baumholtz 16 Interesting Series.......................................................................................Aditya Sardesi 19 Indirect Proofs..............................................................................................Mr. Patrylak Applied Mathematics: 23 Physics in Finance....................................................................................Caleb Clothier 26 The von Bertalanffy Equation..................................................................Will
    [Show full text]
  • The Astronomical Work of Carl Friedrich Gauss
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector HISTORIA MATHEMATICA 5 (1978), 167-181 THE ASTRONOMICALWORK OF CARL FRIEDRICH GAUSS(17774855) BY ERIC G, FORBES, UNIVERSITY OF EDINBURGH, EDINBURGH EH8 9JY This paper was presented on 3 June 1977 at the Royal Society of Canada's Gauss Symposium at the Ontario Science Centre in Toronto [lj. SUMMARIES Gauss's interest in astronomy dates from his student-days in Gattingen, and was stimulated by his reading of Franz Xavier von Zach's Monatliche Correspondenz... where he first read about Giuseppe Piazzi's discovery of the minor planet Ceres on 1 January 1801. He quickly produced a theory of orbital motion which enabled that faint star-like object to be rediscovered by von Zach and others after it emerged from the rays of the Sun. Von Zach continued to supply him with the observations of contemporary European astronomers from which he was able to improve his theory to such an extent that he could detect the effects of planetary perturbations in distorting the orbit from an elliptical form. To cope with the complexities which these introduced into the calculations of Ceres and more especially the other minor planet Pallas, discovered by Wilhelm Olbers in 1802, Gauss developed a new and more rigorous numerical approach by making use of his mathematical theory of interpolation and his method of least-squares analysis, which was embodied in his famous Theoria motus of 1809. His laborious researches on the theory of Pallas's motion, in whi::h he enlisted the help of several former students, provided the framework of a new mathematical formu- lation of the problem whose solution can now be easily effected thanks to modern computational techniques.
    [Show full text]
  • Equations for Point Configurations to Lie on a Rational Normal Curve
    EQUATIONS FOR POINT CONFIGURATIONS TO LIE ON A RATIONAL NORMAL CURVE ALESSIO CAMINATA, NOAH GIANSIRACUSA, HAN-BOM MOON, AND LUCA SCHAFFLER Abstract. The parameter space of n ordered points in projective d-space that lie on a ra- tional normal curve admits a natural compactification by taking the Zariski closure in (Pd)n. The resulting variety was used to study the birational geometry of the moduli space M0;n of n-tuples of points in P1. In this paper we turn to a more classical question, first asked independently by both Speyer and Sturmfels: what are the defining equations? For conics, namely d = 2, we find scheme-theoretic equations revealing a determinantal structure and use this to prove some geometric properties; moreover, determining which subsets of these equations suffice set-theoretically is equivalent to a well-studied combinatorial problem. For twisted cubics, d = 3, we use the Gale transform to produce equations defining the union of two irreducible components, the compactified configuration space we want and the locus of degenerate point configurations, and we explain the challenges involved in eliminating this extra component. For d ≥ 4 we conjecture a similar situation and prove partial results in this direction. 1. Introduction Configuration spaces are central to many modern areas of geometry, topology, and physics. Rational normal curves are among the most classical objects in algebraic geometry. In this paper we explore a setting where these two realms meet: the configuration space of n ordered points in Pd that lie on a rational normal curve. This is naturally a subvariety of (Pd)n, and by taking the Zariski closure we obtain a compactification of this configuration space, which d n we call the Veronese compactification Vd;n ⊆ (P ) .
    [Show full text]