Q:

Formalizing the "fitting together" of objects

How does one formalize the notion of "fitting together" objects in space? For example, in 3D Euclidean space, fitting 6 square pyramids with a common apex together into a cube, or fitting 4 equilateral triangles together into a regular tetrahedron. (The first having internal faces and the second not; I'm not sure of the notation to distinguish between these.)

A:

For these examples you can show the coordinates of the points of interest:  the corners and center of the cube or the corners of the tetrahedron, then show that those points make the shape claimed.  For the cube you can then identify for any point which pyramid it is in so you know there isn't anything left over.  For a regular tetrahedron you then need that the angles are the same (because of the requirement of regular) but symmetry takes care of that.

