Manuscript VIII-ST@1 · VIII-ST.tex · proposition · fe979f3b
Proposition: Intrinsic particle defect is not the packet deficit
An explicit persistent transverse cellulation › Reference specialization and intrinsic defects · lines 759–800 · proof included or linked
VIII-ST@1#prop:intrinsic
The incoming and outgoing transverse particle angle defects are
and
They need not equal . Nevertheless the total intrinsic interior angle defect of the compact transverse patch equals .
Proof. On an incoming face the induced oblique metric is . Its two ray tangents give the displayed cosine. On , the ray and bisector tangents are and . Their metric determinant and inner product give
There are three incoming or six outgoing corners.
For the total, triangulate the simple faces without changing their intrinsic metrics. The triangle angle sum and Euler identity for a disk give
At each outer vertex the two resting corners have total angle , so boundary turning is . The interior sum is . At zero count only active limiting cells.
Displayed formulas in this passage
unlabeled · line 762
unlabeled · line 767
unlabeled · line 782
unlabeled · line 792