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