Pirámide doble

Una pirámide de lados dos contiene seis pirámides de lados uno... y huecos. Queda por llenar cuatro tetraedros regulares de lado uno. Esto muestra que el volumen de la gran pirámide, que vale ocho pirámides pequeñas, es equivalente al volumen de seis pirámides y cuatro tetraedros. Así que dos tetraedros valen una pirámide, que también es medio octaedro.
Encuentre estas igualdades de volumen analíticamente (¡buena suerte!).