Fact-checked by Grok 2 weeks ago

Reuleaux tetrahedron

The Reuleaux tetrahedron is a curved polyhedron formed as the intersection of four congruent balls (spheres including their interiors) of equal radius, with their centers located at the vertices of a regular tetrahedron whose edge length equals the radius of the balls.^[1] This construction yields a solid with four spherical faces—each a portion of one of the balls—and six circular arc edges where pairs of balls intersect, making it the three-dimensional analog of the two-dimensional Reuleaux triangle.^[1] Unlike its planar counterpart, the Reuleaux tetrahedron does not possess constant width, exhibiting a maximum width variation of approximately 2.5% along certain directions.^[2] Named by analogy to the Reuleaux triangle, which was introduced by German engineer Franz Reuleaux in the 1870s as part of his studies on kinematic mechanisms and constant-width shapes, the tetrahedral version emerged as a natural extension in higher-dimensional geometry without a single attributed inventor, though it was formalized in mathematical literature by the early 20th century.^[1] Its study gained prominence in the context of bodies of constant width, where in 1911 mathematician Ernst Meissner modified the Reuleaux tetrahedron by replacing its circular edges with suitable curved patches to create the first known three-dimensional constant-width bodies of non-spherical shape, known as Meissner tetrahedra.^[2] These modifications preserve the tetrahedral symmetry while achieving uniform width equal to the original edge length, and the resulting bodies are conjectured to minimize volume among all three-dimensional sets of constant width.^[2] Key geometric properties include a surface composed of four spherical caps and the aforementioned arcs, with the solid exhibiting rotational symmetry around its vertices.^[1] For a regular tetrahedron of edge length 1, the surface area is approximately 2.975, given exactly by S = 8\pi - 18 \cos^{-1}(1/3), while the volume is approximately 0.422, expressed as V = \frac{8}{3}\pi - \frac{27}{4} \cos^{-1}(1/3) + \frac{1}{4}\sqrt{2}.^[1] The Reuleaux tetrahedron has been explored in discrete geometry for problems like the Borsuk conjecture and in computational modeling for visualizing constant-width polyhedra, though practical applications remain largely theoretical compared to the Reuleaux triangle's use in rotary engines and drill bits.^[3]

Definition and Construction

Formal Definition

The regular tetrahedron is a Platonic solid composed of four equilateral triangular faces, six straight edges of equal length, and four vertices where three faces meet at each. The Reuleaux tetrahedron is defined as the intersection of four solid balls (the closed balls including their interiors and boundaries), each of radius s, centered at the four vertices of a regular tetrahedron with edge length s.^[2]^[1] This solid possesses four vertices corresponding to the original tetrahedron's vertices, six edges formed by circular arcs each subtending a central angle of \cos^{-1}(1/3) in the plane of their respective intersection circles, and four faces, each a spherical triangle comprising a portion of one of the balls bounded by three such circular arcs.^[2]^[4] The Reuleaux tetrahedron exhibits tetrahedral rotational symmetry, belonging to the alternating group A_4 of order 12, under which the underlying regular tetrahedron is invariant and thus the intersection solid as well.^[5] This symmetry group consists of the identity and rotations by 120° and 240° about axes through a vertex and the centroid of the opposite face (eight elements), as well as 180° rotations about axes through the midpoints of opposite edges (three elements).^[5] As the three-dimensional counterpart to the Reuleaux triangle, it generalizes the constant-width property construction from two to three dimensions, though the tetrahedron variant does not achieve constant width.^[1]

Geometric Construction

To construct a Reuleaux tetrahedron, begin with a regular tetrahedron having side length s. Position the centers of four spheres, each with radius s, at the four vertices of this tetrahedron. The resulting shape is the common intersection of these four spheres, forming a convex body bounded by portions of the spherical surfaces.^[1]^[6]^[7] The surface of the Reuleaux tetrahedron comprises four curved faces, each lying on one of the spheres and defined as the intersection of that sphere with the interiors of the other three. Specifically, the face opposite a given vertex is the portion of the sphere centered at that vertex which remains inside the balls centered at the remaining vertices; this portion forms a spherical equilateral triangle bounded by three circular arcs. These arcs arise from the intersections of the central sphere with each of the other three spheres, creating the curved boundaries that replace the straight edges of the original tetrahedron.^[4]^[1]^[7] For practical placement, the vertices of the initial regular tetrahedron can be assigned coordinates such as (1,1,1), (1,-1,-1), (-1,1,-1), and (-1,-1,1), then scaled by a factor to ensure the edge length is s. This setup allows the spheres to intersect such that each vertex lies on the surface of the other three spheres. Visualizations of the shape often employ cross-sections or orthographic projections, which expose the spherical caps comprising the faces and the interconnecting arcs, illustrating the smooth, rounded morphology distinct from the faceted original tetrahedron.^[8]^[1]

Geometric Properties

Structure and Symmetry

The Reuleaux tetrahedron maintains the four vertices of its underlying regular tetrahedron, with all pairwise distances equal to the side length s.^[1] Each of the six edges connecting these vertices is a circular arc lying on the intersection circle of two generating spheres of radius s, with the circle having radius (\sqrt{3}/2) s, subtending a central angle of \cos^{-1}(1/3) \approx 70.53^\circ at the center of that circle (the midpoint between the centers of the two spheres), and having an arc length of s \sqrt{3} \cot^{-1}(\sqrt{2}) \approx 1.066 s.^[1]^[4] Each of the four faces is a spherical triangle lying on a sphere of radius s centered at the vertex opposite that face, featuring three sides each of arc length s \sqrt{3} \cot^{-1}(\sqrt{2}) (subtending central angle \cos^{-1}(1/3) at the center of the corresponding intersection circle) and interior angles of \cos^{-1}(-1/3) \approx 109.47^\circ, the tetrahedral angle.^[4] The symmetry group is the full tetrahedral group of order 24, including rotations and reflections, rendering the shape achiral.^[1] The dihedral angles between adjacent faces represent curved analogs of the regular tetrahedron's dihedral angle \arccos(1/3) \approx 70.53^\circ.^[4]

Width Variation

In three-dimensional geometry, the width of a convex body is defined as the minimal distance between a pair of parallel supporting planes that contain the body between them.^[9] For the Reuleaux tetrahedron formed by the intersection of four balls of radius s centered at the vertices of a regular tetrahedron of side length s, this width is not constant across all directions.^[1] The minimal width of s occurs in the direction from a vertex to the opposite curved face, where one supporting plane passes through the vertex and the parallel plane is tangent to the spherical portion of the opposite face centered at that vertex.^[10] In contrast, the maximal width arises between pairs of opposite skew edges—there are three such pairs in the tetrahedral configuration—and is measured as the distance between parallel supporting planes tangent to the circular arcs forming those edges. This distance, calculated via the perpendicular separation between the midpoints of the skew edges using vector projections in the tetrahedron's coordinate system, is approximately $1.0249s.^[4] The variation of about 2.5% stems from the inherent geometry of the regular tetrahedron, where the skew edges are non-parallel and non-intersecting, leading to a perpendicular distance that exceeds the vertex-face width due to the angular separation of the edge centers.^[11] Unlike the two-dimensional Reuleaux triangle, which maintains constant width equal to its side length, the three-dimensional analog fails to do so because of these skew edge interactions.^[12] As a result, the Reuleaux tetrahedron does not roll smoothly on a flat surface like a sphere, exhibiting slight fluctuations in height corresponding to the width variation.^[11]

Volume and Surface Area

The volume V of a Reuleaux tetrahedron based on a regular tetrahedron of edge length s (minimal width s) is given by

V = \left( \frac{8}{3} \pi - \frac{27}{4} \cos^{-1}\left( \frac{1}{3} \right) + \frac{\sqrt{2}}{4} \right) s^3 \approx 0.422 s^3.

This expression is derived using an inclusion-exclusion principle that decomposes the solid into a central regular tetrahedral core and additional spherical sectors from the four intersecting balls of radius s centered at the vertices, with the overlapping regions subtracted via geometric integration in spherical coordinates from the centroid. The computation of the volume had been posed as an open problem by J. Arvid Peterson in the 1920s or 1930s, and was first solved geometrically around 1980 by Brian Harbourne, who employed these decomposition methods to resolve the integrals.^[4]^[1] An equivalent alternative form, obtained through trigonometric identities, is

V = \frac{s^3}{12} \left( 3\sqrt{2} - 49\pi + 162 \tan^{-1} \sqrt{2} \right).

The total surface area S consists of four identical curved triangular faces, each a portion of a sphere of radius s, and is given by

S = \left[ 8\pi - 18 \cos^{-1}\left( \frac{1}{3} \right) \right] s^2 \approx 2.975 s^2.

Each face has area \left( 2\pi - \frac{9}{2} \cos^{-1}\left( \frac{1}{3} \right) \right) s^2, derived by applying the Gauss-Bonnet theorem to the spherical excess of the underlying regular tetrahedral face, accounting for the geodesic curvatures on the sphere.^[4]^[1] This surface area computation also traces to Harbourne's 1980 work, using the theorem to evaluate the integral over the boundary curves.^[4] Compared to a regular tetrahedron of the same edge length s, the Reuleaux tetrahedron has a larger volume by a factor of approximately 3.58 (since the regular tetrahedron volume is \frac{\sqrt{2}}{12} s^3 \approx 0.118 s^3) and a larger surface area by a factor of approximately 1.72 (regular tetrahedron surface area \sqrt{3} s^2 \approx 1.732 s^2), reflecting the outward bulging of the curved faces beyond the planar ones.^[1]^[8]

History

Origins and Naming

The Reuleaux tetrahedron derives its name from Franz Reuleaux (1829–1905), a prominent German mechanical engineer and professor known for his pioneering work in kinematics and the analysis of machine mechanisms. While Reuleaux focused primarily on two-dimensional shapes of constant width, such as the Reuleaux triangle, the tetrahedron represents a three-dimensional extension of these principles, coined later in recognition of his foundational contributions to the study of non-circular curves with uniform width.^[13] Reuleaux's ideas on constant-width forms originated in his 1875 book The Kinematics of Machinery, where he examined curves that maintain a fixed distance between parallel tangents, inspiring subsequent generalizations to higher dimensions among engineers and mathematicians. This work laid the theoretical groundwork for shapes like the Reuleaux triangle, which served as the direct precursor to the tetrahedral analog.^[14] The specific interest in the Reuleaux tetrahedron as a distinct three-dimensional body emerged in the 1920s and 1930s, when it was posed as an open problem by J. Arvid Peterson, an engineer at the Gearench company, a Texas-based oilfield tool manufacturer. Peterson explored its potential practical applications, such as in bearings or tooling, building on the utility of two-dimensional Reuleaux shapes in adjustable wrenches produced by the firm.^[4]

Mathematical Developments

In 1911, Ernst Meissner demonstrated that the Reuleaux tetrahedron does not possess constant width, as the distance between opposite edges exceeds that between a vertex and the opposite face, and he proposed modifications by rounding specific edges to achieve constant width bodies known as Meissner tetrahedra. The computation of the Reuleaux tetrahedron's volume remained an open challenge from the 1920s through the 1980s, with early efforts including an experimental approximation of \frac{4\pi}{30} r^3 \approx 0.419 r^3 obtained by John E. Maggio measuring a physical model.^[4] This problem was resolved analytically around 1980 by Barbara Peskin and Brian Harbourne, who applied the Gauss-Bonnet theorem to derive the exact volume formula.^[4] In the 2000s, further analytical advancements included work by Thomas Lachand-Robert and Édouard Oudet in 2007, who developed methods for parametrizing and minimizing volumes of constant-width bodies in higher dimensions, extending insights to the Reuleaux tetrahedron's properties. More recently, in 2023, Ryan Hynd extended perimeter computations to Reuleaux polyhedra, including the tetrahedron, using integral formulas alongside the Gauss-Bonnet theorem to quantify boundary lengths.^[15] A longstanding open conjecture posits that the Meissner tetrahedra achieve the minimal volume among all three-dimensional bodies of fixed constant width, a problem originating in early 20th-century studies and remaining unsolved as of 2025.^[16]

Comparison to Reuleaux Triangle

The Reuleaux triangle, a two-dimensional curve of constant width, is constructed as the intersection of three disks of radius w centered at the vertices of an equilateral triangle with side length w. This results in boundaries consisting of three circular arcs, each connecting two vertices and centered at the third, yielding a shape where the distance between any pair of parallel supporting lines is constantly w.^[17] In contrast, the three-dimensional Reuleaux tetrahedron, formed analogously as the intersection of four balls of radius w centered at the vertices of a regular tetrahedron with edge length w, does not achieve constant width. The key difference arises from the geometry: the two-dimensional case benefits from planar symmetry that ensures uniform width, whereas the three-dimensional structure features six pairs of skew edges that do not intersect and are not parallel, leading to width variation—for instance, the distance between opposite skew edges exceeds the vertex-to-opposite-face distance.^[1] A notable property contrast is evident in their measures: the Reuleaux triangle has area \frac{1}{2} (\pi - \sqrt{3}) w^2 \approx 0.705 w^2, which is the minimal possible among all plane figures of constant width w. By comparison, the Reuleaux tetrahedron lacks constant width altogether and, even if adjusted for such a property, does not attain the minimal volume among three-dimensional bodies of constant width.^[17] Both shapes belong to the family of Reuleaux polygons, generalized in the plane from regular polygons with an odd number of sides by replacing straight edges with circular arcs of radius equal to the side length, preserving constant width. However, extending this construction to higher dimensions complicates achieving constant width, as no simple Reuleaux analog exists for polytopes like the four-dimensional pentatope.^[14]^[18]

Meissner Bodies

The Meissner bodies, also known as Meissner tetrahedra, are convex solids of constant width derived from modifications to the Reuleaux tetrahedron, which itself does not possess uniform width across all directions. Developed by Swiss mathematician Ernst Meissner in 1911, these bodies ensure that the distance between any pair of parallel supporting planes remains constant, equal to a fixed width s, through careful geometric adjustments based on differential geometry principles.^[2] The construction begins with the Reuleaux tetrahedron formed as the intersection of four balls of radius s centered at the vertices of a regular tetrahedron with edge length s. To achieve constant width, three pairwise adjacent edges are selected, and the circular arc portions along these edges—responsible for width variations—are replaced with portions of spindle tori (surfaces generated by rotating a circular arc around an axis). This blending equalizes the distances to supporting planes, resulting in a body composed of four spherical faces, three toroidal patches, and three wedge-like surfaces.^[3] There are two distinct variants of the Meissner tetrahedron, differing in the choice of edges to smooth: one rounds the three edges incident to a common vertex (often termed the vertex-type or Meissner I), while the other rounds the three edges bounding a common face (the face-type or Meissner II). These variants are noncongruent due to the differing edge configurations but share identical volumes of approximately $0.41986 s^3 and surface areas of approximately $2.9341 s^2, as determined by the Blaschke body formula relating volume to mean width and surface curvature integrals.^[3] Meissner bodies exhibit 120-degree rotational symmetry around an axis through a vertex and the centroid of the opposite face, enabling them to roll like spheres between parallel planes while maintaining constant separation. Meissner conjectured that these bodies minimize the volume among all three-dimensional convex solids of given constant width s, a problem remaining unsolved despite supporting numerical evidence and partial results in related dimensions.^[2]

Applications

Engineering and Mechanisms

The Reuleaux tetrahedron's curved surfaces and tetrahedral symmetry offer potential in kinematic mechanisms, such as non-circular rollers or gears, where its intersection of four spheres provides smooth, symmetric motion paths. However, its non-constant width—arising from varying distances between opposite edges—limits applications requiring uniform rotation, leading to irregular rolling compared to true constant-width bodies.^[19] Variants like the Meissner tetrahedron, which modify the Reuleaux form by smoothing specific edges to achieve true constant width, have been considered in theoretical contexts for dynamic mechanisms due to their uniform width properties.^[20] In manufacturing, the Reuleaux tetrahedron is modeled in CAD software through the intersection of four spheres centered at regular tetrahedral vertices, facilitating precise design in tools like SOLIDWORKS for prototyping and simulation. For instance, 3D-printed prototypes have demonstrated its use in omnidirectional wheels, where multiple units enable flat platforms to move freely in any direction, inspired by 2D Reuleaux mechanisms like the Gearench wrench.^[19]^[21]^[22] Due to its width variation, the Reuleaux tetrahedron is primarily suited for static engineering roles or limited-motion prototypes rather than high-speed dynamic mechanisms, restricting broader adoption in precision machinery.

Art and Design

The Reuleaux tetrahedron has inspired contemporary artists and designers drawn to its blend of curved symmetry and non-spherical constancy, evoking organic forms within a mathematical framework. In modern sculpture, it serves as a basis for innovative structures that explore volume and intersection. For example, Italian designer Dario Santacroce's "Reuleaux Variations" series (2020) creates interlocking sculptures by deriving new shapes from the Reuleaux tetrahedron through rotations and overlaps, highlighting its potential for dynamic, abstract compositions.^[23] In design applications, the shape's aesthetic appeal lends itself to small-scale creations like jewelry and decorative pieces, often fabricated via 3D printing to capture its smooth, multifaceted contours. Makers produce pendants and ornaments that emphasize the form's tactile symmetry, making it accessible for personal adornment while bridging art and craftsmanship. Additionally, 3D printable models are widely used in educational art projects, allowing students and hobbyists to physically engage with its geometry through scalable prototypes shared on platforms like Thingiverse and Printables.^[24]^[25]^[26] Culturally, the Reuleaux tetrahedron symbolizes an extension of 19th-century kinematic principles into abstract visual language, representing complexity through its constant-width properties in a curved polyhedral form. This makes it a motif in explorations of form and motion, distinct from traditional platonic solids yet evocative of universal geometric ideals. Its influence extends to digital art and animations, where creators visualize its rolling dynamics to demonstrate near-sphericity despite angular origins. High-fidelity 3D models on sites like Sketchfab enable artists to render and animate the shape in virtual environments, inspiring interactive installations that play with perception and movement.^[27]^[28]

References

[1]
Reuleaux Tetrahedron -- from Wolfram MathWorld
The Reuleaux tetrahedron, sometimes also called the spherical tetrahedron, is the three-dimensional solid common to four spheres of equal radius.Missing: definition properties
[2]
[PDF] Meissner's Mysterious Bodies - Universität zu Köln
Jun 19, 2011 · It consists of four vertices, four pieces of spheres and six curved edges each of which is an intersection of two spheres. Whenever this ...
[3]
[PDF] Volume computation for Meissner polyhedra and applications - HAL
Oct 25, 2023 · Intersect four unit balls centered at the vertices of a regular tetrahedron of unit diameter. The body obtained is called a Reuleaux tetrahedron ...
[4]
Volume and Surface area of the Spherical Tetrahedron ... - UNL Math
The Reuleaux triangle (the union of the red and green regions shown in the next figure) is the specific case in which the triangle is an equilateral triangle ...Missing: definition | Show results with:definition
[5]
[PDF] Symmetry Groups of the Platonic Solids - George Sivulka
Jun 1, 2018 · Tetrahedra have a rotational symmetry group isomorphic to A4 and a total symmetry group isomorphic to S4. 2. Cubes and Octahedra have a ...
[6]
[PDF] A new paradigm for k-coverage in 3D Wireless Sensor Networks
Sep 3, 2014 · Recall that the Reuleaux Tetrahedron, is created by the intersection of four spheres placed on the vertices of a regular tetrahedron of side ...
[7]
[PDF] The density of Meissner polyhedra arXiv:2304.04035v1 [math.MG] 8 ...
Apr 8, 2023 · Figure 1: Here are two views of a Reuleaux tetrahedron, which is the intersection of four balls of radius one centered at the vertices of a ...
[8]
Regular Tetrahedron -- from Wolfram MathWorld
The regular tetrahedron, often simply called "the" tetrahedron, is the Platonic solid with four polyhedron vertices, six polyhedron edges, and four equivalent ...
[9]
[PDF] An introduction to convex and discrete geometry Lecture Notes
The width of a compact convex set K in Rd in the direction of a unit vector u is defined as. wK(u) = hK(u) + hK(−u). The width of K is the minimal width over ...
[10]
The Reuleaux Tetrahedron - Tanya Khovanova's Math Blog
Jun 4, 2016 · Of course, it is a Reuleaux Tetrahedron: Take four points at the vertices of a regular tetrahedron; take a sphere at each vertex with the radius ...Missing: formal definition
[11]
Reuleaux Tetrahedron - Maple Help
### Summary of Width Information for the Reuleaux Tetrahedron
[12]
[PDF] Convex sets of constant width
They are essentially constructed from modifications of a Reuleaux-tetrahedron, the intersection of four balls centered at the corners of a regular ...
[13]
[PDF] Franz Reuleaux: Contributions to 19th C. Kinematics and Theory of ...
Reuleaux's two major books, The Kinematics of Machinery (1875/76) [5,6], and ... without change in the gap width, hence the term 'curves of constant breadth or ...
[14]
Curves of Constant Width and Reuleaux Polygons
Reuleaux, Franz, The Kinematics of Machinery, trans. A. Kennedy, Dover, 1963 (reprint of 1876 translation of 1875 German original). Wagon, Stan, MATHEMATICA ...
[15]
The perimeter and volume of a Reuleaux polyhedron
### Summary of Reuleaux Tetrahedron Information from arXiv:2310.08709
[16]
Meissner's Mysterious Bodies | The Mathematical Intelligencer
Jul 30, 2011 · E. Meissner, Über Punktmengen konstanter Breite, Vierteljahrsschr. Nat.forsch. Ges. Zür., 56 (1911), 42–50. (http://www.archive.org/stream/ ...
[17]
Reuleaux Triangle -- from Wolfram MathWorld
A Reuleaux triangle is a curve of constant width made by drawing arcs from each vertex of an equilateral triangle to the other two vertices. It has the ...
[18]
Are there four dimensional generalizations of the Reuleaux triangle ...
Oct 5, 2023 · A 4D body of constant width whose 3D‐projection is the Meissner tetrahedron, which is a smoothing of the Reuleaux tetrahedron.Missing: Hynd | Show results with:Hynd<|control11|><|separator|>
[19]
Math and Art of Smooth-Rollers in SOLIDWORKS - GoEngineer
Jan 11, 2022 · How well does the Roberts Tetrahedron perform compared to its non-constant width cousin, the Reuleaux Tetrahedron? We can set up a virtual test ...
[20]
Meissner Tetrahedra -- from Wolfram MathWorld
Meißner (1911) showed how to modify the Reuleaux tetrahedron (which is not a solid of constant width) to form a surface of constant width by replacing three ...Missing: formula | Show results with:formula
[21]
https://arxiv.org/pdf/2107.05769.pdf
[22]
None
### Summary of Reuleaux Tetrahedron Applications in Engineering, Mechanisms, Prototyping, and Omnidirectional Wheels
[23]
Reuleaux Variations - Dario Santacroce
This series introduces interlocking sculptures derived from the Reuleaux tetrahedron and Reuleaux rotation, generating entirely new volumetric expressions.
[24]
3D Printed Reuleaux Tetrahedron - Etsy
In stock Rating 4.8 (465) Four small, 3D printed, geometric shapes in blue, yellow, red, and orange. The shapes are all the same size and are sitting on a wooden surface.
[25]
Reuleaux Tetrahedron by adelelopez - Thingiverse
Dec 14, 2021 · It's a Reuleaux tetrahedron, which is the intersection of four spheres each at equal distances from the others.
[26]
Reuleaux Tetrahedron by Henk | Download free STL model
Rating 5.0 (1) This is an easy design and easy to print. For everyone who wants to experiment, or need to have the design for a tetrahedron, I added the Fusion 360 file.Missing: jewelry | Show results with:jewelry<|separator|>
[27]
Reuleaux Tetrahedron - Download Free 3D model by SonnyG1
Jul 24, 2024 · It is constructed from a tetrahedron (a polyhedron with four triangular faces) by replacing each of the edges with a circular arc.
[28]
🔊A small animation showing the formation of the ... - Instagram
Oct 24, 2020 · A Reuleaux Tetrahedron is a solid of constant width formed by the intersection of four balls of radius s centered at the vertices of a regular ...<|control11|><|separator|>