Registry · Definition IV.D43 tau-effective formalized

IV.D43 — Spectral Distance √3

√3 ≈ 17320508/10000000 (7 digits). Arises as |1-ω| where ω = e^{2πi/3}. Approximation quality: (√3_approx)² < 3 < (√3_approx)²·(1+10⁻⁷).

Book IV Part 3 Ch. 23

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Physics.LemniscateCapacity

Symbol: Tau.BookIV.Physics.sqrt3_numer