Editing Curve of constant width (section)

==Constructions==
[[File:Reuleaux polygon construction.svg|thumb|upright=0.8|An irregular [[Reuleaux polygon]]]]
[[File:Crossed-lines constant-width.svg|thumb|Applying the crossed-lines method to an [[arrangement of lines|arrangement of four lines]]. The boundaries of the blue body of constant width are circular arcs from four nested pairs of circles (inner circles dark red and outer circles light red).]]
[[File:Constant-width semi-ellipse.svg|thumb|upright=1.3|Body of constant width (yellow) formed by intersecting disks (blue) centered on a [[semi-ellipse]] (black). The red circle shows a tangent circle to a supporting line, at a [[Vertex (curve)|point of minimum curvature]] of the semi-ellipse. The eccentricity of the semi-ellipse in the figure is the maximum possible for this construction.]]
Every [[regular polygon]] with an odd number of sides gives rise to a curve of constant width, a [[Reuleaux polygon]], formed from circular arcs centered at its vertices that pass through the two vertices farthest from the center. For instance, this construction generates a Reuleaux triangle from an equilateral triangle. Some irregular polygons also generate Reuleaux polygons.{{r|bs|cr}} In a closely related construction, called by [[Martin Gardner]] the "crossed-lines method", an [[arrangement of lines]] in the plane (no two parallel but otherwise arbitrary) is sorted into cyclic order by the slopes of the lines. The lines are then connected by a curve formed from a sequence of circular arcs; each arc connects two consecutive lines in the sorted order, and is centered at their crossing. The radius of the first arc must be chosen large enough to cause all successive arcs to end on the correct side of the next crossing point; however, all sufficiently-large radii work. For two lines, this forms a circle; for three lines on the sides of an equilateral triangle, with the minimum possible radius, it forms a Reuleaux triangle, and for the lines of a regular [[star polygon]] it can form a Reuleaux polygon.{{r|gardner|bs}}

[[Leonhard Euler]] constructed curves of constant width from [[involute]]s of curves with an odd number of [[Cusp (singularity)|cusp singularities]], having only one [[tangent line]] in each direction (that is, [[Hedgehog (geometry)|projective hedgehogs]]).{{r|euler|robertson}} An intuitive way to describe the involute construction is to roll a line segment around such a curve, keeping it tangent to the curve without sliding along it, until it returns to its starting point of tangency. The line segment must be long enough to reach the cusp points of the curve, so that it can roll past each cusp to the next part of the curve, and its starting position should be carefully chosen so that at the end of the rolling process it is in the same position it started from. When that happens, the curve traced out by the endpoints of the line segment is an involute that encloses the given curve without crossing it, with constant width equal to the length of the line segment.{{r|lowry}} If the starting curve is smooth (except at the cusps), the resulting curve of constant width will also be smooth.{{r|euler|robertson}} An example of a starting curve with the correct properties for this construction is the [[deltoid curve]], and the involutes of the deltoid that enclose it form smooth curves of constant width, not containing any circular arcs.{{r|goldberg|burke}}

Another construction chooses half of the curve of constant width, meeting certain requirements, and forms from it a body of constant width having the given curve as part of its boundary. The construction begins with a convex curved arc, whose endpoints are the intended width <math>w</math> apart. The two endpoints must touch parallel supporting lines at distance <math>w</math> from each other. Additionally, each supporting line that touches another point of the arc must be tangent at that point to a circle of radius <math>w</math> containing the entire arc; this requirement prevents the [[curvature]] of the arc from being less than that of the circle. The completed body of constant width is then the intersection of the interiors of an infinite family of circles, of two types: the ones tangent to the supporting lines, and more circles of the same radius centered at each point of the given arc. This construction is universal: all curves of constant width may be constructed in this way.{{r|rt}} [[Victor Puiseux]], a 19th-century French mathematician, found curves of constant width containing elliptical arcs{{r|kearsley}} that can be constructed in this way from a [[semi-ellipse]]. To meet the curvature condition, the semi-ellipse should be bounded by the [[Semi-major and semi-minor axes|semi-major axis]] of its ellipse, and the ellipse should have [[Eccentricity (mathematics)|eccentricity]] at most <math>\tfrac{1}{2}\sqrt{3}</math>. Equivalently, the semi-major axis should be at most twice the semi-minor axis.{{r|bs}}

Given any two bodies of constant width, their [[Minkowski sum]] forms another body of constant width.{{r|mmo}} A generalization of Minkowski sums to the sums of support functions of hedgehogs produces a curve of constant width from the sum of a projective hedgehog and a circle, whenever the result is a convex curve. All curves of constant width can be decomposed into a sum of hedgehogs in this way.{{r|martinez}}