Euler の四辺形定理

定理 7.5（「平面ベクトルと座標」§7）・ ✓公理まで証明済み

四角形 $ABCD$ の対角線 $AC,BD$ の中点をそれぞれ $M,N$ とすると

|AB|^2+|BC|^2+|CD|^2+|DA|^2=|AC|^2+|BD|^2+4|MN|^2.

閉包の状態

✓ 公理まで証明済み

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

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

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

等しい重みの場合と中線定理✓系 7.2・平面ベクトルと座標
- 重み付き距離の 2 乗の和（Leibniz の公式）✓定理 7.1・平面ベクトルと座標
  - 内積の性質✓定理 4.1・平面ベクトルと座標
    1 次独立と成分表示の一意性✓命題 3.1・平面ベクトルと座標

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