Savoir si 5 points sont cospheriques : is_cospheric est

11.13.8 Savoir si 5 points sont cospheriques : is_cospheric est_cospherique

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

est_cospherique([2,0,0],[0,2,0],[sqrt(2),sqrt(2),0], [0,0,2],[2/sqrt(3),2/sqrt(3),2/sqrt(3)])

On obtient :

On tape :

est_cospherique([2,0,0],[0,2,0],[1,1,0],[0,0,2],[1,1,1])

On obtient :