4 点が同一円周上にある条件（交比）

定理 3.2（「複素数平面と作図」§3）・ ✓公理まで証明済み

相異なる 4 点 $z_1,z_2,z_3,z_4\in\mathbb{C}$ について、これらが 1 つの円または 1 本の直線の上にあるための必要十分条件は、交比

(z_4,z_1,z_2,z_3)=\frac{z_4-z_1}{z_4-z_3}\cdot\frac{z_2-z_3}{z_2-z_1}

が実数であることである。

閉包の状態

✓ 公理まで証明済み

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

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

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

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