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

Voir aussi : 9.19.13 pour la géométrie plane et 10.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`