Manuscript VII-F-ST@1 · VII-F-ST.tex · proposition · 9eee7a44
Proposition: Areas and one-sided laws
Cellulation, exact measures, and the unique event parameter › Edges and lengths · lines 595–629 · proof included or linked
VII-F-ST@1#prop:areas
The induced transverse areas are
Every active face has positive area. In particular, . The born edges vanish to first order and the born areas to second order at . The changing line in one half-sector has Euclidean parameter-normal speed .
Proof. The graph-area factors are for the -plane and for a -plane. The original projected core triangle has area . Each new projected triangle has area
Subtract both from and multiply by , or multiply one by , to obtain the table. The collar is horizontal and has area . The speed follows from .
Displayed formulas in this passage
unlabeled · line 598
unlabeled · line 621