マンデルスタム変数

命題 6.3（「ハドロンとクォーク模型」§6）・ ✓公理まで証明済み

$p_1+p_2\to p_3+p_4$ に対して $s=(p_1+p_2)^2$ 、 $t=(p_1-p_3)^2$ 、 $u=(p_1-p_4)^2$ と定める（計量は $(+,-,-,-)$ 、 $p_i^2=m_i^2$ ）。このとき

s+t+u=m_1^2+m_2^2+m_3^2+m_4^2.

閉包の状態

✓ 公理まで証明済み

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

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

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

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