Registry · Theorem
II.T22
established
formalized
II.T22 — Three Perspectives on Pi
Pi is earned from within tau via three equivalent perspectives: geometric (circumference/diameter of the earned circle), analytic (Leibniz series from the tau-harmonic expansion), and algebraic (eigenvalue of angular iteration on T^2).
Book II
Part 5
Ch. 25