Registry · Theorem IV.T85 tau-effective formalized

IV.T85 — Hydrogen energy levels

The hydrogen bound-state energies E_n = -alpha_em^2 m_e c^2 / (2n^2) = -13.6 eV/n^2 for n = 1,2,3,... are eigenvalues of the B-sector Hamiltonian restricted to the proton-electron system, with both alpha_em and m_e determined by iota_tau, yielding ground-state energy E_1 ~ -13.606 eV.

Book IV Part 6 Ch. 47

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.HydrogenEnergyLevels