Savoir si on a un carré : is_square est_carre

### 11.13.12 Savoir si on a un carré : is_square est_carre

Voir aussi : 10.18.8 pour la géométrie plane.
est_carre est une fonction booléenne ayant comme argument quatre points ou un objet géométrique.
est_carre vaut 1 si les quatre points sont coplanaires et forment un carré ou si l’objet géométrique est un carré, et vaut 0 sinon.
On tape :

est_carre([2,2,0],[-2,2,0],[-2,-2,0],[2,-2,0])

On obtient :

1

On tape :

K:=carre([0,0,0],[2,0,0],[0,0,1]);est_carre(K)

K est le carre de sommets [0,0,0],[2,0,0],[2,0,2],[0,0,2] (il est situé dans le plan [0,0,0],[2,0,0],[0,0,1]).
On obtient :

1

On tape :

est_carre([2,2,0],[-2,2,0],[-2,-1,0],[2,-1,0])

On obtient :

0