July 10, 2020. Math 9+. Geometry Revisited and More. Collinearity and Concurrence Degenerate Pedal Triangle. Simson Lines. De

Total Page:16

File Type:pdf, Size:1020Kb

July 10, 2020. Math 9+. Geometry Revisited and More. Collinearity and Concurrence Degenerate Pedal Triangle. Simson Lines. De July 10, 2020. Math 9+. Geometry Revisited and more. Collinearity and Concurrence Degenerate pedal triangle. Simson lines. Definition. The feet of the perpendiculars from any C1 point 푃 of the plane, inside or outside a triangle (pedal P point) to the three sides of that triangle are the vertices of the pedal triangle. Note: this includes a special case of 푃 on a circumcircle considered below, which corresponds to a degenerate triangle. B Theorem. If the distances from a pedal point 푃 of a triangle 퐴퐵퐶 to its vertices are |퐴푃| = 푥, |퐵푃| = 푦, A1 and |퐶푃| = 푧 and the sides of the triangle are O |퐴퐵| = 푐, |퐵퐶| = 푎, and |퐴퐶| = 푏, then the sides of B the pedal triangle are, C 1 A 푎푥 푏푦 푐푧 |퐵 퐶 | = , |퐶 퐴 | = , and |퐴 퐵 | = , 1 1 2푅 1 1 2푅 1 1 2푅 where 푅 is the circumradius of the triangle 퐴퐵퐶. Exercise. Prove the above theorem for P configurations of pedal triangle shown in the figures, with pedal point outside of triangle 퐴퐵퐶. Is C 1 O there any difference between the cases of obtuse B A1 and acute triangle 퐴퐵퐶? C B1 A Proof. Consider the circumcircles of the triangles 퐴퐶1퐵1, 퐶1퐵퐴1and 퐵1퐴1퐶. Using the extended sine |퐵 퐶 | 푎 |퐴푃| theorem for ∆퐴퐶 퐵 , 1 1 = |퐴푃| and = 2푅, so |퐵 퐶 | = 푎 . For 1 1 sin 퐴 sin 퐴 1 1 2푅 |퐴 퐶 | 푏 |퐵푃| ∆퐶 퐵퐴 , 1 1 = |퐵푃|; using = 2푅, |퐴 퐶 | = 푏 . 1 1 sin(180−퐵) sin 퐵 1 1 2푅 Theorem. The feet of the perpendiculars from a point to the sides of a triangle are collinear if and only if the point lies on the circumcircle. The line they lie on is called Simson line. P C1 P C1 B A1 O B O A 1 C C B1 B1 A A Proof. Consider the figure. Note that ∠퐶1푃퐵1 = ∠퐵푃퐶 = 180° − ∠퐵퐴퐶, wherefrom follows that ∠퐵푃퐶1 = ∠퐵1푃퐶. Furthermore, ∠퐵퐴1퐶1 = ∠퐵푃퐶1 and ∠퐵1퐴1퐶 = ∠퐵1푃퐶 by the inscribed angle theorem. The collinearity of 퐶1, 퐴1, and 퐵1then follows from the congruence of angles ∠퐵퐴1퐶1 and ∠퐵1퐴1퐶. Exercise. Does the proof of the above theorem require any modification when Δ 퐴퐵퐶 is obtuse? Exercise. Is there a point on the circle that has side 퐵퐶 as its Simson line? Theorem. If the perpendicular 푃퐵1 from a pedal point 푃 to the side 퐴퐶 of ∆퐴퐵퐶 is extended to meet the circumcircle at point 퐵2, then 퐵퐵2 is parallel to the Simson line, 퐶1퐵1. C1 P Proof. Consider the figure on the right. By the B inscribed angle theorem, ∠퐵퐵2푃 = ∠퐵퐶푃 = A1 ∠푃퐵1퐴1, so that 퐶1퐵1 and 퐵퐵2 make equal O angles with 푃퐵2 and are therefore parallel. C B1 A B2 C Theorem. The angle between the Simson lines of 1 C’ P the two points, 푃 and 푃′ on the circumcircle of 1 B P’ ∆퐴퐵퐶 is half the angular measure of the arc 푃푃′. A1 Proof. Consider the figure. Note that the arcs 푃푃′ O A’ 1 and 퐵2퐵′2 are equal because 푃퐵2 and 푃′퐵′2 are C B’1 parallel. Using the above theorem, we conclude B1 B’2 that the angle between the Simson lines of points, A 푃 and 푃′ equals the angle ∠퐵2퐵퐵′2 and therefore B2 half the angular measure of the arc 푃푃′. Exercise. Are there points that lie on their own Simson lines? What are these points? Exercise. Prove the following theorem. Theorem. The Simson line of a points, 푃 on the circumcircle of ∆퐴퐵퐶 bisects the segment joining that point to the orthocenter of ∆퐴퐵퐶. Ptolemy’s theorem D Theorem. If a quadrilateral 퐴퐵퐶퐷 is inscribed in a B circle, the sum of the products of the two pairs of opposite sides is equal to the product of diagonals, O |퐴퐵| ∙ |퐶퐷| + |퐵퐶| ∙ |퐴퐷| = |퐴퐶| ∙ |퐵퐷| C Proof. Apply theorem expressing the length of the A sides if a pedal triangle in the degenerate case when pedal triangle is a Simson line. Theorem. If 퐴퐵퐶퐷 is not an inscribed quadrilateral, the sum of the products of the two pairs of opposite sides is larger than the product of diagonals, |퐴퐵| ∙ |퐶퐷| + |퐵퐶| ∙ |퐴퐷| > |퐴퐶| ∙ |퐵퐷| Proof. Apply theorem expressing the length of the sides if a pedal triangle in the case when pedal triangle is not a Simson line and then use a triangle inequality. C Exercise. Prove that if a circle cuts two sides and a diagonal of a parallelogram D ABCD at points P, Q, R, as shown in the Q figure, then, R |퐴푃| ∙ |퐴퐵| + |퐴푅| ∙ |퐴퐷| = |퐴푄| ∙ |퐴퐶| O P B A The nine-points circle problem. Theorem. The feet of the three altitudes of any triangle, the midpoints of the three sides, and the midpoints of the segments from the three vertices lo the orthocenter, all lie on the same circle, of radius ½푅. This theorem is usually credited to a German geometer Karl Wilhelm von Feuerbach, who actually rediscovered the theorem. The first complete proof appears to be that of Jean-Victor Poncelet, published in 1821, and Charles Brianson also claimed proving the same theorem prior to Feuerbach. The theorem also sometimes mistakenly attributed to Euler, who proved, as early as 1765, that the orthic triangle and the medial triangle have the same circumcircle, which is why this B circle is sometimes called "the H C H Euler circle". Feuerbach A H rediscovered Euler's partial result MC even later, and added a further MA property which is so remarkable N that it has induced many authors A O to call the nine-point circle "the Feuerbach circle". HB MB C Proof. Consider rectangles formed by the mid-lines of triangle ABC and of triangles 퐴퐵퐻, 퐵퐶퐻 and 퐴퐶퐻. Theorem. The orthocenter, 퐻, centroid, 푀, and the circumcenter, 푂, of any triangle are collinear: all these three points lie on the same line, 푂퐻, which is called the Euler line of the triangle. The orthocenter divides the distance from the centroid to the circumcenter in 2: 1 ratio. B HC Proof. Note that the altitudes of the medial HA H triangle푀퐴푀퐵푀퐶 are the perpendicular MC bisectors of the triangle 퐴퐵퐶, so the M orthocenter of Δ 푀 푀 푀 is the M A 퐴 퐵 퐶 A circumcenter, 푂, of Δ 퐴퐵퐶. Now, using the O property that centroid divides medians of a HB MB triangle in a 2:1 ratio, we note that triangles C 퐵푀퐻 and 푀퐵푀푂 are similar, and homothetic with respect to point 푀, with the homothety coefficient 2. Theorem. The center of the nine-point-circle lies on the (Euler’s) line passing through orthocenter, centroid, and circumcenter, midway between the orthocenter and the circumcenter. B HC B1 Proof. Consider the figure. Note the colored HA triangle 퐴1퐵1퐶1, which is formed by MC H medians of triangles 퐴퐵퐻, 퐵퐻퐶 and 퐶퐻퐴, A O9 1 M and is therefore congruent to the medial M A A C1 triangle 푀퐴푀퐵푀퐶, but rotated 180 degrees. O The 9 points circle is the circumcircle for HB MB both triangles, which means that rotation C by 180 degrees about the center 푂9 of the 9 point circle moves Δ 푀퐴푀퐵푀퐶 onto Δ 퐴1퐵1퐶1, and the orthocenter, 푂, of the Δ 푀퐴푀퐵푀퐶 onto the orthocenter, 퐻, of the Δ 퐴1퐵1퐶1. More problems. Problem. Rectangle DEFG is inscribed in triangle ABC such that the side DE belongs to the base AB of the triangle, while points F and G belong to sides BC abd CA, respectively. What is the largest area of rectangle DEFG? C Solution. Notice similar triangles, 퐶퐷퐸~퐴퐵퐶, (a) wherefrom the vertical side of the rectangle is, x|CH| |퐷퐸| D H’ E |퐷퐺| = |퐸퐹| = |퐶퐻| − |퐶퐻′| = (1 − ) |퐶퐻|, |퐴퐵| (1-x)|CH| A B so that the area of the rectangle is, 푆퐷퐸퐹퐺 = G G’ H F |퐷퐸| S +S +S = S +S = x2 S +(1-x)2S >= ½ S |퐷퐸||퐷퐺| = |퐷퐸| (1 − ) |퐶퐻| = AGD EFB DEC AG’D DEC AB C ABC ABC |퐴퐵| x22 +(1-x) = 1-x+2x22 = ½+2(x-½) ) >= ½ |퐷퐸| |퐷퐸| |퐷퐸| |퐷퐸| (1 − ) |퐴퐵||퐶퐻| = (1 − ) 2푆퐴퐵퐶. |퐴퐵| |퐴퐵| |퐴퐵| |퐴퐵| (b) (c) Using the geometric-arithmetic mean C C |퐷퐸| |퐷퐸| 2 |퐷퐸| |퐷퐸| +1− 1 inequality, (1 − ) ≤ (|퐴퐵| |퐴퐵|) = , |퐴퐵| |퐴퐵| 2 4 D E D E where the largest value of the left side is A B A B |퐷퐸| |퐷퐸| G C’ F G F achieved when = 1 − , and therefore C’ |퐴퐵| |퐴퐵| DC’ || CB, EC’ || AC, SDEC = S DEC’ 1 S +S +S = sum of the areas of shaded triangles >= ½S 푆 = 푆 . There are a number of other AGD EFB DEC ABC 퐷퐸퐹퐺 2 퐴퐵퐶 possible solutions, some of which are shown in the figures. Problem. Prove that for any triangle 퐴퐵퐶 with sides 푎, 푏 and 푐, the area, 푆 ≤ 1 (푏2 + 푐2). 4 C’ Solution. Notice that of all triangles with given C two sides, 푏 and 푐, the largest area has triangle 퐴퐵퐶′, where the sides with the given lengths, b a |퐴퐵| = 푐 and |퐴퐶| = 푏 form a right angle, b 퐵퐴퐶̂ = 90° (푏 is the largest possible altitude to side 푐). Therefore, ∀∆퐴퐵퐶, 푆퐴퐵퐶 ≤ 푆퐴퐵퐶′ = A c B 1 1 푏2+푐2 푏푐 ≤ , where the last inequality follows from the arithmetic-geometric 2 2 2 푏2+푐2 mean inequality, 푏푐 ≤ (or, alternatively, follows from 푏2 + 푐2 − 2푏푐 = 2 (푏 − 푐)2 ≥ 0. Problem. In an isosceles triangle 퐴퐵퐶 with the side |퐴퐵| = |퐵퐶| = 푏, the segment |퐴′퐶′| = 푚 connects the intersection points of the bisectors, 퐴퐴′ and 퐶퐶′ of the angles at the base, 퐴퐶, with the corresponding opposite sides, 퐴′ ∈ 퐵퐶 and 퐶′ ∈ 퐴퐵.
Recommended publications
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Robot Vision: Projective Geometry
    Robot Vision: Projective Geometry Ass.Prof. Friedrich Fraundorfer SS 2018 1 Learning goals . Understand homogeneous coordinates . Understand points, line, plane parameters and interpret them geometrically . Understand point, line, plane interactions geometrically . Analytical calculations with lines, points and planes . Understand the difference between Euclidean and projective space . Understand the properties of parallel lines and planes in projective space . Understand the concept of the line and plane at infinity 2 Outline . 1D projective geometry . 2D projective geometry ▫ Homogeneous coordinates ▫ Points, Lines ▫ Duality . 3D projective geometry ▫ Points, Lines, Planes ▫ Duality ▫ Plane at infinity 3 Literature . Multiple View Geometry in Computer Vision. Richard Hartley and Andrew Zisserman. Cambridge University Press, March 2004. Mundy, J.L. and Zisserman, A., Geometric Invariance in Computer Vision, Appendix: Projective Geometry for Machine Vision, MIT Press, Cambridge, MA, 1992 . Available online: www.cs.cmu.edu/~ph/869/papers/zisser-mundy.pdf 4 Motivation – Image formation [Source: Charles Gunn] 5 Motivation – Parallel lines [Source: Flickr] 6 Motivation – Epipolar constraint X world point epipolar plane x x’ x‘TEx=0 C T C’ R 7 Euclidean geometry vs. projective geometry Definitions: . Geometry is the teaching of points, lines, planes and their relationships and properties (angles) . Geometries are defined based on invariances (what is changing if you transform a configuration of points, lines etc.) . Geometric transformations
    [Show full text]
  • The Dual Theorem Concerning Aubert Line
    The Dual Theorem concerning Aubert Line Professor Ion Patrascu, National College "Buzeşti Brothers" Craiova - Romania Professor Florentin Smarandache, University of New Mexico, Gallup, USA In this article we introduce the concept of Bobillier transversal of a triangle with respect to a point in its plan; we prove the Aubert Theorem about the collinearity of the orthocenters in the triangles determined by the sides and the diagonals of a complete quadrilateral, and we obtain the Dual Theorem of this Theorem. Theorem 1 (E. Bobillier) Let 퐴퐵퐶 be a triangle and 푀 a point in the plane of the triangle so that the perpendiculars taken in 푀, and 푀퐴, 푀퐵, 푀퐶 respectively, intersect the sides 퐵퐶, 퐶퐴 and 퐴퐵 at 퐴푚, 퐵푚 and 퐶푚. Then the points 퐴푚, 퐵푚 and 퐶푚 are collinear. 퐴푚퐵 Proof We note that = 퐴푚퐶 aria (퐵푀퐴푚) (see Fig. 1). aria (퐶푀퐴푚) 1 Area (퐵푀퐴푚) = ∙ 퐵푀 ∙ 푀퐴푚 ∙ 2 sin(퐵푀퐴푚̂ ). 1 Area (퐶푀퐴푚) = ∙ 퐶푀 ∙ 푀퐴푚 ∙ 2 sin(퐶푀퐴푚̂ ). Since 1 3휋 푚(퐶푀퐴푚̂ ) = − 푚(퐴푀퐶̂ ), 2 it explains that sin(퐶푀퐴푚̂ ) = − cos(퐴푀퐶̂ ); 휋 sin(퐵푀퐴푚̂ ) = sin (퐴푀퐵̂ − ) = − cos(퐴푀퐵̂ ). 2 Therefore: 퐴푚퐵 푀퐵 ∙ cos(퐴푀퐵̂ ) = (1). 퐴푚퐶 푀퐶 ∙ cos(퐴푀퐶̂ ) In the same way, we find that: 퐵푚퐶 푀퐶 cos(퐵푀퐶̂ ) = ∙ (2); 퐵푚퐴 푀퐴 cos(퐴푀퐵̂ ) 퐶푚퐴 푀퐴 cos(퐴푀퐶̂ ) = ∙ (3). 퐶푚퐵 푀퐵 cos(퐵푀퐶̂ ) The relations (1), (2), (3), and the reciprocal Theorem of Menelaus lead to the collinearity of points 퐴푚, 퐵푚, 퐶푚. Note Bobillier's Theorem can be obtained – by converting the duality with respect to a circle – from the theorem relative to the concurrency of the heights of a triangle.
    [Show full text]
  • The Generalization of Miquels Theorem
    THE GENERALIZATION OF MIQUEL’S THEOREM ANDERSON R. VARGAS Abstract. This papper aims to present and demonstrate Clifford’s version for a generalization of Miquel’s theorem with the use of Euclidean geometry arguments only. 1. Introduction At the end of his article, Clifford [1] gives some developments that generalize the three circles version of Miquel’s theorem and he does give a synthetic proof to this generalization using arguments of projective geometry. The series of propositions given by Clifford are in the following theorem: Theorem 1.1. (i) Given three straight lines, a circle may be drawn through their intersections. (ii) Given four straight lines, the four circles so determined meet in a point. (iii) Given five straight lines, the five points so found lie on a circle. (iv) Given six straight lines, the six circles so determined meet in a point. That can keep going on indefinitely, that is, if n ≥ 2, 2n straight lines determine 2n circles all meeting in a point, and for 2n +1 straight lines the 2n +1 points so found lie on the same circle. Remark 1.2. Note that in the set of given straight lines, there is neither a pair of parallel straight lines nor a subset with three straight lines that intersect in one point. That is being considered all along the work, without further ado. arXiv:1812.04175v1 [math.HO] 11 Dec 2018 In order to prove this generalization, we are going to use some theorems proposed by Miquel [3] and some basic lemmas about a bunch of circles and their intersections, and we will follow the idea proposed by Lebesgue[2] in a proof by induction.
    [Show full text]
  • Linear Features in Photogrammetry
    Linear Features in Photogrammetry by Ayman Habib Andinet Asmamaw Devin Kelley Manja May Report No. 450 Geodetic Science and Surveying Department of Civil and Environmental Engineering and Geodetic Science The Ohio State University Columbus, Ohio 43210-1275 January 2000 Linear Features in Photogrammetry By: Ayman Habib Andinet Asmamaw Devin Kelley Manja May Report No. 450 Geodetic Science and Surveying Department of Civil and Environmental Engineering and Geodetic Science The Ohio State University Columbus, Ohio 43210-1275 January, 2000 ABSTRACT This research addresses the task of including points as well as linear features in photogrammetric applications. Straight lines in object space can be utilized to perform aerial triangulation. Irregular linear features (natural lines) in object space can be utilized to perform single photo resection and automatic relative orientation. When working with primitives, it is important to develop appropriate representations in image and object space. These representations must accommodate for the perspective projection relating the two spaces. There are various options for representing linear features in the above applications. These options have been explored, and an optimal representation has been chosen. An aerial triangulation technique that utilizes points and straight lines for frame and linear array scanners has been implemented. For this task, the MSAT (Multi Sensor Aerial Triangulation) software, developed at the Ohio State University, has been extended to handle straight lines. The MSAT software accommodates for frame and linear array scanners. In this research, natural lines were utilized to perform single photo resection and automatic relative orientation. In single photo resection, the problem is approached with no knowledge of the correspondence of natural lines between image space and object space.
    [Show full text]
  • 1.3 Collinear, Betweenness, and Assumptions Date: Goals: How Are Diagrams Interpreted in the Study of Geometry
    1.3 Collinear, Betweenness, and Assumptions Date: Goals: How are diagrams interpreted in the study of geometry Collinear/Noncollinear: Three or more points that lie on the same line are collinear. Points that do not lie on the same line are noncollinear. Two points are always collinear. For a point to be between two other points, all three points must be collinear. Example 1: Use the diagram to the right to answer the following questions. a. Are points A, B, and C collinear? A Yes, B is between A and C. b. Is point B between A and D? B No, the three points are noncollinear. c. Name 3 noncollinear points. AEC, , and E D C d. Are points A and D collinear? Yes, two points are always collinear. The Triangle Inequality: For any three points, there are only two possibilies: 1. They are collinear. One point must be between the other two. Two of the distances must add to the third. 2. They are noncollinear. The three points will form a triangle. Any two of the lengths will add to be larger than the third. Example 2: If AB=12, BC=13, and AC=25, can we determine if the points are collinear? Yes, the lengths 12 and 13 add to 25, therefore the points are collinear. How to Interpret a Diagram: You Should Assume: You Should Not Assume: Straight lines and angles Right Angles Collinearity of points Congruent Segments Betweenness of points Congruent Angles Relative position of points Relative sizes of segments and angles Example 3: Use the diagram to the right to answer the following questions.
    [Show full text]
  • A Simple Way to Test for Collinearity in Spin Symmetry Broken Wave Functions: General Theory and Application to Generalized Hartree Fock
    A simple way to test for collinearity in spin symmetry broken wave functions: general theory and application to Generalized Hartree Fock David W. Small and Eric J. Sundstrom and Martin Head-Gordon Department of Chemistry, University of California, Berkeley, California 94720 and Chemical Sciences Division, Lawrence Berkeley National Laboratory, Berkeley, California 94720 (Dated: February 17, 2015) Abstract We introduce a necessary and sufficient condition for an arbitrary wavefunction to be collinear, i.e. its spin is quantized along some axis. It may be used to obtain a cheap and simple computa- tional procedure to test for collinearity in electronic structure theory calculations. We adapt the procedure for Generalized Hartree Fock (GHF), and use it to study two dissociation pathways in CO2. For these dissociation processes, the GHF wave functions transform from low-spin Unre- stricted Hartree Fock (UHF) type states to noncollinear GHF states and on to high-spin UHF type states, phenomena that are succinctly illustrated by the constituents of the collinearity test. This complements earlier GHF work on this molecule. 1 I. INTRODUCTION Electronic structure practitioners have long relied on spin-unrestricted Hartree Fock (UHF) and Density Functional Theory (DFT) for open-shell and strongly correlated sys- tems. A key reason for this is that the latter's multiradical nature is partially accommo- dated by unrestricted methods: the paired spin-up and spin-down electrons are allowed to separate, while maintaining their spin alignment along a three-dimensional axis, i.e. their spin collinearity. But, considering the great potential for diversity in multitradical systems, it is not a stretch to concede that this approach is not always reasonable.
    [Show full text]
  • Dissertation Hyperovals, Laguerre Planes And
    DISSERTATION HYPEROVALS, LAGUERRE PLANES AND HEMISYSTEMS { AN APPROACH VIA SYMMETRY Submitted by Luke Bayens Department of Mathematics In partial fulfillment of the requirements For the Degree of Doctor of Philosophy Colorado State University Fort Collins, Colorado Spring 2013 Doctoral Committee: Advisor: Tim Penttila Jeff Achter Willem Bohm Chris Peterson ABSTRACT HYPEROVALS, LAGUERRE PLANES AND HEMISYSTEMS { AN APPROACH VIA SYMMETRY In 1872, Felix Klein proposed the idea that geometry was best thought of as the study of invariants of a group of transformations. This had a profound effect on the study of geometry, eventually elevating symmetry to a central role. This thesis embodies the spirit of Klein's Erlangen program in the modern context of finite geometries { we employ knowledge about finite classical groups to solve long-standing problems in the area. We first look at hyperovals in finite Desarguesian projective planes. In the last 25 years a number of infinite families have been constructed. The area has seen a lot of activity, motivated by links with flocks, generalized quadrangles, and Laguerre planes, amongst others. An important element in the study of hyperovals and their related objects has been the determination of their groups { indeed often the only way of distinguishing them has been via such a calculation. We compute the automorphism group of the family of ovals constructed by Cherowitzo in 1998, and also obtain general results about groups acting on hyperovals, including a classification of hyperovals with large automorphism groups. We then turn our attention to finite Laguerre planes. We characterize the Miquelian Laguerre planes as those admitting a group containing a non-trivial elation and acting tran- sitively on flags, with an additional hypothesis { a quasiprimitive action on circles for planes of odd order, and insolubility of the group for planes of even order.
    [Show full text]
  • Euclidean Versus Projective Geometry
    Projective Geometry Projective Geometry Euclidean versus Projective Geometry n Euclidean geometry describes shapes “as they are” – Properties of objects that are unchanged by rigid motions » Lengths » Angles » Parallelism n Projective geometry describes objects “as they appear” – Lengths, angles, parallelism become “distorted” when we look at objects – Mathematical model for how images of the 3D world are formed. Projective Geometry Overview n Tools of algebraic geometry n Informal description of projective geometry in a plane n Descriptions of lines and points n Points at infinity and line at infinity n Projective transformations, projectivity matrix n Example of application n Special projectivities: affine transforms, similarities, Euclidean transforms n Cross-ratio invariance for points, lines, planes Projective Geometry Tools of Algebraic Geometry 1 n Plane passing through origin and perpendicular to vector n = (a,b,c) is locus of points x = ( x 1 , x 2 , x 3 ) such that n · x = 0 => a x1 + b x2 + c x3 = 0 n Plane through origin is completely defined by (a,b,c) x3 x = (x1, x2 , x3 ) x2 O x1 n = (a,b,c) Projective Geometry Tools of Algebraic Geometry 2 n A vector parallel to intersection of 2 planes ( a , b , c ) and (a',b',c') is obtained by cross-product (a'',b'',c'') = (a,b,c)´(a',b',c') (a'',b'',c'') O (a,b,c) (a',b',c') Projective Geometry Tools of Algebraic Geometry 3 n Plane passing through two points x and x’ is defined by (a,b,c) = x´ x' x = (x1, x2 , x3 ) x'= (x1 ', x2 ', x3 ') O (a,b,c) Projective Geometry Projective Geometry
    [Show full text]
  • Proof with Parallelogram Vertices
    Proof with Parallelogram Vertices About Illustrations: Illustrations of the Standards for Mathematical Practice (SMP) consist of several pieces, including a mathematics task, student dialogue, mathematical overview, teacher reflection questions, and student materials. While the primary use of Illustrations is for teacher learning about the SMP, some components may be used in the classroom with students. These include the mathematics task, student dialogue, and student materials. For additional Illustrations or to learn about a professional development curriculum centered around the use of Illustrations, please visit mathpractices.edc.org. About the Proof with Parallelogram Vertices Illustration: This Illustration’s student dialogue shows the conversation among three students who are trying to prove a conjecture they’ve made regarding the location of the possible fourth vertices of a parallelogram given only three vertices. As students try to prove their conjecture they struggle with proving the collinearity of points and begin intuitively using the parallel postulate. Highlighted Standard(s) for Mathematical Practice (MP) MP 1: Make sense of problems and persevere in solving them. MP 3: Construct viable arguments and critique reasoning of others. MP 6: Attend to precision. Target Grade Level: Grades 9–10 Target Content Domain: Congruence (Geometry Conceptual Category) Highlighted Standard(s) for Mathematical Content G-CO.C.9 Prove theorems about lines and angles. Theorems include: vertical angles are congruent; when a transversal crosses parallel lines, alternate interior angles are congruent and corresponding angles are congruent; points on a perpendicular bisector of a line segment are exactly those equidistant from the segment’s endpoints. G-CO.C.10 Prove theorems about triangles.
    [Show full text]
  • Diagnostic Tools and Remedial Methods for Collinearity in Linear Regression Models with Spatially Varying Coefficients
    DIAGNOSTIC TOOLS AND REMEDIAL METHODS FOR COLLINEARITY IN LINEAR REGRESSION MODELS WITH SPATIALLY VARYING COEFFICIENTS DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By David C. Wheeler, M.A.S., M.A. ***** The Ohio State University 2006 Dissertation Committee: Approved by Professor Morton O’Kelly, Advisor ____________________ Professor Catherine Calder, Advisor Advisor Graduate Program in Geography Professor Prem Goel Professor Ningchuan Xiao ABSTRACT The realization in the statistical and geographical sciences that a relationship between an explanatory variable and a response variable in a linear regression model is not always constant across a study area has lead to the development of regression models that allow for spatially varying coefficients. Two competing models of this type are geographically weighted regression (GWR) and Bayesian regression models with spatially varying coefficient processes (SVCP). In the application of these spatially varying coefficient models, marginal inference on the regression coefficient spatial processes is typically of primary interest. In light of this fact, there is a need to assess the validity of such marginal inferences, since these inferences may be misleading in the presence of explanatory variable collinearity. The presence of local collinearity in the absence of global collinearity necessitates the use of diagnostic tools in the local regression model building process to highlight areas in which the results are not reliable for statistical inference. The method of ridge regression and the lasso can also be integrated into the GWR framework to constrain and stabilize regression coefficients and lower prediction error.
    [Show full text]
  • Classifying Similar Triangles Inscribed in a Given Triangle Arthur Holshouser 3600 Bullard St
    Classifying Similar Triangles Inscribed in a Given Triangle Arthur Holshouser 3600 Bullard St. Charlotte, NC, USA Harold Reiter Department of Mathematics, University of North Carolina Charlotte, Charlotte, NC 28223, USA [email protected] 1 Abstract Suppose 4ABC and 4A0B0C0 are given triangles whose vertices A; B; C and A0;B0;C0 are given in counterclockwise order. We show how to find and classify all triangles 4ABC inscribed in 4ABC with A; B; C lying on the infinite lines BC; CA; AB respectively and with angle A = A0; B = B0; C = C0 so that 4ABC is directly (or inversely) similar to 4A0B0C0. This seemingly complex problem has a remarkably simple and revealing solution. 2 Introduction Suppose 4ABC and 4A0B0C0 are similar triangles with angle A = A0;B = B0;C = C0. If the rotation determined by the points A; B; C taken in order is counterclockwise and the rotation A0;B0;C0 is counterclockwise, or vice versa, the triangles are said to be directly similar. If one rotation is clockwise and the other rotation is counterclockwise, the triangles are said to be inversely similar. See [1], p.37. If one vertex A of a variable triangle 4ABC is fixed, a second vertex B describes a given straight line l and the triangle remains directly (or inversely) similar to a given triangle, then the third vertex C describes a straight line l: See [1], p.49. Figure 1 makes this easy to understand. 1 •.. .. .. l .. .. .. .. A .. .. .....................................................................................................................................................................................................................................................
    [Show full text]