Savoir si on a un triangle isocéle : is_isosceles est_isocele

### 10.18.6 Savoir si on a un triangle isocéle : is_isosceles est_isocele

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

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