Orthogonalité de 2 droites ou 2 sphères : is_orthogonal est_orthogonal

### 11.13.5 Orthogonalité de 2 droites ou 2 sphères : is_orthogonal est_orthogonal

Voir aussi : 10.18.13 pour la géométrie plane et 11.13.4 pour la perpendicularité 3-d.
est_orthogonal est une fonction booléenne ayant comme argument deux droites ou deux sphères ou une droite et un plan ou d eux plans.
est_orthogonal vaut 1 si les deux droites ou les deux sphères (i.e si les plans tangents en leurs points d’intersection sont orthogonaux), ou la droite et le plan ou les deux plans sont orthogonaux et vaut 0 sinon.
On tape :

est_orthogonal(droite([2,3,-2],[-1,-1,-1]), droite([1,0,0],[1,2,8]))

On obtient :

1

On tape :

est_orthogonal(droite([2,3,-2],[-1,-1,-1]), plan([-1,-1,-1],[-1,0,3],[-2,0,0]))

On obtient :

1

On tape :

est_orthogonal(plan([0,0,0],[1,2,-3],[1,1,-2]), plan([-1,-1,-1],[1,2,-3],[0,0,0]))

On obtient :

1

On tape :

est_orthogonal(sphere([0,0,0],sqrt(2)), sphere([2,0,0],sqrt(2)))

On obtient :

1