These tetrahedra are called Schläfli orthoschemes. This dissection is an interesting example in the context of Hilbert's third problem, since it allows us to derive the volume of these tetrahedra without calculus (or similar methods such as the method of exhaustion, as in Euclid XII:4–5).
2014 June 21