Manuscript VII-F@1 · VII-F.tex · proposition · 2d81c03f
Proposition: Total-angle audit
Intrinsic-angle audit · lines 1961–1988 · proof included or linked
VII-F@1#prop:angle-audit
For every slice in the family, summing over all interior vertices of the compact patch gives
At , only regular cells of the limiting slice enter the sum.
Proof. Triangulate the polygonal faces without changing their metric. The Euclidean angle sum in each triangle, together with Euler's formula for a disk, gives
Artificial triangulation edges do not change the summed angles.
The boundary lies in the resting collar. At each of the three boundary vertices , the total interior angle is , so the boundary turning sum is . Therefore the interior defect sum is .
Displayed formulas in this passage
unlabeled · line 1965
unlabeled · line 1975