ミューオンの崩壊率

定理 2.3（「弱い相互作用とニュートリノ」§2）・ ✓公理まで証明済み

電子質量を無視する近似で、定義 2.1 の相互作用が与える $\mu^-\to\nu_\mu e^-\bar\nu_e$ の崩壊率は

\Gamma=\frac{G_F^2\,m_\mu^5}{192\pi^3}

である。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 7 件、定義なども含めて 8 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

Fermi の 4 点相互作用（V−A 型）定義 2.1・弱い相互作用とニュートリノ
スピン和の公式✓定理 3.3・ディラック場の量子化
V−A のトレース縮約✓補題 2.4・弱い相互作用とニュートリノ
- γ 行列のトレース✓補題 7.1・摂動論とファインマン則
- γ⁵ の性質とトレース公式✓定理 2.2・アノマリーとインスタントン
  - γ 行列のトレース✓補題 7.1・摂動論とファインマン則
- ε の縮約恒等式✓補題 2.1・アノマリーとインスタントン
断面積と崩壊率の公式✓定理 6.1・摂動論とファインマン則
質量ゼロの 2 粒子の位相空間積分✓補題 2.5・弱い相互作用とニュートリノ

証明で明示的に参照している定理は、まだありません。