Double octaèdre
Un octaèdre de côté double contient six octaèdres de côté unité et des manques. Il reste à combler huit tétraèdres réguliers de côté unité.
Ceci montre que le volume du grand octaèdre, qui vaut huit petits octaèdres, équivaut à celui de six octaèdres et huit tétraèdres. Donc quatre tétraèdres valent un octaèdre.
Retrouver ces égalités de volume de manière analytique (bon courage!).
Une playlist YouTube mettant en œuvre ces décompositions avec des origamis.