Savoir si 2 cercles sont orthogonaux : is_orthogonal est_orthogonal

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