DOCSLIB.ORG

Homotheties and Similarities a File of the Geometrikon Gallery by Paris Pamfilos

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Homotheties and Similarities a File of the Geometrikon Gallery by Paris Pamfilos Homotheties and Similarities A file of the Geometrikon gallery by Paris Pamfilos We shall not cease from exploration And the end of all our exploring Will be to arrive where we started And know the place for the first time. T.S. Eliot, Little Gidding Contents (Last update: 30‑05‑2021) 1 Homotheties 1 2 Homotheties and triangles 2 3 Homotheties with different centers 4 4 Homotheties and translations 5 5 Representation and group properties of homotheties 6 6 Similarities, general definitions 7 7 Similarities defined by two segments 9 8 Similarities and orientation 13 9 Similarities and triangles 14 10 Triangles varying by similarity 16 11 Relative position in similar figures 18 12 Polygons on the sides of a triangle 19 13 Representation and group properties of similarities 24 14 Logarithmic spiral and pursuit curves 24 1 Homotheties Homotheties of the plane and their generalization, the “similarities”, to be discussed be‑ low, are transformations which generalize those of “isometries” or “congruences” of the plane (see file Isometries). Given a number 휅 ≠ 0 and point 푂 of the plane, we call “homothety” of “center” 푂 and “ratio” 휅 the transformation which corresponds: a) to point 푂, itself, b) to every point 푋 ≠ 푂 the point 푋′ on the line 푂푋, such that the following signed ratio relation holds: 푂푋′ = 휅. 푂푋 A direct consequence of the definition is, that for every point 푂 the homothety of center 2 Homotheties and triangles 2 O X X' Figure 1: Homothety 푂 and ratio 휅 = 1 is the identity transformation. Often, when the ratio is 휅 < 0 we say that the transformation is an “antihomothety”. Its characteristic is that point 푂 is between 푋 and 푋′. Theorem 1. The composition of two homotheties with center 푂 and ratios 휅 and 휆 is a homothety of center 푂 and ratio 휅 ⋅ 휆. Proof. Obvious consequence of the definition. If 푓 and 푔 are the two homotheties with the same center 푂 and ratios respectively 휅 and 휆, then, for every point 푋, points 푌 = 푓 (푋), 푍 = 푔(푌) and 푂 will be four points on the same line and will satisfy, 푂푌 푂푍 푂푍 푂푍 푂푌 = 휅, = 휆 ⇒ = ⋅ = 휆 ⋅ 휅 . 푂푋 푂푌 푂푋 푂푌 푂푋 Corollary 1. The inverse transformation of a homothety 푓 , of center 푂 and ratio 휅, is the homothety 1 with the same center and ratio 휅 . Remark 1. The homothety is a special transformation closely connected with Thales’ the‑ orem and the “similarity of triangles”, i.e “triangles which have equal corresponding angles” 퐿푒푓 푡푟푖푔ℎ푡푎푟푟표푤 “triangles which have proportional corresponding sides”. Two triangles, and more general two shapes {Σ, Σ′} are called “homothetic” when there exists a homothety 푓 mapping one onto the other 푓 (Σ) = Σ′. Exercise 1. Find all homotheties that transform a given point 푋 to another point 푋′ ≠ 푋. Homothetic triangles are particular cases of “similar triangles” and are the key to in‑ vestigate properties of more general homothetic shapes. 2 Homotheties and triangles Theorem 2. A homothety 푓 with center 푂 maps a triangle 푂푋푌 to a similar triangle 푂푋′푌′ with {푋′ = 푓 (푋), 푌′ = 푓 (푌)}, the sides {푋푌, 푋′푌′} being parallel. Proof. A simple application of Thales’ theorem. Corollary 1. A homothety maps a line 휀 to a parallel line 휀′. Exercise 2. Find all homotheties that transform a given line 휀 to a given parallel to it 휀′. Distin‑ guish the cases {휀 ≠ 휀′ , 휀 = 휀′}. Theorem 3. A homothety maps a triangle 퐴퐵퐶 to a similar triangle 퐴′퐵′퐶′. Proof. Application of the previous corollary and Thales’ theorem. Corollary 2. A homothety 푓 preserves the angles and multiplies the distances between points with its ratio. In other words, for every pair of points 푋, 푌 and their images 푋′ = 푓 (푋), 푌′ = 푓 (푌) holds |푋′푌′| = 휅|푋푌| and for every three points the respective angles are preserved 푌′̂푋′푍′ = 푌푋푍̂ . 2 Homotheties and triangles 3 Exercise 3. Show that there is no genuine homothety with ratio 푘 ≠ 1 mapping a triangle to itself. Theorem 4. Two triangles 퐴퐵퐶 and 퐴′퐵′C′, which have their corresponding sides parallel are similar. C C 1 C' Α Β Β Β 2 1 Α' Β' C 2 Figure 2: Triangles with corresponding sides parallel Proof. Translate triangle 퐴′퐵′C′ and place it in such a way, that the vertices 퐴 and 퐴′ coincide and the lines of their sides 퐴퐵, 퐴C coincide respectively with 퐴′퐵′ and 퐴′C′ (See Figure 2). The translated triangle will take the position 퐴퐵1C1 or 퐴퐵2C2, with its third side parallel to 퐵C. Therefore, it will be similar to 퐴퐵퐶, while it is also congruent to the initial 퐴′퐵′C′. Theorem 5. For two triangles 퐴퐵퐶 and 퐴′퐵′C′, which have parallel corresponding sides, the lines 퐴퐴′, 퐵퐵′ and CC′, which join the vertices with the corresponding equal angles, either pass through a common point and the triangles are homothetic, or are parallel and the triangles are congruent. A' A A B O B' C' B' C B O C' C A' Figure 3: Homothetic triangles Proof. Let 푂 be the intersection point of 퐴퐴′ and 퐵퐵′. We will show that CC′ also passes |퐴퐵| |푂퐴| |푂퐵| through point 푂. According to Thales, we have equal ratios |퐴′퐵′| = |푂퐴′| = |푂퐵′| =휅. Con‑ C C″ |푂C| ′ ′C″ sider therefore on 푂 point with |푂C″| =휅. The created triangle 퐴 퐵 has sides pro‑ portional to those of 퐴퐵퐶, therefore it is similar to it and consequently has the same angles. It follows, that 퐴′퐵′C′ and 퐴′퐵′C″ have 퐴′퐵′ in common and same angles at 퐴′ and 퐵′, therefore they coincide and C′ = C″, in other words, 푂C passes through C′ too. This reasoning shows also that, if the two lines 퐴퐴′ and 퐵퐵′ do not intersect, that is if they are parallel, then the third line will also be necessarily parallel to them and 퐴퐵퐵′퐴′, 퐵CC′퐵′ and 퐴CC′퐴′ will be parallelograms, therefore the triangles will have correspond‑ ing sides equal. 3 Homotheties with different centers 4 3 Homotheties with different centers Theorem 6. The composition of two homotheties 푓 and 푔 with different centers 푂 and 푃 and ratios respectively 휅 and 휆, with 휅 ⋅ 휆 ≠ 1, is a homothety with center 푇 on the line 푂푃 and ratio equal to 휅 ⋅ 휆. Proof. The proof is an interesting application of Menelaus’ theorem (see file Menelaus’ theorem). Let 푋 be an arbitrary point and 푌 = 푓 (푋), 푍 = 푔(푌). This defines the triangle 푂푌푃 and the points 푋, 푍 are contained in its sides 푂푌 and 푌푃 respectively. Let 푇 be the intersection point of 푍푋 with 푂푃. Applying Menelaus’ theorem we have, Z Y X T P O Figure 4: Composition of homotheties with 휅휆 ≠ 1 푋푂 푍푌 푇푃 푇푃 푋푌 푍푃 ⋅ ⋅ = 1 ⇒ = ⋅ . 푋푌 푍푃 푇푂 푇푂 푋푂 푍푌 However, for the oriented line segments holds 푋푌 푋푂 + 푂푌 푂푌 푋푌 = 푋푂 + 푂푌 ⇒ = = 1 + = 1 − 휅, 푋푂 푋푂 푋푂 푍푌 푍푃 + 푃푌 푃푌 1 푍푌 = 푍푃 + 푃푌 ⇒ = = 1 + = 1 − ⇒ 푍푃 푍푃 푍푃 휆 푇푃 푋푌 푍푃 1 휆 ⋅ (1 − 휅) = ⋅ = (1 − 휅) ⋅ ⎜⎛ ⎟⎞ = . 푇푂 푋푂 푍푌 1 휆 − 1 ⎝1 − 휆 ⎠ The last formula shows, that the position of 푇 on the line 푂푃 is fixed and independent 푇푍 of 푋. In addition, the ratio 휇 = 푇푋 is calculated, by applying Menelaus’ theorem to the triangle 푂푋푇, this time with 푃푌 as secant: 푃푇 푍푋 푌푂 ⋅ ⋅ = 1 ⇒ 푃푂 푍푇 푌푋 푍푋 푌푋 푃푂 = ⋅ ⇔ 푍푇 푌푂 푃푇 푍푇 + 푇푋 푌푂 + 푂푋 푃푇 + 푇푂 = ⋅ ⇔ 푍푇 푌푂 푃푇 1 푂푋 푇푂 1 − = (1 + ) (1 + ) ⇔ 휇 푌푂 푃푇 1 1 휆 − 1 1 − = (1 − ) (1 − ) ⇔ 휇 휅 휆(1 − 휅) 휇 = 휅휆 . Theorem 7. The composition of two homotheties 푓 and 푔 with different centers 푂 and 푃 respec‑ tively and ratios 휅 and 휆 with 휅 ⋅ 휆 = 1 is a translation by interval parallel to 푂푃. 4 Homotheties and translations 5 Y Z X P O Figure 5: Composition of homotheties with 휅휆 = 1 Proof. Let 푋 be an arbitrary point and 푌 = 푓 (푋), 푍 = 푔(푌). This defines the triangle 푂푌푃 and the points 푋, 푍 are contained in its sides 푂푌 and 푌푃 respectively. According to the hypothesis 푌푋 푌푂 + 푂푋 1 푌푍 푌푃 + 푃푍 푃푍 1 = = 1 − , = = 1 − = 1 − 휆 = 1 − . 푌푂 푌푂 휅 푌푃 푌푃 푌푃 휅 The equality of the ratios shows, that the line segment 푋푍 is parallel to 푂푃. From the similarity of triangles 푌푂푃 and 푌푋푍, follows that 푋푍 = (1 − 휆)푂푃, therefore 푋푍 has fixed length and direction. 4 Homotheties and translations Theorem 8. The composition 푔 ∘ 푓 of a homothety and a translation 푔 is a homothety. Proof. Assume that the homothety has center 푂 and ratio 휅 and the translation is defined by the fixed, oriented line segment 퐴퐵. Let also 푋 ≠ 푂 be arbitrary and 푌 = 푓 (푋), 푍 = 푔(푌). Assume finally that 푃 is the intersection of the line 푋푍 and the line 휀 is the parallel Y A B Z X ε P O Figure 6: Compositions of homotheties and a translation to 퐴퐵 from 푂 (See Figure 6). From the similarity of the triangles 푋푌푍 and 푂푋푃 follows that 푂푃 푂푃 푂푋 푂푋 1 1 1 = = = = = ⇒ 푂푃 = 퐴퐵. 퐴퐵 푌푍 푌푋 푌푂 + 푂푋 푌푂+푂푋 1 − 휅 1 − 휅 푂푋 It follows that the position of 푃 on 휀 is fixed and independent of 푋. Also for the ratio, 푃푍 푂푌 = = 휅. 푃푋 푂푋 Therefore the composition 푔 ∘ 푓 is a homothety of center 푃 and ratio 휅.
Load more

Recommended publications
  • LINEAR ALGEBRA METHODS in COMBINATORICS László Babai
    LINEAR ALGEBRA METHODS IN COMBINATORICS L´aszl´oBabai and P´eterFrankl Version 2.1∗ March 2020 ||||| ∗ Slight update of Version 2, 1992. ||||||||||||||||||||||| 1 c L´aszl´oBabai and P´eterFrankl. 1988, 1992, 2020. Preface Due perhaps to a recognition of the wide applicability of their elementary concepts and techniques, both combinatorics and linear algebra have gained increased representation in college mathematics curricula in recent decades. The combinatorial nature of the determinant expansion (and the related difficulty in teaching it) may hint at the plausibility of some link between the two areas. A more profound connection, the use of determinants in combinatorial enumeration goes back at least to the work of Kirchhoff in the middle of the 19th century on counting spanning trees in an electrical network. It is much less known, however, that quite apart from the theory of determinants, the elements of the theory of linear spaces has found striking applications to the theory of families of finite sets. With a mere knowledge of the concept of linear independence, unexpected connections can be made between algebra and combinatorics, thus greatly enhancing the impact of each subject on the student's perception of beauty and sense of coherence in mathematics. If these adjectives seem inflated, the reader is kindly invited to open the first chapter of the book, read the first page to the point where the first result is stated (\No more than 32 clubs can be formed in Oddtown"), and try to prove it before reading on. (The effect would, of course, be magnified if the title of this volume did not give away where to look for clues.) What we have said so far may suggest that the best place to present this material is a mathematics enhancement program for motivated high school students.
    [Show full text]
  • Configurations on Centers of Bankoff Circles 11
    CONFIGURATIONS ON CENTERS OF BANKOFF CIRCLES ZVONKO CERINˇ Abstract. We study configurations built from centers of Bankoff circles of arbelos erected on sides of a given triangle or on sides of various related triangles. 1. Introduction For points X and Y in the plane and a positive real number λ, let Z be the point on the segment XY such that XZ : ZY = λ and let ζ = ζ(X; Y; λ) be the figure formed by three mj utuallyj j tangenj t semicircles σ, σ1, and σ2 on the same side of segments XY , XZ, and ZY respectively. Let S, S1, S2 be centers of σ, σ1, σ2. Let W denote the intersection of σ with the perpendicular to XY at the point Z. The figure ζ is called the arbelos or the shoemaker's knife (see Fig. 1). σ σ1 σ2 PSfrag replacements X S1 S Z S2 Y XZ Figure 1. The arbelos ζ = ζ(X; Y; λ), where λ = jZY j . j j It has been the subject of studies since Greek times when Archimedes proved the existence of the circles !1 = !1(ζ) and !2 = !2(ζ) of equal radius such that !1 touches σ, σ1, and ZW while !2 touches σ, σ2, and ZW (see Fig. 2). 1991 Mathematics Subject Classification. Primary 51N20, 51M04, Secondary 14A25, 14Q05. Key words and phrases. arbelos, Bankoff circle, triangle, central point, Brocard triangle, homologic. 1 2 ZVONKO CERINˇ σ W !1 σ1 !2 W1 PSfrag replacements W2 σ2 X S1 S Z S2 Y Figure 2. The Archimedean circles !1 and !2 together.
    [Show full text]
  • Kaleidoscopic Symmetries and Self-Similarity of Integral Apollonian Gaskets
    Kaleidoscopic Symmetries and Self-Similarity of Integral Apollonian Gaskets Indubala I Satija Department of Physics, George Mason University , Fairfax, VA 22030, USA (Dated: April 28, 2021) Abstract We describe various kaleidoscopic and self-similar aspects of the integral Apollonian gaskets - fractals consisting of close packing of circles with integer curvatures. Self-similar recursive structure of the whole gasket is shown to be encoded in transformations that forms the modular group SL(2;Z). The asymptotic scalings of curvatures of the circles are given by a special set of quadratic irrationals with continued fraction [n + 1 : 1; n] - that is a set of irrationals with period-2 continued fraction consisting of 1 and another integer n. Belonging to the class n = 2, there exists a nested set of self-similar kaleidoscopic patterns that exhibit three-fold symmetry. Furthermore, the even n hierarchy is found to mimic the recursive structure of the tree that generates all Pythagorean triplets arXiv:2104.13198v1 [math.GM] 21 Apr 2021 1 Integral Apollonian gaskets(IAG)[1] such as those shown in figure (1) consist of close packing of circles of integer curvatures (reciprocal of the radii), where every circle is tangent to three others. These are fractals where the whole gasket is like a kaleidoscope reflected again and again through an infinite collection of curved mirrors that encodes fascinating geometrical and number theoretical concepts[2]. The central themes of this paper are the kaleidoscopic and self-similar recursive properties described within the framework of Mobius¨ transformations that maps circles to circles[3]. FIG. 1: Integral Apollonian gaskets.
    [Show full text]
  • Strophoids, a Family of Cubic Curves with Remarkable Properties
    Hellmuth STACHEL STROPHOIDS, A FAMILY OF CUBIC CURVES WITH REMARKABLE PROPERTIES Abstract: Strophoids are circular cubic curves which have a node with orthogonal tangents. These rational curves are characterized by a series or properties, and they show up as locus of points at various geometric problems in the Euclidean plane: Strophoids are pedal curves of parabolas if the corresponding pole lies on the parabola’s directrix, and they are inverse to equilateral hyperbolas. Strophoids are focal curves of particular pencils of conics. Moreover, the locus of points where tangents through a given point contact the conics of a confocal family is a strophoid. In descriptive geometry, strophoids appear as perspective views of particular curves of intersection, e.g., of Viviani’s curve. Bricard’s flexible octahedra of type 3 admit two flat poses; and here, after fixing two opposite vertices, strophoids are the locus for the four remaining vertices. In plane kinematics they are the circle-point curves, i.e., the locus of points whose trajectories have instantaneously a stationary curvature. Moreover, they are projections of the spherical and hyperbolic analogues. For any given triangle ABC, the equicevian cubics are strophoids, i.e., the locus of points for which two of the three cevians have the same lengths. On each strophoid there is a symmetric relation of points, so-called ‘associated’ points, with a series of properties: The lines connecting associated points P and P’ are tangent of the negative pedal curve. Tangents at associated points intersect at a point which again lies on the cubic. For all pairs (P, P’) of associated points, the midpoints lie on a line through the node N.
    [Show full text]
  • 9 · the Growth of an Empirical Cartography in Hellenistic Greece
    9 · The Growth of an Empirical Cartography in Hellenistic Greece PREPARED BY THE EDITORS FROM MATERIALS SUPPLIED BY GERMAINE AUJAe There is no complete break between the development of That such a change should occur is due both to po­ cartography in classical and in Hellenistic Greece. In litical and military factors and to cultural developments contrast to many periods in the ancient and medieval within Greek society as a whole. With respect to the world, we are able to reconstruct throughout the Greek latter, we can see how Greek cartography started to be period-and indeed into the Roman-a continuum in influenced by a new infrastructure for learning that had cartographic thought and practice. Certainly the a profound effect on the growth of formalized know­ achievements of the third century B.C. in Alexandria had ledge in general. Of particular importance for the history been prepared for and made possible by the scientific of the map was the growth of Alexandria as a major progress of the fourth century. Eudoxus, as we have seen, center of learning, far surpassing in this respect the had already formulated the geocentric hypothesis in Macedonian court at Pella. It was at Alexandria that mathematical models; and he had also translated his Euclid's famous school of geometry flourished in the concepts into celestial globes that may be regarded as reign of Ptolemy II Philadelphus (285-246 B.C.). And it anticipating the sphairopoiia. 1 By the beginning of the was at Alexandria that this Ptolemy, son of Ptolemy I Hellenistic period there had been developed not only the Soter, a companion of Alexander, had founded the li­ various celestial globes, but also systems of concentric brary, soon to become famous throughout the Mediter­ spheres, together with maps of the inhabited world that ranean world.
    [Show full text]
  • 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]
  • Volume 6 (2006) 1–16
    FORUM GEOMETRICORUM A Journal on Classical Euclidean Geometry and Related Areas published by Department of Mathematical Sciences Florida Atlantic University b bbb FORUM GEOM Volume 6 2006 http://forumgeom.fau.edu ISSN 1534-1178 Editorial Board Advisors: John H. Conway Princeton, New Jersey, USA Julio Gonzalez Cabillon Montevideo, Uruguay Richard Guy Calgary, Alberta, Canada Clark Kimberling Evansville, Indiana, USA Kee Yuen Lam Vancouver, British Columbia, Canada Tsit Yuen Lam Berkeley, California, USA Fred Richman Boca Raton, Florida, USA Editor-in-chief: Paul Yiu Boca Raton, Florida, USA Editors: Clayton Dodge Orono, Maine, USA Roland Eddy St. John’s, Newfoundland, Canada Jean-Pierre Ehrmann Paris, France Chris Fisher Regina, Saskatchewan, Canada Rudolf Fritsch Munich, Germany Bernard Gibert St Etiene, France Antreas P. Hatzipolakis Athens, Greece Michael Lambrou Crete, Greece Floor van Lamoen Goes, Netherlands Fred Pui Fai Leung Singapore, Singapore Daniel B. Shapiro Columbus, Ohio, USA Steve Sigur Atlanta, Georgia, USA Man Keung Siu Hong Kong, China Peter Woo La Mirada, California, USA Technical Editors: Yuandan Lin Boca Raton, Florida, USA Aaron Meyerowitz Boca Raton, Florida, USA Xiao-Dong Zhang Boca Raton, Florida, USA Consultants: Frederick Hoffman Boca Raton, Floirda, USA Stephen Locke Boca Raton, Florida, USA Heinrich Niederhausen Boca Raton, Florida, USA Table of Contents Khoa Lu Nguyen and Juan Carlos Salazar, On the mixtilinear incircles and excircles,1 Juan Rodr´ıguez, Paula Manuel and Paulo Semi˜ao, A conic associated with the Euler line,17 Charles Thas, A note on the Droz-Farny theorem,25 Paris Pamfilos, The cyclic complex of a cyclic quadrilateral,29 Bernard Gibert, Isocubics with concurrent normals,47 Mowaffaq Hajja and Margarita Spirova, A characterization of the centroid using June Lester’s shape function,53 Christopher J.
    [Show full text]
  • Extension of Algorithmic Geometry to Fractal Structures Anton Mishkinis
    Extension of algorithmic geometry to fractal structures Anton Mishkinis To cite this version: Anton Mishkinis. Extension of algorithmic geometry to fractal structures. General Mathematics [math.GM]. Université de Bourgogne, 2013. English. NNT : 2013DIJOS049. tel-00991384 HAL Id: tel-00991384 https://tel.archives-ouvertes.fr/tel-00991384 Submitted on 15 May 2014 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. Thèse de Doctorat école doctorale sciences pour l’ingénieur et microtechniques UNIVERSITÉ DE BOURGOGNE Extension des méthodes de géométrie algorithmique aux structures fractales ■ ANTON MISHKINIS Thèse de Doctorat école doctorale sciences pour l’ingénieur et microtechniques UNIVERSITÉ DE BOURGOGNE THÈSE présentée par ANTON MISHKINIS pour obtenir le Grade de Docteur de l’Université de Bourgogne Spécialité : Informatique Extension des méthodes de géométrie algorithmique aux structures fractales Soutenue publiquement le 27 novembre 2013 devant le Jury composé de : MICHAEL BARNSLEY Rapporteur Professeur de l’Université nationale australienne MARC DANIEL Examinateur Professeur de l’école Polytech Marseille CHRISTIAN GENTIL Directeur de thèse HDR, Maître de conférences de l’Université de Bourgogne STEFANIE HAHMANN Examinateur Professeur de l’Université de Grenoble INP SANDRINE LANQUETIN Coencadrant Maître de conférences de l’Université de Bourgogne RONALD GOLDMAN Rapporteur Professeur de l’Université Rice ANDRÉ LIEUTIER Rapporteur “Technology scientific director” chez Dassault Systèmes Contents 1 Introduction 1 1.1 Context .
    [Show full text]
  • NATURAL STRUCTURES in DIFFERENTIAL GEOMETRY Lucas
    NATURAL STRUCTURES IN DIFFERENTIAL GEOMETRY Lucas Mason-Brown A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in mathematics Trinity College Dublin March 2015 Declaration I declare that the thesis contained herein is entirely my own work, ex- cept where explicitly stated otherwise, and has not been submitted for a degree at this or any other university. I grant Trinity College Dublin per- mission to lend or copy this thesis upon request, with the understanding that this permission covers only single copies made for study purposes, subject to normal conditions of acknowledgement. Contents 1 Summary 3 2 Acknowledgment 6 I Natural Bundles and Operators 6 3 Jets 6 4 Natural Bundles 9 5 Natural Operators 11 6 Invariant-Theoretic Reduction 16 7 Classical Results 24 8 Natural Operators on Differential Forms 32 II Natural Operators on Alternating Multivector Fields 38 9 Twisted Algebras in VecZ 40 10 Ordered Multigraphs 48 11 Ordered Multigraphs and Natural Operators 52 12 Gerstenhaber Algebras 57 13 Pre-Gerstenhaber Algebras 58 irred 14 A Lie-admissable Structure on Graacyc 63 irred 15 A Co-algebra Structure on Graacyc 67 16 Loday's Rigidity Theorem 75 17 A Useful Consequence of K¨unneth'sTheorem 83 18 Chevalley-Eilenberg Cohomology 87 1 Summary Many of the most important constructions in differential geometry are functorial. Take, for example, the tangent bundle. The tangent bundle can be profitably viewed as a functor T : Manm ! Fib from the category of m-dimensional manifolds (with local diffeomorphisms) to 3 the category of fiber bundles (with locally invertible bundle maps).
    [Show full text]
  • Lectures – Math 128 – Geometry – Spring 2002
    Lectures { Math 128 { Geometry { Spring 2002 Day 1 ∼∼∼ ∼∼∼ Introduction 1. Introduce Self 2. Prerequisites { stated prereq is math 52, but might be difficult without math 40 Syllabus Go over syllabus Overview of class Recent flurry of mathematical work trying to discover shape of space • Challenge assumption space is flat, infinite • space picture with Einstein quote • will discuss possible shapes for 2D and 3D spaces • this is topology, but will learn there is intrinsic link between top and geometry • to discover poss shapes, need to talk about poss geometries • Geometry = set + group of transformations • We will discuss geometries, symmetry groups • Quotient or identification geometries give different manifolds / orbifolds • At end, we'll come back to discussing theories for shape of universe • How would you try to discover shape of space you're living in? 2 Dimensional Spaces { A Square 1. give face, 3D person can do surgery 2. red thread, possible shapes, veered? 3. blue thread, never crossed, possible shapes? 4. what about NE direction? 1 List of possibilities: classification (closed) 1. list them 2. coffee cup vs donut How to tell from inside { view inside small torus 1. old bi-plane game, now spaceship 2. view in each direction (from flat torus point of view) 3. tiling pictures 4. fundamental domain { quotient geometry 5. length spectra can tell spaces apart 6. finite area 7. which one is really you? 8. glueing, animation of folding torus 9. representation, with arrows 10. discuss transformations 11. torus tic-tac-toe, chess on Friday Different geometries (can shorten or lengthen this part) 1. describe each of 3 geometries 2.
    [Show full text]
  • Apollonian Circles Patterns in Musical Scales Posing Problems Triangles
    Summer/Autumn 2017 A Problem Fit for a PrincessApollonian Apollonian Circles Gaskets Polygons and PatternsPrejudice in Exploring Musical Social Scales Issues Daydreams in MusicPosing Patterns Problems in Scales ProblemTriangles, Posing Squares, Empowering & Segregation Participants A NOTE FROM AIM #playwithmath Dear Math Teachers’ Circle Network, In this issue of the MTCircular, we hope you find some fun interdisciplinary math problems to try with your Summer is exciting for us, because MTC immersion MTCs. In “A Problem Fit for a Princess,” Chris Goff workshops are happening all over the country. We like traces the 2000-year history of a fractal that inspired his seeing the updates in real time, on Twitter. Your enthu- MTC’s logo. In “Polygons and Prejudice,” Anne Ho and siasm for all things math and problem solving is conta- Tara Craig use a mathematical frame to guide a con- gious! versation about social issues. In “Daydreams in Music,” Jeremy Aikin and Cory Johnson share a math session Here are some recent tweets we enjoyed from MTC im- motivated by patterns in musical scales. And for those mersion workshops in Cleveland, OH; Greeley, CO; and of you looking for ways to further engage your MTC San Jose, CA, respectively: participants’ mathematical thinking, Chris Bolognese and Mike Steward’s “Using Problem Posing to Empow- What happens when you cooperate in Blokus? er MTC Participants” will provide plenty of food for Try and create designs with rotational symmetry. thought. #toocool #jointhemath – @CrookedRiverMTC — Have MnMs, have combinatorial games Helping regions and states build networks of MTCs @NoCOMTC – @PaulAZeitz continues to be our biggest priority nationally.
    [Show full text]
  • Arxiv:1806.04129V2 [Math.GT] 23 Aug 2018 Dense, Although in Certain Cases It Is Locally the Product of a Cantor Set and an Interval
    ANGELS' STAIRCASES, STURMIAN SEQUENCES, AND TRAJECTORIES ON HOMOTHETY SURFACES JOSHUA BOWMAN AND SLADE SANDERSON Abstract. A homothety surface can be assembled from polygons by identifying their edges in pairs via homotheties, which are compositions of translation and scaling. We consider linear trajectories on a 1-parameter family of genus-2 homothety surfaces. The closure of a trajectory on each of these surfaces always has Hausdorff dimension 1, and contains either a closed loop or a lamination with Cantor cross-section. Trajectories have cutting sequences that are either eventually periodic or eventually Sturmian. Although no two of these surfaces are affinely equivalent, their linear trajectories can be related directly to those on the square torus, and thence to each other, by means of explicit functions. We also briefly examine two related families of surfaces and show that the above behaviors can be mixed; for instance, the closure of a linear trajectory can contain both a closed loop and a lamination. A homothety of the plane is a similarity that preserves directions; in other words, it is a composition of translation and scaling. A homothety surface has an atlas (covering all but a finite set of points) whose transition maps are homotheties. Homothety surfaces are thus generalizations of translation surfaces, which have been actively studied for some time under a variety of guises (measured foliations, abelian differentials, unfolded polygonal billiard tables, etc.). Like a translation surface, a homothety surface is locally flat except at a finite set of singular points|although in general it does not have an accompanying Riemannian metric|and it has a well-defined global notion of direction, or slope, again except at the singular points.
    [Show full text]