Registry · Theorem V.T29 tau-effective formalized

V.T29 — Mercury precession from tau-Einstein

The tau-Einstein equation predicts Mercury's perihelion precession delta phi = 6 pi G M_sun / (a(1-e^2)c^2) per orbit, with G = (c^3/hbar) iota_tau^2. The prediction 43.0 arcsec/century matches the observed 42.98 +/- 0.04 arcsec/century with no free parameters.

Book V Part 2 Ch. 14

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.GravityField.LinearEinstein

Symbol: Tau.BookV.GravityField.MercuryPrecessionFromTaueinstein