Savoir si on a un triangle rectangle ou si on a un rectangle : est

11.13.11 Savoir si on a un triangle rectangle ou si on a un rectangle : est_rectangle

Voir aussi : 10.18.7 pour la géométrie plane.
est_rectangle est une fonction booléenne ayant comme argument trois ou quatre points ou un objet géométrique.
est_rectangle(A,B,C) vaut 1 (resp 2 ou 3) si les trois points A,B,C forment un triangle rectangle, l’angle droit étant désigné par le premier (resp second, troisième) argument ou si l’objet géométrique est un triangle rectangle,
est_rectangle(A,B,C,D) vaut 1 (resp 2) si les quatre points A,B,C,D sont coplanaires et forment un rectangle (resp un carré) ou si l’objet géométrique est un rectangle (resp un carré), et vaut 0 sinon.
On tape :

est_rectangle([2,0,0],[2,2,0],[0,2,0])

On obtient :

On tape :

est_rectangle([2,2,0],[-2,2,0],[-2,-1,0],[2,-1,0])

On obtient :