トレミーの定理

平面上の異なる4点が同一円周上にある必要十分条件は、その4点から計算されるユークリッド距離行列の行列式が0になることである．

ただし、直線も円であるとみなす。