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