### 9.19.5 Savoir si on a un triangle isocéle : `is_isoceles est_isocele`

Voir aussi : 10.13.10 pour la géométrie 3-d.
`est_isocele` est une fonction booléenne ayant comme argument trois points ou un objet géométrique.
`est_isocele` vaut 1 (resp 2, 3) si les trois points forment un triangle isocéle ou si l’objet géométrique est un triangle isocéle dont l’angle portant les deux cotés égaux est désigné par le premier (resp second, troisième) argument, ou vaut 4 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_isocele(1,1+i,i)`

On obtient :

`2`

On tape :

`T:=triangle_isocele(0,1,pi/4);est_isocele(T)`

On obtient :

`1`

Ou on tape :

`T:=triangle_isocele(0,1,pi/4,C);est_isocele(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 `(sqrt(2))/2+((i)*sqrt(2))/2`
On tape :

`est_isocele(1+i,-1+i,-i)`

On obtient :

`3`