### 10.5.7 Plans (ou droites) perpendiculaires : `perpendicular perpendiculaire`

Voir aussi : 10.5.8 et, pour la géométrie plane 9.10.7.
`perpendiculaire`, en géométrie 3-d, renvoie et dessine une droite (resp un plan) si le 2-ième argument est une droite (resp un plan).
Plus précisemment, si ses arguments sont :

- un point A et une droite d, `perpendiculaire(A,d)` renvoie et dessine la droite perpendiculaire à la droite d et passant par A,
- une droite dd et un plan P, `perpendiculaire(dd,P)` renvoie et dessine le plan perpendiculaire au plan P et passant par dd.

On tape :

`perpendiculaire(point(0,0,0),droite(point(1,0,0),point(0,1,0)))`

On obtient :

`La droite d’équation y=x, z=0`

On tape :

`perpendiculaire(droite([0,0,0],[1,1,0]),plan(point(1,0,0),point(0,1,0),point(0,0,1)))`

On obtient :

`Le plan d’équation x=y`