Savoir si on a un triangle équilatéral : is_equilateral est_equilateral

### 10.18.5 Savoir si on a un triangle équilatéral : is_equilateral est_equilateral

Voir aussi : 11.13.9 pour la géométrie 3-d.
est_equilateral est une fonction booléenne ayant comme argument trois points ou un objet géométrique.
est_equilateral vaut 1 si les trois points forment un triangle équilatéral ou si l’objet géométrique est un triangle équilatéral, et vaut 0 sinon.
On tape :

est_equilateral(0,2,1+i*sqrt(3))

On obtient :

1

On tape :

T:=triangle_equilateral(0,2,C);est_equilateral(T[0])

On obtient :

1

En effet T[0] désigne un triangle car T est une liste composée du triangle et de son sommet C.
On tape affixe(C) et on obtient 1+i*sqrt(3)
On tape :

est_equilateral(1+i,-1+i,-1-i)

On obtient :

0