11.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
Si on tape :
d:=perpendiculaire_commune(D1,D2);0
On obtient :
expr("pnt(pnt[line[point[1,0,-1],point[-1/3,-2/3,-1/3]],56,"d"])",0),0
Ce qui veut dire que la perpendiculaire commune à D1 et D2 passe par les
points [1,0,-1] et [-1/3,-2/3,-1/3].
Puis on tape :
equation(d)
On obtient :
2/3-2*x/3+4*y/3=0,-4/3-8*x/9-4*y/9-20*z/9=0