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 :
On obtient :
On tape :
On obtient :