AreConcyclic コマンド

AreConcyclic( <点>, <点>, <点>, <点> )

点が同一円上にあるかどうかを判定する.

通常,このコマンドは結果を数値で計算する.この動作は Proveコマンドで変更できる.

AreConcyclic((1, 2), (3, 4), (1, 4), (3, 2)) 出力: true ,点が同一円上にある.