Dan Pedoe, on Geometrical Matters, P 67-74Mathschron009-008.Pdf

Total Page:16

File Type:pdf, Size:1020Kb

Dan Pedoe, on Geometrical Matters, P 67-74Mathschron009-008.Pdf ON GEOMETRICAL MATTERS Dan Pedoe Dedicated to H.G. Forder on his 90th birthday (received 29 June, 1979) Geometers are sadly aware of the present depressed state of their art. The "new" math, swept elementary geometry aside, in a frantic effort to keep up with the Russians, who had convinced the Western world of their technological superiority by launching Sputnik. The "educators" who led American mathematics disregarded, or were sublimely unconscious of the fact that Russian high schools, then and now, study geometry intensely. Yaglom's new book [16]reveals the extent to which the best high schools in Russia plumb non-Euclidean geometry. In America, publishers demand an assured sale of at least 50,000 copies for any book on elementary mathematics before they will handle it, and only calculus books and such make the grade. Any book on geometry, inadvertently published, only sells to a limited extent, and if the publisher has "inventory problems", (that is, if he suffers from a lack of warehouse space, and who does not?), books are soon pulped. Fortunately there are still University Presses, and the excellent Chelsea and Dover publishers who keep books in print, and Forder's remarkable Calculus of Extension [4] is still obtainable, although some of his early books on geometry have vanished. One of my pulped books, Circles, has been reprinted, with added problems and solutions, by Dover Books [10]. Those who defend the present state of mathematics are quick to point out that a lot of geometry is still being studied and taught, under chapter headings such as "combinatorics", "tesselations", and so on. But too much has been forgotten, and it is the purpose of this note, besides retailing geometrical gossip, to indicate how much has been forgotten. Math. Chronicle 9(1980) 67-73. 67 In a recent paper by Leon Henkin and William A. Leonard the following problem is investigated: Given a parabolic arc, can the vertex be found using only a compass and straight edge? According to the authors, the problem "seems to have passed around in meetings of the California Mathematics Council". But doubts remain with regard to the Henkin - Leonard solution, and the title of the paper expresses the doubts, being A Euclidean Construction? [5]. The doubts arise from the "foundational" difficulties which present themselves when one is faced with an infinite set of points which do not lie on a circle. These are put aside temporarily, but even then the authors are not satisfied that their solution is "truly geometric", and another solution, suggested by an anonymous referee, is printed as being more "truly geometric". Then another doubt is voiced, as to whether solutions of this geometric nature can be found for the ellipse and hyperbola, "where we only have solutions based on analytical formulas". It really does seem that the California Mathematics Council learned their geometry of the conic sections from the few turgid pages devoted to conics in calculus books, and are unaware of the lovely subject called "geometrical conics" which has been in existence for nearly 2,000 years, and can still be studied in books such as F.S. Macaulay's Geometrical Conics [6]. The idea that we only know the properties of the ellipse and hyperbola from "analytical formulas" is indeed a strange one. Shades of Apollonius and Pappus! There is a theorem of more recent vintage, the Pascal Theorem, which has also escaped the notice of the California Mathematics Council, and with the help of this theorem, which should surely be known to all professional mathematicians who venture into geometric exposition, the parabola problem can be solved if we are given a mere 5 points on the curve, and there are no foundational difficulties. 68 The Pascal Theorem says that the opposite sides of a hexagon inscribed in a conic intersect in three collinear points. That is, if the points A, B, C, D, E, F lie on a conic, then the three points L = AB D DE , M = BC fl EF and N = CD fl FA are collinear. Hence, using a straight edge only, we can find the further point of intersection, with the unique conic which passes through five given points, of any line through one of the points. For example, given the points A, B, C, D and E , the point F on AF can be found by the Pascal Theorem. So, let us assume that we are given 5 points which lie on a parabola. We use the known geometrical theorem that the midpoints of parallel chords of a parabola lie on a line parallel to the axis of the parabola. The axis itself is an axis of symmetry for the curve, so that once we have its direction, all that we need do to find the axis itself is to determine where a line through a point on the curve which is perpendicular to the axis direction meets the curve again, and the axis itself is found by bisecting a segment at right angles. Some rather more modern geometry [11, p.346] displays the parabola as a conic which touches the line at infinity at a point ft , the axis being VS , where V is the vertex. Applying the Pascal Theorem to the inscribed hexagon VABCDSi , where A, B, C and D are any 4 given points on the curve, V is rapidly found. We assume, of course, that if P is any finite point, then P2 is parallel to the axis. Details of the construction can be found in a forthcoming issue of Crux Mathematioorum [1], which is a Canadian magazine under the editorship of L6o Sauv6. The editor, and a devoted international circle of readers, are enthusiasts for geometry. Given 5 points on an ellipse or hyperbola, the axes, vertices and foci can be found by Euclidean constructions. An obvious approach to geometers of the old school, such as myself, is via the theory of involution pencils [11, p.332]. There are certainly constructions given, without explanation, in books on engineering drawing. Years 69 ago, when I taught at the University of Birmingham, one of my geometry students also took a course in engineering drawing. She asked me about a process she had been taught, without any explanation, which turned out to be plane perspective, a method for finding the map of a given plane figure which is produced by three-dimensional uniocular perspective when the object plane and the image plane are folded together (rabatted) about the axis of intersection of the two planes. I described this in a book [12], pulped long ago, and I also give a description in a recent book, Geometry and the Liberal Arts [13]. To see that sections of a circular cone can indeed be ellipses, parabolas or hyperbolas, and that they can be produced by simple drawing with a ruler, compass and setsquare is, I think, an exciting educational experience, especially for American students, who often pass through their one year of geometry at high school without ever handling geometrical instruments. Geometrical drawing is one of the simple pleasures of life, and as a pastime it can lead to new theorems. A proof that this is so can be seen in The Seven Circles Theorem and other new theorems 3],.if this is still obtainable. The two first-named authors discovered new and fascinating theorems in circle geometry by accurate drawing, and neither is a professional mathematician. I hear that the first printing of their book sold out rapidly. As a final piece of geometrical gossip, attention should be directed to two elaborate bibliographies, which have recently appeared, which list the publications to date on the remarkable Morley Theorem. This theorem states that if we draw the trisectors of the angles of a triangle, then the intersections of adjacent trisectors are the vertices of an equilateral triangle. The first bibliography, of nearly 200 items, appeared in the Canadian magazine Eureka [2], the original name of Crux Mathematicorum [1]. This was followed by a bibliography in the American Mathematical Monthly [9]. In Inversive Geometry [8] by Frank Morley and his son F.V. Morley, the theorem is proved by considering the locus of the 70 centre of a cardioid which touches the sides of a given triangle. A similar proof was given 9 years earlier in a paper which Frank Morley wrote for a Japanese Mathematical Journal designed for secondary school students [7]. Since the proof, although delightful and full of geometrical insights, is as difficult to understand as most of Inversive Geometry, I transliterated it (no other term is applicable!) for the special Morley issue of Eureka [2], When the issue of the American Mathematical Monthly with the Morley bibliography and article [9] appeared, it contained an interview with Morley's son F.V. Morley, in which he refers to the proof of the Morley Theorem given by his father and himself in Inversive Geometry [8]. This proof appears on p.244, with a diagram to illustrate the theorem. F.V. Morley says [p.741 of 9]: "it was the cardioids which led him to, and provided for him the most elegant proof of, the trisector theorem. Proof and theorem were pleasing in their togetherness." But on p.738 of the same Morley article the following astonishing statement appears: the reference is to Frank Morley. "And so he never enunciated, in print, just the simple theorem, nor did he ever publish a direct verification of it." I have written to the senior author of the Monthly paper to point out that the proof in Inversive Geometry, the proof in the Japanese paper [7] and the statement made by Morley's son make this ex cathedra assertion that Frank Morley never enunciated his theorem in print ridiculous (I was rather more polite, in fact!), but I received a dusty answer, and have now been informed by another Morley bibliographer that the dispute "has reached an impasse"! 71 The history of mathematics is, of course, of great concern to all mathematicians, and nobody should rest comfortably when truth is subverted.
Recommended publications
  • Notes on Euclidean Geometry Kiran Kedlaya Based
    Notes on Euclidean Geometry Kiran Kedlaya based on notes for the Math Olympiad Program (MOP) Version 1.0, last revised August 3, 1999 c Kiran S. Kedlaya. This is an unfinished manuscript distributed for personal use only. In particular, any publication of all or part of this manuscript without prior consent of the author is strictly prohibited. Please send all comments and corrections to the author at [email protected]. Thank you! Contents 1 Tricks of the trade 1 1.1 Slicing and dicing . 1 1.2 Angle chasing . 2 1.3 Sign conventions . 3 1.4 Working backward . 6 2 Concurrence and Collinearity 8 2.1 Concurrent lines: Ceva’s theorem . 8 2.2 Collinear points: Menelaos’ theorem . 10 2.3 Concurrent perpendiculars . 12 2.4 Additional problems . 13 3 Transformations 14 3.1 Rigid motions . 14 3.2 Homothety . 16 3.3 Spiral similarity . 17 3.4 Affine transformations . 19 4 Circular reasoning 21 4.1 Power of a point . 21 4.2 Radical axis . 22 4.3 The Pascal-Brianchon theorems . 24 4.4 Simson line . 25 4.5 Circle of Apollonius . 26 4.6 Additional problems . 27 5 Triangle trivia 28 5.1 Centroid . 28 5.2 Incenter and excenters . 28 5.3 Circumcenter and orthocenter . 30 i 5.4 Gergonne and Nagel points . 32 5.5 Isogonal conjugates . 32 5.6 Brocard points . 33 5.7 Miscellaneous . 34 6 Quadrilaterals 36 6.1 General quadrilaterals . 36 6.2 Cyclic quadrilaterals . 36 6.3 Circumscribed quadrilaterals . 38 6.4 Complete quadrilaterals . 39 7 Inversive Geometry 40 7.1 Inversion .
    [Show full text]
  • On Inversions in Central Conics
    INTERNATIONAL JOURNAL OF GEOMETRY Vol. 9 (2020), No. 1, 40 - 51 ON INVERSIONS IN CENTRAL CONICS ROOSEVELT BESSONI AND GUY GREBOT Abstract. We use plain euclidean geometry to analyse the structure of an inversion in an ellipse or in a hyperbola. By this formulation, results on inversions in circles are directly extended to results on inversions in ellipses. 1. Introduction Jacob Steiner is quoted in [5] as the first mathematician to formalize the bases of inversive geometry in a text dated from 1824 and published after his death by B¨utzberger. In 1965, the mathematician Noel Childress [1] extended the concept of circular inversion to central conics, ellipse or hyperbola. In 2014, Ramirez [6][7] showed other properties concerning inversion in ellipses and Neas [4], in 2017, looked at anallagmatic curves under inversion in hyperbolae. Inversion in circles is a geometrical topic which is usually developped without analytic geometry [8]. Strangely enough, we could not find any work concerning inversion in central conics using plain euclidean geometry arguments. In the studied publications the basic framework is analytical geometry. Also, as far as we could reach, the structure of an inversion in a central conic is not mentioned in the cited works and it seems to us that the analytical framework tends to hide this property. In this communication, we use plain euclidean geometry to analyse the structure of an inversion in an ellipse or in a hyperbola. We show that an inversion in a central conic is given by the composition of compressions and an inversion in a circle or in an equilateral hyperbola; in this sense, an inversion in a central conic is just an affine deformation of an inversion in a circle or in an equilateral hyperbola.
    [Show full text]
  • Download Inversive Geometry Free Ebook
    INVERSIVE GEOMETRY DOWNLOAD FREE BOOK Frank Morley, F. V. Morley | 288 pages | 15 Jan 2014 | Dover Publications Inc. | 9780486493398 | English | New York, United States Inversive Geometry Fukagawa and D. MR 48, However, inversive geometry is the larger study since it includes the raw inversion in a circle not yet made, with conjugation, into reciprocation. MR 47 MR 19 There may be zero, one, or two points. Selecting the appropriate Inversive Geometry in the Manipulatethe radii are adjusted according to the position of the slanted Inversive Geometry for this third blue circle to exist. It provides an exact solution to the important problem of converting between linear and circular motion. MR 38and 50 Two pairs of inverse points are either collinear with or concyclic on a circle Inversive Geometry to. Help Learn to edit Community portal Recent changes Upload file. Die Inversion und ihre Anwendungen. Magnus, W. Two intersecting circles are orthogonal if they have perpendicular tangents at either point of intersection. New York: Wiley, pp. Courant, R. Has it been superseded by other geometries, i. Webb, C. Home Questions Tags Users Unanswered. In addition, the curve to which a given curve is transformed under inversion is called its inverse curve or more simply, its "inverse". Hence, the angle between two curves in the Inversive Geometry is the same as the angle between two curves in the hyperbolic space. The complex analytic inverse Inversive Geometry is conformal and its conjugate, circle inversion, is anticonformal. Coolidge, J. The two orange disks indicate adjustable tangency points and of the circles and the parallel lines.
    [Show full text]
  • THE PROBLEM of APOLLONIUS H. S. M. Coxeter 1. Introduction. On
    THE PROBLEM OF APOLLONIUS H. S. M. Coxeter 1. Introduction. On behalf of the Canadian Mathematical Congress, I wish to thank the University of Toronto for its hospitality, the members of the Local Arrangements Committee (especially Chandler Davis) for the many comforts and pleasures they have provided, and our nine distinguished visitors for the courses of lectures they gave at our Seminar. Bearing in mind the subject of this afternoon's discussion, I -will try to show by some examples that good old-fashioned elementary geometry is not dead, that mathematics can be interesting without being obscure, and that clever ideas are not restricted to professionals. In the third century B.C., Apollonius of Perga wrote two books on Contacts (e IT afyai.), in which he proposed and solved his famous problem: given three things, each of which may be a point, a line, or a circle, construct a circle which passes through each of the points and touches the given lines and circles. The easy cases are covered in the first book, leaving most of the second for the really interesting case, when all the three "things" are circles. As Sir Thomas Heath remarks [10, p. 182], this problem "has exercised the ingenuity of many- distinguished geometers, including Vieta and Newton". I will not ask you to look at any of their methods for solving it. These are adequately treated in the standard textbooks [e. g. 11, p. 118]. Nor will I inflict on you an enumeration of the possible relations of incidence of the three given circles. This was done with great skill in 1896 by Muirhead [12].
    [Show full text]
  • Models from the 19Th Century Used for Visualizing Optical Phenomena and Line Geometry
    Models from the 19th Century used for Visualizing Optical Phenomena and Line Geometry David E. Rowe In 1891, one year after the founding of the Deutsche Mathematiker- Vereinigung (DMV), the Munich mathematician Walther Dyck faced a daunt- ing challenge. Dyck was eager to play an active role in DMV affairs, just as he had since 1884 as professor at Munich's Technische Hochschule (on his career, see [Hashagen 2003]). Thus he agreed, at first happily, to organize an exhibition of mathematical models and instruments for the forthcoming annual meeting of the DMV to be held in Nuremberg. Dyck's plan was ex- ceptionally ambitious, though he encountered many problems along the way. He hoped to obtain support for a truly international exhibition, drawing on work by model-makers in France, Russia, Great Britain, Switzerland, and of course throughout Germany. Most of these countries, however, were only modestly represented in the end, with the notable exception of the British. Dyck had to arrange for finding adequate space in Nuremberg for the exhibi- tion, paying for the transportation costs, and no doubt most time consuming of all, he had to edit single handedly the extensive exhibition catalog in time arXiv:1912.07138v1 [math.HO] 15 Dec 2019 for the opening. At the last moment, however, a cholera epidemic broke out in Germany that threatened to nullify all of Dyck's plans. When he learned that the DMV meeting had been canceled, he immediately proposed that the next annual gathering take place in 1893 in Munich. There he had both help- ful hands as well as ready access to the necessary infrastructure.
    [Show full text]
  • A Theorem on Circle Configurations 1. Introduction
    A theorem on circle configurations Jerzy Kocik [email protected] Mathematics Department, SIU-C, Carbondale, IL Abstract: A formula for the radii and positions of four circles in the plane for an arbitrary linearly independent circle configuration is found. Among special cases is the recent extended Descartes Theorem on the Descartes configuration and an analytic solution to the Apollonian problem. The general theorem for n-spheres is also considered. Keywords: Apollonian problem, Descartes theorem, Soddy’s circles, Minkowski space, n-spheres. 1. Introduction There is a family of problems of various degrees of generality concerning circles and, in general, (n–1)-dimensional spheres in Rn. Among the most famous is the problem of Apollonius of Perga: find a circle simultaneously tangent to three given circles (Fig. 1.1a); and the problem of Descartes: given three pair-wise tangent circles, find the a fourth tangent to each of them. A solution to the latter, four mutually tangent circles, is known a Descartes configuration (Fig. 1.1b). The associated Descartes formula relates sizes of the circles in a peculiarly elegant way: (a + b + c + d)2 = 2 (a2 + b2 + c2 + d2) , (1.1) where a=1/r1, b=1/r2, etc. are the curvatures of the corresponding circles (reciprocals of radii). For the history of the this formula, rediscovered a number of times, and its higher-dimensional generalizations, see [Des, Ped3, Coxt69, Sodd, Gos] . (a) (b) (c) Figure 1.1: Four circles ; (a) as a solution to an Apollonian problem; (b) in Descartes configuration (c) in a general configuration It’s easy to observe that the quadratic formula 1.1 may be written in a matrix form: ⎡−1 1 1 1⎤ ⎡ b1⎤ ⎢ ⎥ ⎢ ⎥ ⎢ 1 −1 1 1⎥ ⎢b2 ⎥ ⎣⎦⎡⎤bb1234 bb = 0, (1.2) ⎢ 1 1 −1 1⎥ ⎢b3 ⎥ ⎢ ⎥ ⎢ ⎥ ⎣ 1 1 1 −1⎦ ⎣b4 ⎦ i.e., bTDb = 0 , where b is the vector of four curvatures and where D has been termed “Descartes quadratic form”.
    [Show full text]
  • Non-Euclidean Geometry H.S.M
    AMS / MAA SPECTRUM VOL AMS / MAA SPECTRUM VOL 23 23 Throughout most of this book, non-Euclidean geometries in spaces of two or three dimensions are treated as specializations of real projective geometry in terms of a simple set of axioms concerning points, lines, planes, incidence, order and conti- Non-Euclidean Geometry nuity, with no mention of the measurement of distances or angles. This synthetic development is followed by the introduction of homogeneous coordinates, begin- ning with Von Staudt's idea of regarding points as entities that can be added or multiplied. Transformations that preserve incidence are called collineations. They lead in a natural way to isometries or 'congruent transformations.' Following a NON-EUCLIDEAN recommendation by Bertrand Russell, continuity is described in terms of order. Elliptic and hyperbolic geometries are derived from real projective geometry by specializing in elliptic or hyperbolic polarity which transforms points into lines GEOMETRY (in two dimensions), planes (in three dimensions), and vice versa. Sixth Edition An unusual feature of the book is its use of the general linear transformation of coordinates to derive the formulas of elliptic and hyperbolic trigonometry. The area of a triangle is related to the sum of its angles by means of an ingenious idea of Gauss. This treatment can be enjoyed by anyone who is familiar with algebra up to the elements of group theory. The present (sixth) edition clari es some obscurities in the fth, and includes a new section 15.9 on the author's useful concept of inversive distance. H.S.M. Coxeter This book presents a very readable account of the fundamental principles of hyperbolic and elliptic geometries.
    [Show full text]
  • Infinity As Well As at One Or More Finite Points. Under Restric
    1914.] INFINITE REGIONS IN GEOMETRY. 73 infinity as well as at one or more finite points. Under restric­ tions similar to those usually imposed, a function f(x, y) may be developed in a series of solutions with Fourier coefficients. 33. Following out methods previously used by Professor W. A. Hurwitz in discussing mixed linear integral equations in one dimension, Dr. Rosenbaum in this paper establishes similar results for the case of two dimensions. The unknown function appears under integral signs operating over a plane region and over curves, and the values of the unknown func­ tion at special points also appear in the equation. The adjoint system of equations now involves as unknowns one function of two variables, several functions of one variable, and several constants. The notions of resolvent system, orthogonalization of principal solutions, and pseudo-resolvent system, receive similar generalizations. 34. The Riemann definition of the definite integral of a bounded function involves the values of the function at arbi­ trary points of the sub-intervals of a scheme of subdivision, while the Cauchy definition involves the values only at ends of sub-intervals. It is obvious that if the Riemann integral exists the Cauchy integral will exist; it is not immediately evident whether the converse is true or false. Professor Gillespie proves in this note that the two definitions are equivalent. F. N. COLE, Secretary. INFINITE REGIONS IN GEOMETRY. BY PROFESSOR EDWIN BIDWELL WILSON. (Read before the American Mathematical Society, February 28, 1914.) THE recent contribution by Professor Bôcher on "The infinite regions of various geometries"* puts me in mind of some ideas which I have long held on this subject and which I desire to offer to readers of his article.
    [Show full text]
  • Notes on Euclidean Geometry Kiran Kedlaya Based On
    Notes on Euclidean Geometry Kiran Kedlaya based on notes for the Math Olympiad Program (MOP) Version 1.0, last revised August 3, 1999 c Kiran S. Kedlaya. This is an unfinished manuscript distributed for personal use only. In particular, any publication of all or part of this manuscript without prior consent of the author is strictly prohibited. Please send all comments and corrections to the author at [email protected]. Thank you! Contents 1 Tricks of the trade 1 1.1 Slicing and dicing . 1 1.2 Angle chasing . 2 1.3 Sign conventions . 3 1.4 Working backward . 6 2 Concurrence and Collinearity 8 2.1 Concurrent lines: Ceva’s theorem . 8 2.2 Collinear points: Menelaos’ theorem . 10 2.3 Concurrent perpendiculars . 12 2.4 Additional problems . 13 3 Transformations 14 3.1 Rigid motions . 14 3.2 Homothety . 16 3.3 Spiral similarity . 17 3.4 Affine transformations . 19 4 Circular reasoning 21 4.1 Powerofapoint.................................. 21 4.2 Radical axis . 22 4.3 The Pascal-Brianchon theorems . 24 4.4 Simson line . 25 4.5 Circle of Apollonius . 26 4.6 Additional problems . 27 5 Triangle trivia 28 5.1 Centroid . 28 5.2 Incenter and excenters . 28 5.3 Circumcenter and orthocenter . 30 i 5.4 Gergonne and Nagel points . 32 5.5 Isogonal conjugates . 32 5.6 Brocard points . 33 5.7 Miscellaneous . 34 6 Quadrilaterals 36 6.1 General quadrilaterals . 36 6.2 Cyclic quadrilaterals . 36 6.3 Circumscribed quadrilaterals . 38 6.4 Complete quadrilaterals . 39 7 Inversive Geometry 40 7.1 Inversion .
    [Show full text]
  • An Extension of Moebius–Lie Geometry with Conformal
    arXiv: 1512.02960, 2015 Volume 00, Number 0, Pages 000{000 AN EXTENSION OF MOBIUS{LIE¨ GEOMETRY WITH CONFORMAL ENSEMBLES OF CYCLES AND ITS IMPLEMENTATION IN A GiNaC LIBRARY VLADIMIR V. KISIL Abstract. We propose to consider ensembles of cycles (quadrics), which are interconnected through conformal- invariant geometric relations (e.g. \to be orthogonal", \to be tangent", etc.), as new objects in an extended M¨obius{Lie geometry. It was recently demonstrated in several related papers, that such ensembles of cycles naturally parameterise many other conformally-invariant objects, e.g. loxodromes or continued fractions. The paper describes a method, which reduces a collection of conformally invariant geometric relations to a system of linear equations, which may be accompanied by one fixed quadratic relation. To show its usefulness, the method is implemented as a C++ library. It operates with numeric and symbolic data of cycles in spaces of arbitrary dimensionality and metrics with any signatures. Numeric calculations can be done in exact or approximate arithmetic. In the two- and three-dimensional cases illustrations and animations can be produced. An interactive Python wrapper of the library is provided as well. Contents List of Figures 2 1. Introduction 3 2. M¨obius{LieGeometry and the cycle Library4 2.1. M¨obius{Liegeometry and FSC construction5 2.2. Clifford algebras, FLT transformations, and Cycles5 3. Ensembles of Interrelated Cycles and the figure Library6 3.1. Connecting quadrics and cycles 6 3.2. Figures as families of cycles|functional approach8 4. Mathematical Usage of the Library 11 5. To Do List 12 Acknowledgement 13 References 14 Appendix A.
    [Show full text]
  • Inversive Geometry. by Frank Morley and F. V. Morley. New York, Ginn and Company, 1933
    374 SHORTER NOTICES [May, Inversive Geometry. By Frank Morley and F. V. Morley. New York, Ginn and Company, 1933. 272 pp., and 67 figures. This book is to serve as an introduction to algebraic geometry, that term being defined as the geometry of circular inversion. The problems considered are chosen from those that lend themselves readily to that treat­ ment, but the number and the breadth of those selected is astonishingly large. The most important prerequisite for the reading of the book is dexterity in manipulation of algebraic processes; groups, linear dependence, polarization, invariants and covariants, vectors, are all defined and even sometimes illus­ trated, but so concisely as to be of little use to a reader not already somewhat familiar with them. The procedure is everywhere rapid and direct; most of the theorems are at once applicable to a large number of cases. The elementary operation is that of reflection of a plane figure about a line in the plane. By combinations of reflections, rotation and translation are obtained. The product of reflections about perpendicular axes is called reversion. The chapter on algebra develops the ordinary algebra of the complex num­ ber, and emphasizes the geometric meaning of each step. Hermitian forms play an important part. The euclidean group is then interpreted in terms of the algebra just developed, and this is enlarged by adjoining circular inversion, in­ cluding stereographic projection. A chapter on quadratic and bilinear forms prepares for the inversive group in the plane, featuring the necessary conditions for finite inversive groups, the treatment being rather similar to that met with in the theory of automorphic functions.
    [Show full text]
  • MATH 614"01: Studies in Geometry (42673) Syllabus: Spring 2011 MW
    MATH 614-01: Studies in Geometry (42673) Syllabus: Spring 2011 MW 6-7:50PM, JB - 383 John Sarli JB-326 909–537-5374 MW NOON-1PM and T 4-5PM, or by appt. [email protected] Text: Brannan/Esplen/Gray Geometry (Cambridge University Press) Prerequisites: MATH 529 and MATH 545 The course objective is to study hyperbolic geometry, commonly called non- Euclidean geometry, as a system of plane geometry independent of but closely related to Euclidean plane geometry. Since the formal study of this geometry emerged in the nineteenth century two fundamental models have been used to formulate its theorems, the inversive and the projective. As with Euclidean geometry, hyperbolic geometry can be developed as a sub-geometry of projective geometry, but we will take the inversive approach because it is easier to capture the conformal (angle-preserving) aspects of the theory and because we can enter the subject directly with a minimum of linear algebra. However, we will begin by establishing the correspondence between the inversive and projective models and by introducing some modern notation that will allow us to compute e¢ ciently. Grading will be based on two assignments, an exam on the introduc- tory material, and the …nal exam. These four components will be weighted equally. Guidelines for the two assignments will be provided later, but one of these should be con…gured for your portfolio (both must be typed, preferably in Latex). After computing your total scores weighted according to these per- centages, course grades will be assigned as follows: A
    [Show full text]