三垂線の定理

定理 5.1（「空間座標と空間ベクトル」§5）・ ✓公理まで証明済み

平面 $\pi$ の外の点 $P$ から $\pi$ に下ろした垂線の足を $Q$ とする。 $\pi$ 上の直線 $\ell$ と、 $\ell$ 上の点 $R$ （ $R\ne Q$ ）について、

QR\perp\ell\iff PR\perp\ell

である。すなわち、直線 $QR$ が $\ell$ に垂直であることと、直線 $PR$ が $\ell$ に垂直であることは同値である。

閉包の状態

✓ 公理まで証明済み

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

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

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

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