Registry · Definition IV.D198 tau-effective formalized

IV.D198 — Koide parameter

The Koide parameter is Q = (m_e + m_mu + m_tau) / (sqrt(m_e) + sqrt(m_mu) + sqrt(m_tau))^2, a dimensionless ratio of the three charged lepton masses discovered by Yoshio Koide in 1982, experimentally equal to 0.666661 +/- 0.000007.

Book IV Part 6 Ch. 46

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.KoideParameter