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

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