Patron du quart d'octaèdre

Ce tétraèdre, de même volume que le tétraèdre régulier avec qui il partage deux faces, permet de composer un octaèdre régulier.

Seize de ces tétraèdres et huit tétraèdres réguliers de même côté composent ensemble un cube.

Retrouver son volume analytiquement et trouver une configuration de Cavalieri permettant de montrer sans calcul qu'il a le même volume qu'un tétraèdre régulier.

poly1, f, g, h = Polygon((0, 0), (1, 1), (0, 1))
poly2 = Polygon((0, 0), (0, 1), 3)
poly2' = Mirror(poly2, (1, 1) / 2)
poly1' = Mirror(poly1, (1, 1) / 2)