微細構造の公式との一致

系 6.5（「相対論的量子力学」§6）・ ✓公理まで証明済み

$\zeta\to0$ で $E_{nj}$ を展開すると

E_{nj}=m\left[1-\frac{\zeta^2}{2n^2}-\frac{\zeta^4}{2n^4}\left(\frac{n}{j+\frac12}-\frac34\right)+O(\zeta^6)\right]

であり、 $\zeta^2$ の項は水素の Bohr のエネルギー、 $\zeta^4$ の項は電磁場中の荷電粒子の微細構造の公式（定理 6.3［電磁場中の荷電粒子］）に一致する。

閉包の状態

✓ 公理まで証明済み

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

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

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