Registry · Theorem IV.T115 tau-effective formalized

IV.T115 — Three-fold distance squared

The squared spectral distance between adjacent sectors on the lemniscate satisfies |1-omega|^2 = 3, with all three pairwise distances equal: d(Lobe B, sigma) = d(sigma, Lobe C) = d(Lobe C, Lobe B) = sqrt(3), forming an equilateral triangle in the spectral geometry.

Book IV Part 3 Ch. 23

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.MassDerivation.BreathingModes

Symbol: Tau.BookIV.MassDerivation.ThreefoldDistanceSquaredivt11