Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-4/21f/i/solution

The simplices in a barycentric subdivision are strict chains of nonempty faces. A tetrahedron has nonempty faces, so . Counting strict two-face chains gives
A strict three-face chain amounts to choosing a terminal face and partitioning its vertices into three nonempty ordered blocks. Hence
where denotes a Stirling number of the second kind. Therefore
Equivalently, the full subdivision has tetrahedra and Euler characteristic one, so deleting its three-dimensional simplices from the alternating count gives . This is the f-vector computation for the barycentric subdivision of a tetrahedron.

New to topics? Read the docs here!