The insphere of a solid is a sphere that is tangent to all faces of the solid. An insphere does not always exist, but when it does, its radius is called the inradius and its center the incenter. The insphere is the 3-dimensional generalization of the incircle.

Platonic solids (whose duals are themselves Platonic solids) and Archimedean duals have inspheres that touch all their faces, but Archimedean solids do not. Note that the insphere is not necessarily tangent at the centroid of the faces of a dual polyhedron, but is rather only tangent at some point lying on the face.

The figures above depict the inspheres of the Platonic solids.

The insphere is implemented in the Wolfram Language as `Insphere`[*pts*],
where *pts* is a list of points determining a simplex, or `Insphere`[*poly*],
where *poly* is a `Polygon` (giving a two-dimensional incircle)
or `Polyhedron` (giving a three-dimensional insphere) object.