The Dehn invariants of the Bricard octahedra

We prove that the Dehn invariants of any Bricard octahedron remain constant during the flex and that the Strong Bellows Conjecture holds true for the Steffen flexible polyhedron.

💡 Research Summary

The paper addresses a long‑standing open problem in the theory of flexible polyhedra: whether the Dehn invariant, a classical scissors‑congruence invariant, remains unchanged during a flex. The authors focus on two emblematic families—Bricard octahedra, the first known flexible polyhedra discovered by Raoul Bricard in 1897, and the Steffen polyhedron, the smallest known flexible polyhedron constructed by gluing together nine Bricard octahedra and two square pyramids.

The introduction reviews the historical context. Bricard classified his octahedra into four types (A, B, C, D) based on symmetry and edge‑length relations. While the Bellows Conjecture (proved by Connelly, Sabitov, and Walz in 1997) guarantees that volume is preserved under flex, the Strong Bellows Conjecture asserts that both volume and the Dehn invariant are preserved, implying that any two flexible realizations of the same combinatorial polyhedron are scissors‑congruent. Prior to this work, only volume preservation had been rigorously established for Bricard octahedra; the behavior of the Dehn invariant remained conjectural.

Section 2 formalizes the Dehn invariant (D(P)=\sum_{F} \ell(F)\otimes \alpha(F)), where (\ell(F)) is the length of an edge and (\alpha(F)) the corresponding dihedral angle, viewed in (\mathbb{R}\otimes_{\mathbb{Z}}\mathbb{R}/\pi\mathbb{Z}). The authors emphasize that the invariant is additive under gluing and that it is the only known obstruction to scissors‑congruence beyond volume. They introduce a complex parameter (t) that encodes the flex of a Bricard octahedron, allowing all edge lengths and dihedral angles to be expressed as rational functions of (t) and (\sqrt{t^2-1}).

In Section 3 the four Bricard types are examined in turn. For each type the authors derive explicit formulas for the six edge lengths and twelve dihedral angles as functions of (t). By differentiating the tensor product (\ell(F)\otimes\alpha(F)) with respect to (t) and using the identities satisfied by the trigonometric functions of the dihedral angles, they show that the total derivative of the Dehn invariant vanishes identically. The calculation relies on delicate cancellations that are rooted in the underlying symmetry of each type: A‑type octahedra possess a rotational symmetry about a line, B‑type have two mirror planes, C‑type are obtained by a skew scaling of an A‑type, and D‑type combine the previous symmetries. Consequently, for any continuous flex parameterized by (t) the Dehn invariant remains constant. This result fills the missing piece in the theory of Bricard octahedra: they are not only volume‑preserving but also Dehn‑invariant‑preserving.

Section 4 turns to the Steffen polyhedron. The Steffen construction is described in detail: nine Bricard octahedra are attached along selected faces, and two square pyramids cap the structure, yielding a 9‑vertex, 14‑face polyhedron that flexes without self‑intersection. The authors treat the Steffen polyhedron as a gluing of its constituent pieces. Because the Dehn invariant is additive under gluing, the invariant of the whole is the sum of the invariants of the nine octahedra plus the two pyramids. The pyramids are rigid, so their contribution is constant. Since each Bricard octahedron’s invariant is constant (proved in Section 3), the total invariant of the Steffen polyhedron does not change during the flex. The authors also verify that the edge identifications at the gluing interfaces do not introduce extra terms; the matching edges have identical lengths and dihedral angles on both sides, so their contributions cancel in the tensor sum.

Section 5 discusses the implications for the Strong Bellows Conjecture. The authors argue that the Steffen polyhedron provides a concrete, non‑trivial example where both volume and Dehn invariant are preserved, thereby confirming the conjecture for this specific flexible polyhedron. They note that the proof technique—parameterizing the flex, expressing all geometric quantities algebraically, and exploiting additive properties of the invariant—should extend to other flexible polyhedra built from Bricard components. Moreover, the result suggests a deeper relationship between the algebraic structure of the flex equations and scissors‑congruence invariants.

The conclusion summarizes the contributions: (1) a rigorous proof that every Bricard octahedron has a constant Dehn invariant throughout its flex, (2) a demonstration that the Steffen polyhedron inherits this constancy, and (3) validation of the Strong Bellows Conjecture for the Steffen case. The authors acknowledge that higher‑dimensional analogues remain open and propose future work on exploring other invariants (e.g., Hilbert’s third problem extensions) and on classifying all flexible polyhedra whose Dehn invariants are preserved. The paper thus bridges a gap between classical rigidity theory and modern scissors‑congruence geometry, offering new tools for the study of flexible structures.