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

Back to manuscript

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

Nearby in this section