### 10.13.13 Savoir si on a un losange : `is_rhombus est_losange`

Voir aussi : 9.19.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`