Droite orthogonale à un plan et plan orthogonal à une droite : orthogonal

### 11.5.8 Droite orthogonale à un plan et plan orthogonal à une droite : orthogonal

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