### 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`