Savoir si on a un losange : is_rhombus est_losange

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

Voir aussi : 11.13.13 pour la géométrie 3-d.
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 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(1+i,-1+i,-1-i,1-i)

On obtient :

1

On tape :

K:=losange(1+i,-1+i,pi/4);est_losange(K)

On obtient :

1

On tape :

K:=losange(1+i,-1+i,pi/4,C,D);est_losange(K[0])

On obtient :

1

En effet K[0] désigne un losange car K est une liste composée d’un losange et de ses sommets C et D.
Si on tape normal(coordonnees(C,D)), on obtient [-sqrt(2)-1,-sqrt(2)+1],[-sqrt(2)+1,-sqrt(2)+1].
On tape :

est_losange(i,-1+i,-1-i,1-i)

On obtient :

0