剛体上の速度分布

命題 3.2（「非慣性系と剛体の運動」§3）・ ✓公理まで証明済み

剛体の各点の速度は、 $\boldsymbol{V}\equiv\dot{\boldsymbol{X}}$ と補題 2.1 の角速度ベクトル $\boldsymbol{\omega}$ により

\dot{\boldsymbol{r}}_a=\boldsymbol{V}+\boldsymbol{\omega}\times(\boldsymbol{r}_a-\boldsymbol{X})

と表される。 $\boldsymbol{\omega}$ は点 $a$ によらない。

閉包の状態

✓ 公理まで証明済み

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

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

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