Savoir si des droites ou/et plans sont perpendiculaires is_perpendicular est_perpendiculaire

### 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