Registry · Definition V.D241 tau-effective formalized

V.D241 — T² Quadrupole Shadow Correction Factor: f = 1 + ι_τ²/4

T² quadrupole shadow correction from torus oblateness: f(ι_τ) = 1 + ι_τ²/4 = 1.02912... The T² horizon with aspect ratio r/R = ι_τ introduces a quadrupole moment that enlarges the photon sphere by 2.91% over pure GR Schwarzschild. R_shadow(T²) = 3√3·GM/c²·f(ι_τ).

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.t2_shadow_correction_factor