Savoir si 2 droites 2-d sont perpendiculaires : is_perpendicular est_perpendiculaire

### 10.18.12 Savoir si 2 droites 2-d sont perpendiculaires : is_perpendicular est_perpendiculaire

Voir aussi : 11.13.4 pour la géométrie 3-d.
est_perpendiculaire, en géométrie plane, est une fonction booléenne ayant comme argument deux droites.
est_perpendiculaire vaut 1 si les deux droites sont perpendiculaires, et vaut 0 sinon.
On tape :

est_perpendiculaire(droite(0,1+i),droite(i,1))

On obtient :

1

On tape :

est_perpendiculaire(droite(0,1+i),droite(1+i,1))

On obtient :

0