Registry · Proposition V.P60 tau-effective formalized

V.P60 — Light Deflection from tau-GR --- V.P24

Light deflection by the Sun, delta theta = 4GM_sun/(c^2 R_sun) ~ 1.75 arcsec, follows from the linearized tau-Einstein equation applied to a null geodesic (gamma-sector null intertwiner); the factor 4 arises from coupling to both temporal and spatial perturbation components.

Book V Part 5 Ch. 35

Dependency Graph

Depends on (5)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.KeplerSolarSystem

Symbol: Tau.BookV.Astrophysics.LightDeflectionFromTaugrVp24