### 10.5.8 Droite orthogonale à un plan et plan orthogonal à une droite : `orthogonal`

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

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

On tape :

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

On obtient :

`Le plan d’équation y=x`

On tape :

`orthogonal(point(0,0,0),plan(point(1,0,0),point(0,1,0),point(0,0,1)))`

On obtient :

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