Commande SontCocycliques

SontCocycliques( <Point>, <Point>, <Point>, <Point> )

se prononce sur la cocyclicité des quatre points.

Normalement cette commande détermine le résultat numériquement. Ce comportement peut être changé en utilisant la commande Prouver.

SontCocycliques((1, 2), (3, 4), (1, 4), (3, 2)) retourne true car les 4 points appartiennent au même cercle.