### 11.13.13 Savoir si on a un losange : is_rhombus est_losange

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

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

On obtient :

1

On tape :

K:=losange([0,0,0],[2,0,0],[[0,0,1],pi/4]);est_losange(K)

K est le losange ABCD de sommets [0,0,0],[2,0,0], [sqrt(2)+2,0,sqrt(2)],[sqrt(2),0,sqrt(2)], il est situé dans le plan [0,0,0],[2,0,0],[0,0,1] et l’angle BAD vaut pi/4.
On obtient :

1

On tape :

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

On obtient :

0