10.5.9 La perpendiculaire commune à deux droites 3-d : common_perpendicular perpendicu- laire_commune
perpendiculaire_commune a comme argument deux droites
D1 et D2.
perpendiculaire_commune(D1,D2) dessine la perpendiculaire commune des
droites D1 et D2.
On tape :
D1:=droite([1,1,0],[0,1,1]); D2:=droite([0,-1,0],[1,-1,1]);
Puis on tape :
perpendiculaire_commune(D1,D2)
On obtient :
La perpendiculaire commune aux deux droites D1 et D2