### 10.18.13 Savoir si 2 cercles sont orthogonaux : `is_orthogonal est_orthogonal`

Voir aussi : 11.13.5 pour la géométrie 3-d.
`est_orthogonal` est une fonction booléenne ayant comme argument deux droites ou deux cercles.
`est_orthogonal` vaut 1 si les deux droites sont perpendiculaires ou si les deux cercles sont orthogonaux (si les tangentes en leurs points d’intersection sont orthogonales), et vaut 0 sinon.
On tape :

`est_orthogonal(droite(0,1+i),droite(i,1))`

On obtient :

`1`

On tape :

`est_orthogonal(line(2,i), line(0,1+i))`

On obtient :

`0`

On tape :

`est_orthogonal(cercle(0,1+i),cercle(2,1+i))`

On obtient :

`1`

On tape :

`est_orthogonal(cercle(0,1),cercle(2,1))`

On obtient :

`0`