### 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