DOCSLIB.ORG

Foundations for Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Foundations for Geometry Foundations for Geometry JWR April 26, 2002 §1 Definition. A geometry is a pair (M, G) where M is a set and G is a group of transformations of M. (A transformation of M is a one-one onto map from M to itself; a group of transformations is a set of transformations which contains the identity transformation, contains the composition of any two of its members, and contains the inverse of each of its members.) Here is a list of some key examples (definitions follow): • The Affine Plane: M = R2, G = the group of plane affine transforma- tions. • The Euclidean Plane: M = R2, G = the group of rigid motions. • The Projective Line: M = R ∪ {∞}, G = the group of projective transformations. • The Inversive Plane: M = C ∪ {∞}, G = the group of inversive trans- formations. §2 A line in R2 is a set of form 2 L = {(x, y) ∈ R : ax + by + c = 0} where either a or b (or both) is not zero. An affine transformation of the plane is a transformation of R2 which maps lines to lines. §3 (Fundamental Theorem of Plane Affine Geometry.) A transfor- mation T is affine if and only if there are numbers a, b, c, d, p, q such that the equation (x0, y0) = T (x, y) takes the form x0 = ax + by + p (1) y0 = cx + dy + q. 1 §4 Remark. Equations (1) define a transformation if and only if for every (x0, y0) there is a unique solution (x, y). By linear algebra this is so if and only if the determinant of coefficients is nonzero, i.e. ad − bc 6= 0. An affine transformation is called direct (also called orientation preserving) if ad − bc > 0. 2 §5 The distance between two points P1 = (x1, y1) and P2 = (x2, y2) of R is denoted |P1 − P2| and defined by p 2 2 |P1 − P2| = (x1 − x2) + (y1 − y2) . A rigid motion is a transformation T of R2 which preserves distance, i.e. 0 0 |P1 − P2| = |P1 − P2| 0 0 whenever P1 = T (P1) and P2 = T (P2) §6 (Fundamental Theorem of Plane Euclidean Geometry.) A rigid motion is an affine transformation. A transformation T as in Equation (1) of Theorem 3 is a rigid motion if and only if the coefficients a, b, c, d satisfy either a b cos θ − sin θ a b cos θ sin θ = or = c d sin θ cos θ c d sin θ − cos θ for some θ. (In the former case ad − bc = 1 so the transformation is direct; in the latter case ad − bc = −1.) §7 (SSS Theorem) Let A, B, C, A0,B0,C0 ∈ R2. Then there is a rigid motion T such that A0 = T (A),B0 = T (B),C0 = T (C) if and only if |A0 − B0| = |A − B|, |B0 − C0| = |B − C|, |C0 − A0| = |C − A|. §8 For three distinct points A, B, C ∈ R2 define the quantities (A − B) · (C − B) cos ABC = ∠ |A − B| |C − B| 2 (A − B) × (C − B) sin ABC = . ∠ |A − B| |C − B| Here · and × denote the familiar operations of dot product and cross product from elementary calculus, i.e. (u1, v1) · (u2, v2) = u1v1 + u2v2 and (u1, v1) × (u2, v2) = u1v2 − u2v1. §9 (SAS Theorem) Let A, B, C, A0,B0,C0 ∈ R2. Then there is a rigid motion T such that A0 = T (A),B0 = T (B),C0 = T (C) if and only if |A0 − B0| = |A − B|, |B0 − C0| = |B − C|, and 0 0 0 cos ∠A B C = cos ∠ABC. 0 0 0 When such a rigid motion exists we have sin ∠A B C = ± sin ∠ABC and 0 0 0 the motion is direct if and only if sin ∠A B C = sin ∠ABC. §10 The cross ratio of four distinct points x1, x2, x3, x4 ∈ R∪{∞} is defined by x1 − x3 x2 − x4 (x1, x2; x3, x4) := · x1 − x4 x2 − x3 If one of these points is ∞ then the cross ratio is defined as the corresponding limit, e.g. x2 − x4 (∞, x2; x3, x4) = . x2 − x3 A projective transformation of R ∪ {∞} is a transformation T which preserves cross ratio, i.e. 0 0 0 0 (x1, x2; x3, x4) = (x1, x2; x3, x4) 0 for any four distinct points x1, x2, x3, x4 ∈ R ∪ {∞} where xi = T (xi). §11 (Fundamental Theorem of Projective Geometry.) A transforma- tion T of R ∪ {∞} is projective if and only if it has the form ax + b T (x) = cx + d 3 where a, b, c, d ∈ R. The value T (∞) is defined as the limit ax + b T (∞) = lim x→∞ cx + d (so T (∞) = a/c if c 6= 0 and T (∞) = ∞ if c = 0) and T (x) is defined to be ∞ if the denominator vanishes, i.e. cx + d = 0. In contrast to the practice in elementary calculus we do not distinguish +∞ and −∞. §12 The cross ratio of four distinct points z1, z2, z3, z4 ∈ C∪{∞} is defined by z1 − z3 z2 − z4 (z1, z2; z3, z4) := · ; z1 − z4 z2 − z3 the formula is exactly the same as for R ∪ {∞} but now complex numbers are allowed. The proof of Theorem 11 goes through mutatis mutandis:A transformation T of C ∪ {∞} preserves cross ratios if and only if it has the form az + b T (z) = (3) cz + d where a, b, c, d ∈ C. A transformation of form (3) is called a M¨obius trans- formation (A M¨obius transformation is also called a fractional linear transformation). §13 An inversive circle is a subset of C ∪ {∞} which is either a circle in C = R2 or a set of form L ∪ {∞} where L is a line. An inversive transformation is a transformation of C∪{∞} which maps inversive circles to inversive circles. §14 (Fundamental Theorem of Inversive Geometry.) A transforma- tion T of C ∪ {∞} is inversive if and only it has one of the forms T (z) = S(z) or T (z) = S(¯z) where S is a M¨obius transformation. §15 Exercise. (90 points) Prove the Fundamental Theorem of Plane Affine Geometry. ‘If’ is straightforward, but if you want to try ‘only if’ see me for hints. (The proof of ‘if’ is worth 10 points.) §16 Exercise. (10 points.) Show that the transformations (x0, y0) = T (x, y) of form (1) are a group, i.e. the identity transformation I(x, y) = (x, y) has 4 this form, the composition T1 ◦ T2 of two transformations T1 and T2 of this form is again of this form, and the inverse T −1 of a transformation T of this form is again of this form. Show that the direct affine transformations form a subgroup. §17 Exercise. (10 points.) Identify the set R2 of pairs of real numbers with the set C of complex numbers by making the pair (x, y) correspond to the complex number z = x + iy. Show that under this identification a transformation z0 = T (z) has the form x0 = (cos θ)x − (sin θ)y + p y0 = (sin θ)x + (cos θ)y + q if and only if it has the form z0 = µz + w (4) where µ and w are complex numbers and |µ| = 1. Prove that the set of all such transformations is a group, that any transformation of one of the two forms z0 = µz + w or z0 = µz¯ + w (5) is a rigid motion, and that the set of all rigid motions of one of the two forms in (5) is a group. (Eventually we will prove that the transformations (5) are the rigid motions and the transformations (4) are the direct rigid motions.) §18 Exercise. (10 points) Using the definitions from §8 prove that 2 2 cos ∠ABC + sin ∠ABC = 1. Hint: This is a calculation in high school algebra. The calculation will be more transparent if you introduce the abbreviations u1 = x1 − x2, v1 = y1 − y2, u2 = x3 − x2, v2 = y3 − y2. §19 Exercise. (10 points) Prove the SSS Theorem. §20 Exercise. (10 points) Prove the SAS Theorem. §21 Exercise. (20 points) Prove the Fundamental Theorem of Plane Eu- clidean Geometry. (Hint for ‘only if’. First show that a rigid motion which 5 satisfies T (0, 0) = (0, 0), T (1, 0) = (1, 0), and T (0, 1) = (0, 1) is the identity. Then use Exercises 17 and 7. §22 Exercise. (20 points) Find a formula for reflection in the line ax + by + c = 0. §23 Exercise. (40 points) Show that a rigid motion which is not direct leaves some line invariant. Conclude that it is a reflection in this line followed by a translation along the line. Show that a transformation is a direct rigid motion if and only if it is the composition of two reflections. Hint: If an affine a b transformation is rigid, what are the eigenvalues of the matrix of c d coefficients? §24 Exercise. (30 points) Prove the Fundamental Theorem of Projective Geometry. §25 Exercise. (30 points) Prove that the cross ratio of any four distinct four points is real if and only if they lie on an inversive circle. §26 Exercise. (30 points) Prove the Fundamental Theorem of Inversive Geometry. (Hint: Use Exercise 25.) §27 Exercise. Find a formula for inversion in the circle of radius k centered at the point Q and conclude that inversion is an inversive transformation, but not a M¨obiustransformation. (Recall that inversion in this circle is determines by the condition that R0 = T (P ) if and only in Q, P , and P 0 are collinear and |Q − P | |Q − P 0| = k2; also T (Q) = ∞ and T (∞) = Q.) §28 Exercise.
Load more

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 kedlaya@math.mit.edu. 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]
  • 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.
    [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 jkocik@siu.edu 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 kedlaya@math.mit.edu. 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]