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

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookII.Transcendentals.PiEarned

Symbol: pi_three_perspectives_check