Dehn Invariant of Some Disjoint Unions of Polyhedra with Octahedral Symmetry
The Dehn invariant of a polyhedron is , where is the length of the edge , is the corresponding dihedral angle, and is an additive functional defined on a certain finite-dimensional vector space of reals over the rationals for which . A polyhedron has Dehn invariant 0 if and only if it is equidecomposable with a cube of same volume.[more]
This Demonstration calculates Dehn invariants for disjoint unions of Platonic and Archimedean solids having octahedral symmetry (and edge length 1). In this case, the dihedral angles are supplementary to the angles between suitable axes of rotational symmetry.
The disjoint union of a tetrahedron and a truncated tetrahedron has Dehn invariant 0.[less]
That some combinations of Platonic and Archimedean solids have Dehn invariant 0 was shown in .
 J. H. Conway, C. Radin, and L. Sadun, "On Angles Whose Squared Trigonometric Functions Are Rational," Discrete & Computational Geometry, 22(3), 1999 pp. 321–332. doi:10.1007/PL00009463.