Reuleaux triangle

The Reuleaux triangle may be constructed either directly from three circles, or by rounding the sides of an equilateral triangle. The three-circle construction may be performed with a compass alone, not even needing a straightedge. By the Mohr–Mascheroni theorem the same is true more generally of any compass-and-straightedge construction, but the construction for the Reuleaux triangle is particularly simple. The first step is to mark two arbitrary points of the plane (which will eventually become vertices of the triangle), and use the compass to draw a circle centered at one of the marked points, through the other marked point. Next, one draws a second circle, of the same radius, centered at the other marked point and passing through the first marked point. Finally, one draws a third circle, again of the same radius, with its center at one of the two crossing points of the two previous circles, passing through both marked points. The central region in the resulting arrangement of three circles will be a Reuleaux triangle. Alternatively, a Reuleaux triangle may be constructed from an equilateral triangle T by drawing three arcs of circles, each centered at one vertex of T and connecting the other two vertices. Or, equivalently, it may be constructed as the intersection of three disks centered at the vertices of T, with radius equal to the side length of T. == Mathematical properties ==

s of a Reuleaux triangle The most basic property of the Reuleaux triangle is that it has constant width, meaning that for every pair of parallel supporting lines (two lines of the same slope that both touch the shape without crossing through it) the two lines have the same Euclidean distance from each other, regardless of the orientation of these lines. The first mathematician to discover the existence of curves of constant width, and to observe that the Reuleaux triangle has constant width, may have been Leonhard Euler. In a paper that he presented in 1771 and published in 1781 entitled De curvis triangularibus, Euler studied curvilinear triangles as well as the curves of constant width, which he called orbiforms. Extremal measures By many different measures, the Reuleaux triangle is one of the most extreme curves of constant width. By the Blaschke–Lebesgue theorem, the Reuleaux triangle has the smallest possible area of any curve of given constant width. This area is :\frac{1}{2}(\pi - \sqrt3)s^2 \approx 0.705s^2, where s is the constant width. One method for deriving this area formula is to partition the Reuleaux triangle into an inner equilateral triangle and three curvilinear regions between this inner triangle and the arcs forming the Reuleaux triangle, and then add the areas of these four sets. At the other extreme, the curve of constant width that has the maximum possible area is a circular disk, which has area \pi s^2 / 4\approx 0.785s^2. The angles made by each pair of arcs at the corners of a Reuleaux triangle are all equal to 120°. This is the sharpest possible angle at any vertex of any curve of constant width. The largest equilateral triangle inscribed in a Reuleaux triangle is the one connecting its three corners, and the smallest one is the one connecting the three midpoints of its sides. The subset of the Reuleaux triangle consisting of points belonging to three or more diameters is the interior of the larger of these two triangles; it has a larger area than the set of three-diameter points of any other curve of constant width. Although the Reuleaux triangle has sixfold dihedral symmetry, the same as an equilateral triangle, it does not have central symmetry. The Reuleaux triangle is the least symmetric curve of constant width according to two different measures of central asymmetry, the Kovner–Besicovitch measure (ratio of area to the largest centrally symmetric shape enclosed by the curve) and the Estermann measure (ratio of area to the smallest centrally symmetric shape enclosing the curve). For the Reuleaux triangle, the two centrally symmetric shapes that determine the measures of asymmetry are both hexagonal, although the inner one has curved sides. The Reuleaux triangle has diameters that split its area more unevenly than any other curve of constant width. That is, the maximum ratio of areas on either side of a diameter, another measure of asymmetry, is bigger for the Reuleaux triangle than for other curves of constant width. Among all shapes of constant width that avoid all points of an integer lattice, the one with the largest width is a Reuleaux triangle. It has one of its axes of symmetry parallel to the coordinate axes on a half-integer line. Its width, approximately 1.54, is the root of a degree-6 polynomial with integer coefficients. Just as it is possible for a circle to be surrounded by six congruent circles that touch it, it is also possible to arrange seven congruent Reuleaux triangles so that they all make contact with a central Reuleaux triangle of the same size. This is the maximum number possible for any curve of constant width. kite that maximizes the ratio of perimeter to diameter, inscribed in a Reuleaux triangle Among all quadrilaterals, the shape that has the greatest ratio of its perimeter to its diameter is an equidiagonal kite that can be inscribed into a Reuleaux triangle. Other measures By Barbier's theorem all curves of the same constant width including the Reuleaux triangle have equal perimeters. In particular this perimeter equals the perimeter of the circle with the same width, which is \pi s. The radii of the largest inscribed circle of a Reuleaux triangle with width s, and of the circumscribed circle of the same triangle, are :\displaystyle\left(1-\frac{1}{\sqrt 3}\right)s\approx 0.423s \quad \text{and} \quad \displaystyle\frac{s}{\sqrt 3}\approx 0.577s respectively; the sum of these radii equals the width of the Reuleaux triangle. More generally, for every curve of constant width, the largest inscribed circle and the smallest circumscribed circle are concentric, and their radii sum to the constant width of the curve. The optimal packing density of the Reuleaux triangle in the plane remains unproven, but is conjectured to be :\frac{2(\pi-\sqrt 3)}{\sqrt{15}+\sqrt{7}-\sqrt{12}} \approx 0.923, which is the density of one possible double lattice packing for these shapes. The best proven upper bound on the packing density is approximately 0.947. It has also been conjectured, but not proven, that the Reuleaux triangles have the highest packing density of any curve of constant width. Rotation within a square Any curve of constant width can form a rotor within a square, a shape that can perform a complete rotation while staying within the square and at all times touching all four sides of the square. However, the Reuleaux triangle is the rotor with the minimum possible area. Because of its 120° angles, the rotating Reuleaux triangle cannot reach some points near the sharper angles at the square's vertices, but rather covers a shape with slightly rounded corners, also formed by elliptical arcs. As a counterexample Reuleaux's original motivation for studying the Reuleaux triangle was as a counterexample, showing that three single-point contacts may not be enough to fix a planar object into a single position. The existence of Reuleaux triangles and other curves of constant width shows that diameter measurements alone cannot verify that an object has a circular cross-section. In connection with the inscribed square problem, observed that the Reuleaux triangle provides an example of a constant-width shape in which no regular polygon with more than four sides can be inscribed, except the regular hexagon, and he described a small modification to this shape that preserves its constant width but also prevents regular hexagons from being inscribed in it. He generalized this result to three dimensions using a cylinder with the same shape as its cross section. == Applications ==

Reaching into corners Several types of machinery take the shape of the Reuleaux triangle, based on its property of being able to rotate within a square. The Watts Brothers Tool Works square drill bit has the shape of a Reuleaux triangle, modified with concavities to form cutting surfaces. When mounted in a special chuck which allows for the bit not having a fixed centre of rotation, it can drill a hole that is nearly square. Rolling cylinders Another class of applications of the Reuleaux triangle involves cylindrical objects with a Reuleaux triangle cross section. Several pencils are manufactured in this shape, rather than the more traditional round or hexagonal barrels. They are usually promoted as being more comfortable or encouraging proper grip, as well as being less likely to roll off tables (since the center of gravity moves up and down more than a rolling hexagon). A Reuleaux triangle (along with all other curves of constant width) can roll but makes a poor wheel because it does not roll about a fixed center of rotation. An object on top of rollers that have Reuleaux triangle cross-sections would roll smoothly and flatly, but an axle attached to Reuleaux triangle wheels would bounce up and down three times per revolution. This concept was used in a science fiction short story by Poul Anderson titled "The Three-Cornered Wheel". A bicycle with floating axles and a frame supported by the rim of its Reuleaux triangle shaped wheel was built and demonstrated in 2009 by Chinese inventor Guan Baihua, who was inspired by pencils with the same shape. Mechanism design Another class of applications of the Reuleaux triangle involves using it as a part of a mechanical linkage that can convert rotation around a fixed axis into reciprocating motion. These mechanisms were studied by Franz Reuleaux. With the assistance of the Gustav Voigt company, Reuleaux built approximately 800 models of mechanisms, several of which involved the Reuleaux triangle. Although most of the Reuleaux–Voigt models have been lost, 219 of them have been collected at Cornell University, including nine based on the Reuleaux triangle. One application of this principle arises in a film projector. In this application, it is necessary to advance the film in a jerky, stepwise motion, in which each frame of film stops for a fraction of a second in front of the projector lens, and then much more quickly the film is moved to the next frame. This can be done using a mechanism in which the rotation of a Reuleaux triangle within a square is used to create a motion pattern for an actuator that pulls the film quickly to each new frame and then pauses the film's motion while the frame is projected. The rotor of the Wankel engine is shaped as a curvilinear triangle that is often cited as an example of a Reuleaux triangle. Architecture in Belgium In Gothic architecture, beginning in the late 13th century or early 14th century, the Reuleaux triangle became one of several curvilinear forms frequently used for windows, window tracery, and other architectural decorations. In this context, the shape is sometimes called a spherical triangle, which should not be confused with spherical triangle meaning a triangle on the surface of a sphere. In its use in Gothic church architecture, the three-cornered shape of the Reuleaux triangle may be seen both as a symbol of the Trinity, and as "an act of opposition to the form of the circle". The Reuleaux triangle has also been used in other styles of architecture. For instance, Leonardo da Vinci sketched this shape as the plan for a fortification. Modern buildings that have been claimed to use a Reuleaux triangle shaped floorplan include the MIT Kresge Auditorium, the Kölntriangle, the Donauturm, the Torre de Collserola, and the Mercedes-Benz Museum. in eight Reuleaux-triangle quadrants Similar maps also based on the Reuleaux triangle were published by Oronce Finé in 1551 and by John Dee in 1580. The Reuleaux triangle has been used as the shape for the cross section of a fire hydrant valve nut. The constant width of this shape makes it difficult to open the fire hydrant using standard parallel-jawed wrenches; instead, a wrench with a special shape is needed. This property allows the fire hydrants to be opened only by firefighters (who have the special wrench) and not by other people trying to use the hydrant as a source of water for other activities. , with seven of its eight antennae arranged on an approximate Reuleaux triangle Following a suggestion of , the antennae of the Submillimeter Array, a radio-wave astronomical observatory on Mauna Kea in Hawaii, are arranged on four nested Reuleaux triangles. Placing the antennae on a curve of constant width causes the observatory to have the same spatial resolution in all directions, and provides a circular observation beam. As the most asymmetric curve of constant width, the Reuleaux triangle leads to the most uniform coverage of the plane for the Fourier transform of the signal from the array. Another corporate logo framed in the Reuleaux triangle, the south-pointing compass of Bavaria Brewery, was part of a makeover by design company Total Identity that won the SAN 2010 Advertiser of the Year award. The Reuleaux triangle is also used in the logo of Colorado School of Mines. In the United States, the National Trails System and United States Bicycle Route System both mark routes with Reuleaux triangles on signage. In nature According to Plateau's laws, the circular arcs in two-dimensional soap bubble clusters meet at 120° angles, the same angle found at the corners of a Reuleaux triangle. Based on this fact, it is possible to construct clusters in which some of the bubbles take the form of a Reuleaux triangle. The shape was first isolated in crystal form in 2014 as Reuleaux triangle disks. Basic bismuth nitrate disks with the Reuleaux triangle shape were formed from the hydrolysis and precipitation of bismuth nitrate in an ethanol–water system in the presence of 2,3-bis(2-pyridyl)pyrazine. == Generalizations ==

Triangular curves of constant width with smooth rather than sharp corners may be obtained as the locus of points at a fixed distance from the Reuleaux triangle. Other generalizations of the Reuleaux triangle include surfaces in three dimensions, curves of constant width with more than three sides, and the Yanmouti sets which provide extreme examples of an inequality between width, diameter, and inradius. Three-dimensional version The intersection of four balls of radius s centered at the vertices of a regular tetrahedron with side length s is called the Reuleaux tetrahedron, but its surface is not a surface of constant width. It can, however, be made into a surface of constant width, called Meissner's tetrahedron, by replacing three of its edge arcs by curved surfaces, the surfaces of rotation of a circular arc. Alternatively, the surface of revolution of a Reuleaux triangle through one of its symmetry axes forms a surface of constant width, with minimum volume among all known surfaces of revolution of given constant width. Reuleaux polygons The Reuleaux triangle can be generalized to regular or irregular polygons with an odd number of sides, yielding a Reuleaux polygon, a curve of constant width formed from circular arcs of constant radius. The constant width of these shapes allows their use as coins that can be used in coin-operated machines. Similar methods can be used to enclose an arbitrary simple polygon within a curve of constant width, whose width equals the diameter of the given polygon. The resulting shape consists of circular arcs (at most as many as sides of the polygon), can be constructed algorithmically in linear time, and can be drawn with compass and straightedge. Although the Reuleaux polygons all have an odd number of circular-arc sides, it is possible to construct constant-width shapes with an even number of circular-arc sides of varying radii. Yanmouti sets The Yanmouti sets are defined as the convex hulls of an equilateral triangle together with three circular arcs, centered at the triangle vertices and spanning the same angle as the triangle, with equal radii that are at most equal to the side length of the triangle. Thus, when the radius is small enough, these sets degenerate to the equilateral triangle itself, but when the radius is as large as possible they equal the corresponding Reuleaux triangle. Every shape with width w, diameter d, and inradius r (the radius of the largest possible circle contained in the shape) obeys the inequality :w - r \le \frac{d}{\sqrt 3}, and this inequality becomes an equality for the Yanmouti sets, showing that it cannot be improved. == Related figures ==

In the classical presentation of a three-set Venn diagram as three overlapping circles, the central region (representing elements belonging to all three sets) takes the shape of a Reuleaux triangle. Parts of these same circles are used to form the triquetra, a figure of three overlapping semicircles (each two of which form a vesica piscis symbol) that again has a Reuleaux triangle at its center; just as the three circles of the Venn diagram may be interlaced to form the Borromean rings, the three circular arcs of the triquetra may be interlaced to form a trefoil knot. Relatives of the Reuleaux triangle arise in the problem of finding the minimum perimeter shape that encloses a fixed amount of area and includes three specified points in the plane. For a wide range of choices of the area parameter, the optimal solution to this problem will be a curved triangle whose three sides are circular arcs with equal radii. In particular, when the three points are equidistant from each other and the area is that of the Reuleaux triangle, the Reuleaux triangle is the optimal enclosure. Circular triangles are triangles with circular-arc edges, including the Reuleaux triangle as well as other shapes. The deltoid curve is another type of curvilinear triangle, but one in which the curves replacing each side of an equilateral triangle are concave rather than convex. It is not composed of circular arcs, but may be formed by rolling one circle within another of three times the radius. Other planar shapes with three curved sides include the arbelos, which is formed from three semicircles with collinear endpoints, and the Bézier triangle. The Reuleaux triangle may also be interpreted as the stereographic projection of one triangular face of a spherical tetrahedron, the Schwarz triangle of parameters \tfrac32, \tfrac32, \tfrac32 with spherical angles of measure 120^\circ and sides of spherical length {{nobr|{\arccos}\bigl({-\tfrac13}\bigr).}} == References ==