3
$\begingroup$

Since this question remained without answers even after a bounty, I thought it might be time to ask it here.

For which pyramid can you compute the volume from simple cut-and-glue processes? The Dehn invariant naturally gives the answer, but I failed to turn this in an algorithm. Here are the pyramids, I know of, whose volume is computable by elementary operations:

  • take a cube and divide into six pyramids from its center (or three pyramids given the 120° symmetry along a diagonal). These pyramids can be subdivided and glued into further pyramids, but there are not so many possibilities.

  • take a trigonal trapezohedron whose faces are all rhombic. This is not a right prism, but oblique prisms can also be cut-and-glued into a right prism (and hence their volume can be computed). Because of his symmetry group you can cut it into three pyramidal pieces (oblique pyramids). Since the small angle of the rhombus can be $\in ]0, \pi/2[$ (at $\pi/2$ it's just a cube), this gives an infinite family of pyramids. (These oblique pyramids have a symmetry: you can cut them further in half.) EDIT: Note that when the acute angle is $\in ]\pi/3, \pi/2[$ there are actually two ways to make a trigonal trapezohedron out of this rhombus (depending on whether the angle at the polar vertices is acute or obtuse).

But the that's all I could find. Are there any other? and if so, what is the cut-and-glue process?

Some background:

  • The volume of pyramids is discussed here in Proposition 3 to 5 of Euclid's book

  • The fact there was no "simple" proof irritated Gauß and later Hilbert. It was purportedly the inspiration for his 3rd Problem, which was solved by Dehn (using his invariant)

  • There is an earlier (and largely ignored) solution of Hilbert's 3rd problem by a certain Birkenmayer, see this paper.

  • In two dimensions the Wallace–Bolyai–Gerwien theorem answers the question completely. Beside the Dehn invariant (which shows this is not the case in three dimensions), the Banach-Tarski paradox is also a reminder that volume in three dimensions are tricky.

[EDIT: To clarify simple cute-and-glue (as asked in the comments). One starts with the class $(C)$ of solids (at the beginning it only includes rectangular prisms). You can add another polyhedron $P$ to $(C)$ if:

a number $k \neq 0$ of copies of $P$ can be obtained by cutting solids $\{S_i\}_{i=1,\ldots,s}$ from $(C)$ [possibly many copies of the same solid] into finitely many polyhedral pieces and reassembling these pieces together into the $k$ copies $P$ and a possibly empty collection of solids $\{T_i\}$ with $T_i$ belonging to $(C)$. In that case, $\mathrm{vol}(P) = \tfrac{1}{k} \big( \sum \mathrm{vol}(S_i) - \sum \mathrm{vol}(T_i) \big)$, and so $P$ can be added to $(C)$.

Reassembling means apply isometries of $\mathbb{R}^3$ (rotations, reflections and translations); two solids are congruent if one is the image of the other under such transformations and a copy is also the image of a solid under such transformations. This definition is closely related to scissors-congruence.

$\endgroup$
5
  • 1
    $\begingroup$ Could you please define what constitutes a "simple cut-and-glue process"? Thanks. $\endgroup$ Commented Apr 30, 2020 at 10:59
  • 1
    $\begingroup$ Sure, it's essentially scissors-congruence. You have a class of solids whose volume is computable call it (C); at the beginning it includes only rectangular [right] prisms. Then you extend this class by using scissors-congruence (cutting in finitely many pieces). You have the right to say that two congruent (by rotation or reclection or transaltion) solids have the same volume; you have the right to combine many solids together. As an example, here is how you go to triangular [right]-prisms. First, by cutting rectangular prisms in two you get right-angled-triangular [right]-prisms.... $\endgroup$
    – ARG
    Commented Apr 30, 2020 at 11:08
  • 1
    $\begingroup$ Since any triangle can be split in two right-angled-triangles, you can extend (C) to all triangular [right]-prisms. Next, since any polygon in the plane can be cut in triangles, you can extend (C) to all polygonal [right]-prisms. Somewhat trickier is the step to oblique prisms. If I remember correctly you have to cut them in planes which are perpendicular to the basis and reassemble. It's easier to see in the case of a rectangular [oblique] prism which has only two sides which are parallelogramms. Then you can cut it (as you would in the plane) to reassemble it as an oblique prism. $\endgroup$
    – ARG
    Commented Apr 30, 2020 at 11:14
  • 1
    $\begingroup$ Problems starts when you get to pyramids. Apart the one I described above (which explicitly use the fact that they come from cutting a solid from (C) in congruent pieces), I know of no examples. In any case, you don't have the right to cut in pieces which are not polyhedral (e.g. spheres, cylinders, ...). Hopefully it is clearer? $\endgroup$
    – ARG
    Commented Apr 30, 2020 at 11:16
  • $\begingroup$ Thanks, clearer. $\endgroup$ Commented Apr 30, 2020 at 12:09

0

You must log in to answer this question.

Browse other questions tagged .