DOCSLIB.ORG

Arxiv:2010.05101V1 [Math.MG] 10 Oct 2020 in This Paper, We Prove the Following

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2010.05101V1 [Math.MG] 10 Oct 2020 in This Paper, We Prove the Following EVERY JORDAN CURVE INSCRIBES UNCOUNTABLY MANY RHOMBI ANTONY T.H. FUNG Abstract. We prove that every Jordan curve in R2 inscribes uncountably many rhombi. No regularity condition is assumed on the Jordan curve. 1. Introduction The inscribed square problem is a famous open problem due to Otto Toeplitz in 1911 [7], which asks whether all Jordan curves in R2 inscribe a square. By “inscribe”, it means that all four vertices lie on the curve. There are lots of results for the case when the Jordan curve is “nice” [2] [3] [4] [6]. However, other than Vaughan’s result stating that every Jordan curve in R2 inscribes a rectangle (see [5]), little progress has been done on the general case. One of the earliest results was Arnold Emch’s work [1]. In 1916, he proved that all piecewise analytic Jordan curves in R2 with only finitely many “bad” points in- scribe a square. Emch’s approach was that given a direction τ, construct the set of medians Mτ , defined as (roughly speaking) the set of midpoints of pairs of points on the curve that lie on the same line going in direction τ. When the Jordan curve is nice enough, Mτ is a nice path. Now consider an orthogonal direction σ and sim- ilarly construct Mσ. The paths Mτ and Mσ must intersect, and their intersections correspond to quadrilaterals with diagonals perpendicularly bisecting each other, i.e. rhombi. Then by rotating and using the intermediate value theorem, he showed that at some direction, one of those rhombi is a square. In this paper, we will follow a similar approach to show the existence of rhombi. However, without assuming analyticity, Mτ may not necessarily be a path. To get around this, we will define a new class of object called a pseudopath that has prop- erties similar to a path. Then we will show that Mτ is a pseudopath, and use those properties of pseudopath to proceed the argument. arXiv:2010.05101v1 [math.MG] 10 Oct 2020 In this paper, we prove the following: Theorem 1.1. Let γ : S1 ! R2 be a Jordan curve. Then there exists an open interval of angles such that there exists inscribed rhombi of all these angles. Furthermore, if γ does not contain a special corner, then there exists inscribed rhombi of all angles. In this section, we will define what is a rhombus of an angle and what is a special corner. In this paper, an inscribed rhombus is a set of 4 distinct points in im(γ) such that those 4 points are the vertices of a rhombus in R2. Date: October 13, 2020. 1 2 ANTONY T.H. FUNG A corollary of Theorem 1.1 is that every Jordan curve in R2 inscribes uncountably many rhombi. Definition 1.2 (line of angle θ). A line of angle θ means a line in the form x sin θ − y cos θ =constant. i.e. a line making angle θ with the x-axis in an anti-clockwise manner. Definition 1.3 (special corner of angle θ). Let γ : S1 ! R2 be a Jordan curve. A special corner of γ of angle θ is a point p 2 im(γ) such that both the line of angle θ π through p and the line of angle θ + through p only intersect im(γ) at p. 2 Figure 1: p is a special corner of angle θ Definition 1.4 (special corner). Let γ : S1 ! R2 be a Jordan curve. A point p is a special corner of γ if it is a special corner of γ of at least one angle θ. Intuitively, a special corner is a point on im(γ) such that translating to the origin and rotating, the entire curve lies within a single quadrant. Definition 1.5 (rhombus of angle θ). We say that a rhombus in R2 is a rhombus of π angle θ if the two diagonals are lines with angles θ and θ + respectively. 2 π Clearly, “rhombus of angle θ” and “rhombus of angle θ + 2 ” are the same concept. Now we can state Theorem 1.1 again in a more precise manner. We divide it into three separate statements. Proposition 1.6. Let γ : S1 ! R2 be a Jordan curve and θ 2 R. If there is no special corner of angle θ, then there exists an inscribed rhombus of angle θ. In particular, this implies that Jordan curves with no special corners have inscribed rhombi of all angles, and hence satisfying Theorem 1.1. Proposition 1.7. Let γ : S1 ! R2 be a Jordan curve with exactly one special corner. Then 9θ0 and > 0 such that 8θ 2 (θ0 − , θ0 + ), there is no special corner of angle θ. Together with Proposition 1.6, this implies that Jordan curves with exactly one special corner satisfy Theorem 1.1. Proposition 1.8. Let γ : S1 ! R2 be a Jordan curve with at least two special corners. Let p and q be distinct special corners of γ, and suppose that the line passing through p and q is a line of angle θ0 for some θ0. Then 9 > 0 such that 8θ 2 (θ0 − , θ0 + ), there exists an inscribed rhombus of angle θ. EVERY JORDAN CURVE INSCRIBES UNCOUNTABLY MANY RHOMBI 3 This implies that Jordan curves with at least two special corners satisfy Theorem 1.1. Together, Propositions 1.6, 1.7, 1.8 imply Theorem 1.1. We will quickly prove Proposition 1.7 first. Then in Section 2 we will develop some machinery in point-set topology to prove Proposition 1.6. In Section 3 we will prove Proposition 1.6. In Section 4 we will refine the arguments used in Section 3 to prove Proposition 1.8, and hence completing the proof of Theorem 1.1. Proof of Proposition 1.7. Suppose p is the unique special corner of a Jordan curve 1 2 γ : S ! R . Let q1; q2 be two other points in im(γ) such that p; q1; q2 are not collinear. Let q be the mid-point of q1 and q2. For each θ, let lθ be the line of angle θ through p. Let θ0 be such that lθ0 passes through q. Let = min(\q2pq; \qpq1). Then 8θ 2 (θ0 − , θ0 + ), q1 and q2 are on opposite sides of the lθ. Since im(γ)nfpg is path-connected, im(γ) must intersect lθ at a point other than p, and hence p is not a special corner of angle θ. Since p is the unique special corner of γ, there is no special corners of angle θ. Figure 2: Proof of Proposition 1.7 2. Some point-set topology We begin with our key concept. Definition 2.1 (pseudopath). Let X be a topological space, and p; q 2 X. A pseu- dopath between p and q is a compact set C ⊆ X such that p; q 2 C and 8 open set U containing C, 9 a path γ from p to q satisfying im(γ) ⊆ U. Intuitively, a pseudopath is a compact set that is arbitrarily close to containing a path. We note some properties of pseudopaths. First of all, clearly the image of a path is a pseudopath. So pseudopath is a gener- alization of path. Another straightforward property of pseudopath is that the image of a pseudopath is a pseudopath: Lemma 2.2. Let f : X ! Y be a continuous function between topological spaces. If C be a pseudopath between the points p; q 2 X, then f(C) is a pseudopath between f(p); f(q). 4 ANTONY T.H. FUNG Proof. Since C is compact, f(C) is also compact. Since p; q 2 C, f(p) and f(q) must be in f(C). Suppose U is open in Y and contains f(C). Then f −1(U) is open in X and contains C, and hence contains the image of a path γ from p to q. Then f ◦ γ is our desired path from f(p) to f(q) with image lying within U. Now we prove the most crucial property of pseudopath in this paper. Lemma 2.3. Let A; B; C; D be 4 distinct points on @D2 = S1 labeled in that order (i.e. A; C lie in different path components in @D2nfB; Dg). Let K be a compact set in D2 that intersects @D2 at B and D, and only at B and D. If A; C lie in different path components in D2nK, then K is a pseudopath in D2 between B and D. Figure 3: An example of Lemma 2.3 Note that K does not necessarily contain the image of a path from B to D. For example, if we consider the example given in Figure 3 where K is a set that looks 1 like the graph of y = sin( x ), x 6= 0, with the hole at x = 0 being filled. It does not contain the image of a path going from B to D. That is precisely the reason why we have to deal with pseudopaths instead of just paths. The key to proving Lemma 2.3 is Alexander duality, which requires local contractibil- ity. Regarding the comment above on the example given in Figure 3, the graph of 1 y = sin( x ) is not locally contractible at 0, which prevents us from using Alexander duality directly. Our strategy of proving Lemma 2.3 is that we first construct a lo- cally contractible set, and then we apply Alexander duality. Now we prove Lemma 2.3.
Load more

Recommended publications
  • A Survey on the Square Peg Problem
    A survey on the Square Peg Problem Benjamin Matschke∗ March 14, 2014 Abstract This is a short survey article on the 102 years old Square Peg Problem of Toeplitz, which is also called the Inscribed Square Problem. It asks whether every continuous simple closed curve in the plane contains the four vertices of a square. This article first appeared in a more compact form in Notices Amer. Math. Soc. 61(4), 2014. 1 Introduction In 1911 Otto Toeplitz [66] furmulated the following conjecture. Conjecture 1 (Square Peg Problem, Toeplitz 1911). Every continuous simple closed curve in the plane γ : S1 ! R2 contains four points that are the vertices of a square. Figure 1: Example for Conjecture1. A continuous simple closed curve in the plane is also called a Jordan curve, and it is the same as an injective map from the unit circle into the plane, or equivalently, a topological embedding S1 ,! R2. Figure 2: We do not require the square to lie fully inside γ, otherwise there are counter- examples. ∗Supported by Deutsche Telekom Stiftung, NSF Grant DMS-0635607, an EPDI-fellowship, and MPIM Bonn. This article is licensed under a Creative Commons BY-NC-SA 3.0 License. 1 In its full generality Toeplitz' problem is still open. So far it has been solved affirmatively for curves that are \smooth enough", by various authors for varying smoothness conditions, see the next section. All of these proofs are based on the fact that smooth curves inscribe generically an odd number of squares, which can be measured in several topological ways.
    [Show full text]
  • Single Digits
    ...................................single digits ...................................single digits In Praise of Small Numbers MARC CHAMBERLAND Princeton University Press Princeton & Oxford Copyright c 2015 by Princeton University Press Published by Princeton University Press, 41 William Street, Princeton, New Jersey 08540 In the United Kingdom: Princeton University Press, 6 Oxford Street, Woodstock, Oxfordshire OX20 1TW press.princeton.edu All Rights Reserved The second epigraph by Paul McCartney on page 111 is taken from The Beatles and is reproduced with permission of Curtis Brown Group Ltd., London on behalf of The Beneficiaries of the Estate of Hunter Davies. Copyright c Hunter Davies 2009. The epigraph on page 170 is taken from Harry Potter and the Half Blood Prince:Copyrightc J.K. Rowling 2005 The epigraphs on page 205 are reprinted wiht the permission of the Free Press, a Division of Simon & Schuster, Inc., from Born on a Blue Day: Inside the Extraordinary Mind of an Austistic Savant by Daniel Tammet. Copyright c 2006 by Daniel Tammet. Originally published in Great Britain in 2006 by Hodder & Stoughton. All rights reserved. Library of Congress Cataloging-in-Publication Data Chamberland, Marc, 1964– Single digits : in praise of small numbers / Marc Chamberland. pages cm Includes bibliographical references and index. ISBN 978-0-691-16114-3 (hardcover : alk. paper) 1. Mathematical analysis. 2. Sequences (Mathematics) 3. Combinatorial analysis. 4. Mathematics–Miscellanea. I. Title. QA300.C4412 2015 510—dc23 2014047680 British Library
    [Show full text]
  • A Combinatorial Approach to the Inscribed Square Problem
    A Combinatorial Approach to the Inscribed Square Problem Elizabeth Kelley Francis Edward Su, Advisor Rob Thompson, Reader Department of Mathematics May, 2015 Copyright c 2015 Elizabeth Kelley. The author grants Harvey Mudd College and the Claremont Colleges Library the nonexclusive right to make this work available for noncommercial, educational purposes, provided that this copyright statement appears on the reproduced ma- terials and notice is given that the copying is by permission of the author. To dis- seminate otherwise or to republish requires written permission from the author. Abstract The inscribed square conjecture, also known as Toeplitz’ conjecture or the square peg problem, asserts that every Jordan curve in the Euclidean plane admits an inscribed square. Although there exists no proof of the general conjecture, there are affirmative proofs of the conjecture subject to addi- tional local smoothness conditions. The weakest of these local smooth- ness conditions include the special trapezoid criterion, due to Matschke, and local monotonicity, due to Stromquist. We develop several combinato- rial approaches to the inscribed square problem, explicitly locate inscribed squares for conic sections, and explore the existence of inscribed squares in the Koch snowflake, which we prove to be not locally monotone. Contents Abstract iii 1 Historical Development of the Inscribed Square Problem 1 1.1 Statement of the Problem . .1 1.2 Past Work . .2 1.3 Related Problems . .6 2 Conic Sections 9 3 Koch Snowflake 17 3.1 Inscribed Squares in the Koch Snowflake . 20 4 Discretizing the Parameter Space 35 4.1 Pivot vertex and side length . 36 4.2 Two pivot vertices .
    [Show full text]
  • A Survey on the Square Peg Problem
    A survey on the Square Peg Problem Benjamin Matschke∗ November 23, 2012 Abstract This is a short survey article on the 100 years old Square Peg Problem of Toeplitz, which is also called the Inscribed Square Problem. It asks whether every continuous simple closed curve in the plane contains the four vertices of a square. 1 Introduction In 1911 Otto Toeplitz [Toe11] furmulated the following conjecture. Conjecture 1.1 (Square Peg Problem, Toeplitz). Every continuous simple closed curve γ : S1 ! R2 contains four points that are the vertices of a square. Figure 1: Example for Conjecture 1.1. A continuous simple closed curve in the plane is also often called a Jordan curve, and it is the same as an injective map from the unit circle into the plane, or equivalently, an embedding S1 ,! R2. In its full generality Toeplitz' problem is still open. So far it has been solved affirmatively for curves that are \smooth enough", by various authors for varying smoothness conditions, see Section 2. All of these proofs are based on the fact that smooth curves inscribe generically an odd number of squares, which can be measured in several topological ways. None of these methods however could be made work so far for the general continuous case. One may think that the general case of the Square Peg Problem can be reduced to the case of smooth curves by approximating a given continuous curve γ by a sequence of smooth curves γn: Any γn inscribes a square Qn, and by compactness there is a converging subse- quence (Qnk )k, whose limit is an inscribed square for the given curve γ.
    [Show full text]
  • FOR GEOMETRY Barbara J
    rite” “W W e a h y T M s a t t p h e m m o r a t P ic al s Journ FOR GEOMETRY Barbara J. Dougherty and Jenny Simmons University of Hawai‘i at Manoa– Curriculum Research & Development Group providing quality educational programs and services for preschool through grade 12 © University of Hawai‘i. All rights reserved. For permission requests contact us at: UHM Curriculum Research & Development Group 1776 University Avenue | Honolulu, HI 96822 | (808) 956-4969 | crdg.hawaii.edu The “Write” Way Mathematics Journal Prompts and More FOR GEOMETRY © University of Hawai‘i. All rights reserved. For permission requests contact us at: UHM Curriculum Research & Development Group 1776 University Avenue | Honolulu, HI 96822 | (808) 956-4969 | crdg.hawaii.edu Curriculum Research & Development Group Donald B. Young, Director Kathleen Berg, Associate Director Lori Ward, Managing Editor Cecilia H. Fordham, Project Manager Book design: Darrell Asato Cover design: Byron Inouye Published by Curriculum Research & Development Group ©2006 by the University of Hawai‘i ISBN-10 1-58351-081-8 ISBN-13 978-1-58351-081-0 eISBN 978-1-58351-131-2 Printed in the United States of America All rights reserved. No part of this work may be reproduced or transmitted in any form or by any means, electronic or mechanical, or by any storage or retrieval system, without permission in writing from the publisher except as indicated in the material. Distributed by the Curriculum Research & Development Group University of Hawai‘i 1776 University Avenue Honolulu, Hawai‘i 96822-2463 Email: [email protected] Website: http://www.hawaii.edu/crdg © University of Hawai‘i.
    [Show full text]
  • Tomáš Ye Rectangles Inscribed in Jordan Curves
    BACHELOR THESIS Tom´aˇsYe Rectangles inscribed in Jordan curves Mathematical Institute of Charles University Supervisor of the bachelor thesis: doc. RNDr. Zbynˇek S´ır,Ph.D.ˇ Study programme: Mathematics Study branch: General mathematics Prague 2018 I declare that I carried out this bachelor thesis independently, and only with the cited sources, literature and other professional sources. I understand that my work relates to the rights and obligations under the Act No. 121/2000 Sb., the Copyright Act, as amended, in particular the fact that the Charles University has the right to conclude a license agreement on the use of this work as a school work pursuant to Section 60 subsection 1 of the Copyright Act. In ........ date ............ signature of the author i Title: Rectangles inscribed in Jordan curves Author: Tom´aˇsYe Institute: Mathematical Institute of Charles University Supervisor: doc. RNDr. Zbynˇek S´ır,Ph.D.,ˇ department Abstract: We will introduce quotients, which are very special kinds of continuous maps. We are going to study their nice universal properties and use them to formalize the notion of topological gluing. This concept will allow us to define interesting topological structures and analyze them. Finally, the developed theory will be used for writing down a precise proof of the existence of an inscribed rectangle in any Jordan curve. Keywords: Jordan curve, rectangle, topology ii I would like to thank my supervisor doc. RNDr. Zbynˇek S´ır,Ph.D.ˇ for helping me willingly with writing of this bachelor thesis. It was a pleasure working under his guidance. iii Contents Introduction 2 1 Topological preliminaries 3 1.1 General topology .
    [Show full text]
  • The Square Peg Problem
    GRAU DE MATEMATIQUES` Treball final de grau THE SQUARE PEG PROBLEM Autora: Raquel Rius Casado Director: Dr. Joan Carles Naranjo Del Val Realitzat a: Departament de Matem`atiques i Inform`atica Barcelona, 15 de juny de 2019 Contents 1 Introduction 1 2 Jordan Theorem 3 3 Square Peg Problem 8 3.1 History of the problem . .8 3.2 Several results . .9 3.2.1 Witty and easy results . .9 3.2.2 Arnold Emch . 12 3.2.3 Lev Schnirelmann . 17 3.3 Previous tools . 18 3.4 Walter Stromquist's proof . 23 4 Latest study 38 Bibliography 41 Abstract The Square Peg Problem, also known as Toeplitz' Conjecture, is an unsolved problem in the mathematical areas of geometry and topology which states the following: every Jordan curve in the plane inscribes a square. Although it seems like an innocent statement, many authors throughout the last century have tried, but failed, to solve it. It is proved to be true with certain \smoothness conditions" applied on the curve, but the general case is still an open problem. We intend to give a general historical view of the known approaches and, more specifically, focus on an important result that allowed the Square Peg Problem to be true for a great sort of curves: Walter Stromquist's theorem. 2010 Mathematics Subject Classification. 54A99, 53A04, 51M20 Acknowledgements Primer de tot, m'agradaria agrair al meu tutor Joan Carles Naranjo la paci`enciai el recolzament que m'ha oferit durant aquest treball. Moltes gr`aciesper acompanyar-me en aquest trajecte final. Aquesta carrera ha suposat un gran repte personal a nivell mental.
    [Show full text]
  • Single Digits: in Praise of Small Numbers
    March 31, 2015 Time: 09:31am prelims.tex © Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. ...................................contents preface xi Chapter 1 The Number One 1 Sliced Origami 1 Fibonacci Numbers and the Golden Ratio 2 Representing Numbers Uniquely 5 Factoring Knots 6 Counting and the Stern Sequence 8 Fractals 10 Gilbreath’s Conjecture 13 Benford’s Law 13 The Brouwer Fixed-Point Theorem 16 Inverse Problems 17 Perfect Squares 19 The Bohr–Mollerup Theorem 19 The Picard Theorems 21 Chapter 2 The Number Two 24 The Jordan Curve Theorem and Parity Arguments 24 Aspect Ratio 26 How Symmetric Are You? 27 For general queries, contact [email protected] March 31, 2015 Time: 09:31am prelims.tex © Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. vi contents The Pythagorean Theorem 29 Beatty Sequences 32 Euler’s Formula 33 Matters of Prime Importance 34 The Ham Sandwich Theorem 38 Power Sets and Powers of Two 39 The Sylvester–Gallai Theorem 42 Formulas for 43 Multiplication 44 The Thue–Morse Sequence 45 Duals 48 Apollonian Circle Packings 51 Perfect Numbers and Mersenne Primes 53 Pythagorean Tuning and the Square Root of 2 54 Inverse Square Laws 56 The Arithmetic-Geometric Mean Inequality 57 Positive Polynomials 59 Newton’s Method for Root
    [Show full text]
  • Widthheightdepths- Widthheightdepthheight
    What is topology... Some topological theorems that we have learned/will learn U ndergraduate S tudent's T opology(H) C ourse An Introduction Zuoqin Wang March 9, 2021 Zuoqin Wang What is Topology What is topology... Some topological theorems that we have learned/will learn Outline 1 What is topology... A: The origin of the subject B: Some abstract words C: Some concrete pictures 2 Some topological theorems that we have learned/will learn Part I: Point-Set Topology and Applications to Analysis Part II: Algebraic/Geometric Topology Zuoqin Wang What is Topology A: The origin of the subject What is topology... B: Some abstract words Some topological theorems that we have learned/will learn C: Some concrete pictures What's next 1 What is topology... A: The origin of the subject B: Some abstract words C: Some concrete pictures 2 Some topological theorems that we have learned/will learn Part I: Point-Set Topology and Applications to Analysis Part II: Algebraic/Geometric Topology Zuoqin Wang What is Topology A: The origin of the subject What is topology... B: Some abstract words Some topological theorems that we have learned/will learn C: Some concrete pictures A: The origin of the subject/name Zuoqin Wang What is Topology Euler used the name Analysis situs A: The origin of the subject What is topology... B: Some abstract words Some topological theorems that we have learned/will learn C: Some concrete pictures Euler! • The first topologist: Leonhard Euler (1707-1783) Zuoqin Wang What is Topology A: The origin of the subject What is topology..
    [Show full text]
  • The Ambitious Horse: Ancient Chinese Mathematics Problems the Right to Reproduce Material for Use in His Or Her Own Classroom
    The AW\bitious t-lo .. se Ancient Chinese Mathematics Problems Law~ence W. Swienciki, Ph.D. ~~~~~ Key Curriculum Press II Innovators in Mathematics Education Project Editor: Anna Werner Editorial Assistants: Beth Masse, Halo Golden Reviewers: Dr. Robin D. S. Yates, McGill University, Montreal, Canada, and Tian Zaijin, Senior Editor, People's Education Press, Beijing, China Consultant: Wei Zhang Production Editor: Jennifer Strada Copy Editor: Margaret Moore Production and Manufacturing Manager: Diana Jean Parks Production Coordinator: Laurel Roth Patton Text Designer/Illustrator and Cover Illustrator: Lawrence W. Swienciki Compositor: Kirk Mills Art Editor: Jason Luz Cover Designer: Caroline Ayres Prepress and Printer: Malloy Lithographing, Inc. Executive Editor: Casey FitzSimons Publisher: Steven Rasmussen © 2001 by Key Curriculum Press. All rights reserved. Limited Reproduction Permission The publisher grants the teacher who purchases The Ambitious Horse: Ancient Chinese Mathematics Problems the right to reproduce material for use in his or her own classroom. Unauthorized copying of The Ambitious Horse: Ancient Chinese Mathematics Problems constitutes copyright infringement and is a violation of federal law. Key Curriculum Press 1150 65th Street Emeryville, CA 94608 510-595-7000 [email protected] http: I /www.keypress.com Printed in the United States of America 10 9 8 7 6 5 4 3 2 05 04 ISBN 1-55953-461-3 Cof!\tef!\ts Preface v Suggested Uses vii Chinese Writing 1 Traditional Numerals 3 Ling Symbol for Zero 4 Instruction Chart 5 The
    [Show full text]
  • | Problem Section | Problem Denoted Additively
    134 NAW 5/22 nr. 2 juni 2021 Problemen Edition 2021-1 We received solutions from Rik Bos, Pieter de Groen, Nicky Hekster, Marnix Klooster and Rutger Wessels. Problem 2021-1/A (proposed by Daan van Gent and Hendrik Lenstra) Let G and A be groups, where G is denoted multiplicatively and where A is abelian and | Problem Section | Problem denoted additively. Assume that A is 2-torsion-free, i.e. it contains no element of order 2. Suppose that qG: " A is a map satisfying the parallelogram identity: for all xy, ! G we have qx()yq+=()xy-1 22qx()+ qy(). (1) Prove that for all xy, ! G we have qx()yx--11y = 0. Solution We received solutions from Rik Bos, Nicky Hekster, Marnix Klooster, and Rutger Wessels. The solution provided uses the one by Nicky. We let 1 denote the identity element of G, and 0 the identity element of A. Substituting y = 1 yields 21q()= 0, whence q()10= since A is 2-torsion free. Substituting x = 1 in (1) gives qy()= qy()-1 forall yG! . (2) In the case xy= , formula (1) implies qx()2 = 4qx() forall xG! . (3) By switching the x and y in (1) we obtain qy()xq+=()yx-1 22qy()+ qx(), so using (2) we get qx()yq+=()xy--11qx()yq+=((yx ))--11qx()yq+=()yx qy()xq+ ()yx-1 , hence qx()yq= ()yx forall xy,.! G Applying (1) with x replaced by xy we see that (4) qx()yq2 =-22()xy qx()+ qy() forall xy,.! G (5) Next we claim that 2 ! Problemen qx()yx = 4qx()yxforall ,.yG (6) Indeed, qx()yx22==qx()yq2222()xy-+qx()22qy() =-24qy()xq()xq+ 2 ()y (4)(5) (4)(3) =-22((qyxq)(yq)(+-24xq)) ()xq+=24()yq()xy .
    [Show full text]
  • Quadrilaterals Inscribed in Convex Curves
    Quadrilaterals inscribed in convex curves Benjamin Matschke Boston University [email protected] December 3, 2020 Abstract We classify the set of quadrilaterals that can be inscribed in convex Jordan curves, in the continuous as well as in the smooth case.1 This answers a question of Makeev in the special case of convex curves. The difficulty of this problem comes from the fact that standard topological arguments to prove the existence of solutions do not apply here due to the lack of sufficient symmetry. Instead, the proof makes use of an area argument of Karasev and Tao, which we furthermore simplify and elaborate on. The continuous case requires an additional analysis of the singular points, and a small miracle, which then extends to show that the problems of inscribing isosceles trapezoids in smooth curves and in piecewise C1 curves are equivalent. 1 Introduction A Jordan curve is a simple closed curve in the plane, i.e. an injective continuous map γ : S1 ! R2. In 1911, Toeplitz [36] announced to have proved that any convex Jordan curve contains the four vertices of a square { a so-called inscribed square { and he asked whether the same property holds for arbitrary Jordan curves. This became the famous Inscribed Square Problem, also known as the Square Peg Problem or as Toeplitz' Conjecture. So far it has been answered in the affirmative only in special cases [7, 13,8,9, 39, 33,3, 15, 34, 27, 19, 37, 28, 31, 32,2, 21, 22, 29, 14, 35]. More generally, we say that a Jordan curve γ inscribes a quadrilateral Q if there is an orientation- preserving similarity transformation that sends all four vertices of Q into the image of γ.
    [Show full text]