In geometry, a flexible polyhedron is a polyhedral surface that allows continuous non-rigid deformations such that all faces remain rigid. The Cauchy rigidity theorem shows that in dimension 3 such a polyhedron cannot be convex (this is also true in higher dimensions).
The first examples of flexible polyhedra, now called Bricard's octahedra, were discovered by Raoul Bricard (1897). They are self-intersecting surfaces isometric to an octahedron. The first example of a flexible non-self-intersecting surface in R3, the Connelly sphere, was discovered by Robert Connelly (1977).
In the late 1970s Connelly and D. Sullivan formulated the bellows conjecture stating that the volume of a flexible polyhedron is invariant under flexing. This conjecture was proved for polyhedra homeomorphic to a sphere by I. Kh. Sabitov (1995) using elimination theory, and then proved for general orientable 2-dimensional polyhedral surfaces by Robert Connelly, I. Sabitov, and Anke Walz (1997). The proof extends Piero della Francesca's formula for the volume of a tetrahedron to a formula for the volume of any polyhedron. The extended formula shows that the volume must be a root of a polynomial whose coefficients depend only on the lengths of the polyhedron's edges. Since the edge lengths cannot change as the polyhedron flexes, the volume must remain at one of the finitely many roots of the polynomial, rather than changing continuously (Demaine & O'Rourke 2007).
|Unsolved problem in mathematics:
Must the Dehn invariant of a flexible polyhedron stay invariant as it flexes?
(more unsolved problems in mathematics)
Connelly conjectured that the Dehn invariant of a flexible polyhedron is invariant under flexing. This is known as the strong bellows conjecture. Preservation of the Dehn invariant is known to be equivalent to scissors congruence of the enclosed region under flexing. It is known that the Bricard octahedra obey the strong bellows conjecture, as does Steffen's polyhedron, a non-self-intersecting flexible polyhedron derived from them (Alexandrov 2010). The total mean curvature of a flexible polyhedron, defined as the sum of the products of edge lengths with exterior dihedral angles, is a function of the Dehn invariant that is also known to stay constant while a polyhedron flexes (Alexander 1985). However, the full strong bellows conjecture remains unproven.
Flexible 4-polytopes in 4-dimensional Euclidean space and 3-dimensional hyperbolic space were studied by Hellmuth Stachel (2000). In dimensions , flexible polytopes were constructed by Gaifullin (2014).
- Alexander, Ralph (1985), "Lipschitzian mappings and total mean curvature of polyhedral surfaces. I", Transactions of the American Mathematical Society, 288 (2): 661–678, doi:10.2307/1999957, MR 776397.
- Alexandrov, Victor (2010), "The Dehn invariants of the Bricard octahedra", Journal of Geometry, 99 (1-2): 1–13, arXiv: , doi:10.1007/s00022-011-0061-7, MR 2823098.
- Bricard, R. (1897), "Mémoire sur la théorie de l'octaèdre articulé", J. Math. Pures Appl., 5 (3): 113–148
- Connelly, Robert (1977), "A counterexample to the rigidity conjecture for polyhedra", Publications Mathématiques de l'IHÉS, 47 (47): 333–338, doi:10.1007/BF02684342, ISSN 1618-1913, MR 0488071
- Connelly, Robert; Sabitov, I.; Walz, Anke (1997), "The bellows conjecture", Beiträge zur Algebra und Geometrie. Contributions to Algebra and Geometry, 38 (1): 1–10, ISSN 0138-4821, MR 1447981
- Gaifullin, Alexander A. (2014), "Flexible cross-polytopes in spaces of constant curvature", Proceedings of the Steklov Institute of Mathematics, 286 (1): 77–113, doi:10.1134/S0081543814060066, MR 3482593.
- Sabitov, I. Kh. (1995), "On the problem of the invariance of the volume of a deformable polyhedron", Rossiĭskaya Akademiya Nauk. Moskovskoe Matematicheskoe Obshchestvo. Uspekhi Matematicheskikh Nauk, 50 (2): 223–224, ISSN 0042-1316, MR 1339277
- Stachel, Hellmuth (2006), "Flexible octahedra in the hyperbolic space", in A. Prékopa; et al., Non-Euclidean geometries (János Bolyai memorial volume), Mathematics and its Applications, 581, New York: Springer, pp. 209–225, doi:10.1007/0-387-29555-0_11, ISBN 0-387-29554-2, MR 2191249 .
- Stachel, Hellmuth (2000), "Flexible cross-polytopes in the Euclidean 4-space" (PDF), Journal for Geometry and Graphics, 4 (2): 159–167, MR 1829540.
- Connelly, Robert (1979), "The rigidity of polyhedral surfaces", Mathematics Magazine, 52 (5): 275–283, doi:10.2307/2689778, MR 551682.
- Connelly, Robert (1981), "Flexing surfaces", in Klarner, David A., The Mathematical Gardner, Springer, pp. 79–89, doi:10.1007/978-1-4684-6686-7_10, ISBN 978-1-4684-6688-1.
- Connelly, Robert (1993), "Rigidity" (PDF), Handbook of convex geometry, Vol. A, B, Amsterdam: North-Holland, pp. 223–271, MR 1242981.
- Demaine, Erik D.; O'Rourke, Joseph (2007), "23.2 Flexible polyhedra", Geometric Folding Algorithms: Linkages, origami, polyhedra, Cambridge University Press, Cambridge, pp. 345–348, doi:10.1017/CBO9780511735172, ISBN 978-0-521-85757-4, MR 2354878.
- Fuchs, Dmitry; Tabachnikov, Serge (2007), "Lecture 25. Flexible polyhedra", Mathematical Omnibus: Thirty lectures on classic mathematics, Providence, RI: American Mathematical Society, pp. 345–360, doi:10.1090/mbk/046, ISBN 978-0-8218-4316-1, MR 2350979