Manuscript En03-A@1 · En03-A.tex · proposition · 5398614e

Proposition: All lengths and no peripheral collapse

External conical geometry and certified local moves › Compact collar and frozen exterior · lines 1918–1940 · proof included or linked

En03-A@1#prop:alllengths

Back to manuscript

The complete bounded patch lengths are in tab:certificate. Every noncentral actual edge has length greater than throughout the window. All eight faces remain two-dimensional. The central exchange is the only incidence event.

Proof. The north-east incoming arm displacement is , of spacelike norm . The outgoing displacement is , of norm . Reflection gives the other arms.

Resting lengths are . Their minimum is ; arm lengths are at least . Each core face has a strict-maximum neighbourhood immediately inside its inner side midpoint. Every collar polygon has nonempty interior by the strict margins. Central endpoints remain strictly inside , and all peripheral incidence is fixed.

Nearby in this section