Registry · Theorem V.T205 tau-effective formalized

V.T205 — c² Cancellation Theorem

c² Cancellation Theorem: for ANY baryonic density profile, v_cap²(r) = GM·f(r/Rd,r/ℓ)/r where f is independent of c. The c⁻² from the source (4πG/c²)ρ cancels the c² from velocity extraction v²=−(c²r/2)u′. Verified: point mass (3D), thin disk (2D, K₀), arbitrary density (Green's function), all to machine precision (<10⁻¹⁵). The c² in V.T85 is NOT accessible by linearization.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.c2_cancellation_theorem