Registry · Theorem
IV.T11
tau-effective
formalized
IV.T11 — Three-Fold Distance Squared
|1 - ω|² = 3 where ω = e^{2πi/3}. Proof: (3/2)² + (√3/2)² = 9/4 + 3/4 = 12/4 = 3. Origin of √3 in mass ratio.
Book IV
Part 3
Ch. 23