Voir aussi : 10.18.3 pour la géométrie plane.
est_cocyclique est une fonction booléenne ayant comme
argument une liste ou une séquence de points.
est_cocyclique vaut 1 si les points sont cocycliques, et vaut 0
sinon.
On tape :
On obtient :
On tape :
On obtient :