On the isoperimetric inequalities for Reuleaux polygons
type: Item
instance of: scholarly article
title: On the isoperimetric inequalities for Reuleaux polygons
zbMATH Open document ID: 0956.51011
DOI: 10.1007/BF01221070
author: Y. S. Kupitz
author: Horst Martini
published in: Journal of Geometry
publication date: 2001-03-04T00:00:00Z
review text: The authors prove two classical results about Reuleaux polygons in the Euclidean plane, namely the Blaschke-Lebesgue Theorem and the Firey-Sallee Theorem, both of which give isoperimetric inequalities for Reuleaux polygons. A Reuleaux polygon is a compact convex subset \(C\) of \({\mathbb R}^2\) of constant width which admits a finite pinching set. A pinching set \(V\) of \(C\) is a subset of the boundary \(\text{bd}(C)\) of \(C\) such that each diameter of \(C\) is incident with at least one point of \(V\). The order of \(C\) is defined as follows. For \(v \in \text{bd}(C)\) let \(N_C(v) := \{w \in \text{bd}(C)\mid\|v-w\|= \text{diam}(V)\}\) and put \(V_\infty(C) := \{v \in \text{bd}(C)\mid N_C(v)\) is a non-degenerate arc\} as the set of vertices of \(C\). The cardinality of the set of vertices of \(C\) is called the order of \(C\). The Blaschke-Lebesgue Theorem states that the Reuleaux triangle of width 1 has minimal area among all Reuleaux polygons of width 1. The Firey-Sallee Theorem characterizes the regular Releaux polygons of order \(n\) as those Releaux polygons of order at most \(n\) that have maximal area. The authors prove both theorems in a unified manner using continuity arguments in compact spaces. Moreover, the authors describe a construction that turns a given Reuleaux polygon into another Reuleaux polygon (called the \(\Lambda\)-variant), which is generically of equal or lower order than the original one. However, for certain cases it can be shown that the order of the \(\Lambda\)-variant has increased by two. Based on this observation they prove another result of Blaschke, namely that for any Reuleaux polygon \(C\) of order \(n\geq 5\) there is a \(\Lambda\)-variant of \(C\) of order \(n-2\) that has a smaller area than \(C\).
Mathematics Subject Classification ID: 51M16
zbMATH DE Number: 1508004
zbMATH Keywords: isoperimetric inequality
zbMATH Keywords: Reuleaux polygon
zbMATH Keywords: Blaschke-Lebesgue Theorem
zbMATH Keywords: Firey-Sallee Theorem
MaRDI profile type: Publication
cites work: Q5776445
cites work: Sets of constant width
cites work: A PROOF OF BLASCHK'S THEOREM ON THE REULEAUX TRIANGLE
cites work: Isoperimetric ratios of Reuleaux polygons
cites work: Stability Theorems for Convex Domains of Constant Width
cites work: Q4274008
cites work: Q3048864
cites work: From intersectors to successors
cites work: A linear-time construction of Reuleaux polygons
cites work: Maximal Areas of Reuleaux Polygons
description: scientific article; zbMATH DE number 1508004