### 11.5.7 Plans (ou droites) perpendiculaires : perpendicular perpendiculaire

Voir aussi : 11.5.8 et, pour la géométrie plane 10.9.8.
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