Savoir si 4 points sont cocycliques : is_concyclic est_cocyclique

### 10.18.3 Savoir si 4 points sont cocycliques : is_concyclic est_cocyclique

Voir aussi : 11.13.7 et 11.13.8 pour la géométrie 3-d.
is_concyclic ou 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 :

est_cocyclique(1+i,-1+i,-1-i,1-i)

On obtient :

1

On tape :

est_cocyclique(i,-1+i,-1-i,1-i)

On obtient :

0