11.13.4 Savoir si des droites ou/et plans sont perpendiculaires is_perpendicular est_perpendiculaire
Voir aussi : 10.18.12 pour la géométrie plane et
11.13.5 pour l’orthogonalité 3-d.
est_perpendiculaire, en géométrie 3-d, teste si deux droites ou, si
une droite et un plan ou, si deux plans sont perpendiculaires.
En 3-d, deux droites perpendiculaires sont coplanaires et orthogonales.
On tape :
est_perpendiculaire(droite([2,3,-2],[-1,-1,-1]), droite([1,0,0],[1,2,8]))
On obtient :
0
On tape :
est_coplanaire(droite([2,3,-2],[-1,-1,-1]), droite([1,0,0],[1,2,8]))
On obtient :
0
On tape :
P:=plan([0,0,0],[1,2,-3],[1,1,-2])
S:=plan([-1,-1,-1],[1,2,-3],[0,0,0])
est_perpendiculaire(P,S)
On obtient :
1
On tape :
dd:=droite([2,3,-2],[-1,-1,-1])
est_perpendiculaire(dd,P)
On obtient :
0