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`