Registry · Theorem V.T219 tau-effective formalized

V.T219 — Harmonic Eigenfrequencies

Eigenfrequencies f_{nm} = sqrt(lambda_{nm}) * c/(2*pi*R_S). Fundamental ratio f_{0,1}/f_{1,0} = iota_tau^{-1} ~ 2.930. Mass-independent. Identical to V.T185.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.harmonic_frequency_ratio_x1000