Savoir si des éléments sont conjugués : is_conjugate est_conjugue

### 10.18.14 Savoir si des éléments sont conjugués : is_conjugate est_conjugue

est_conjugue permet de savoir si 4 points sont conjugués ou si 2 points ou 2 droites ou 1 droite et 1 point sont conjugués par rapport à un cercle ou deux droites.
est_conjugue est une fonction booléenne ayant comme arguments deux points (resp deux droites ou un cercle) suivi de deux points ou de deux droites ou d’une droite et d’un point.
est_conjugue vaut 1 si les arguments sont conjugués, et vaut 0 sinon.
On tape :

est_conjugue(cercle(0,1+i),point(1-i),point(3+i))

On obtient :

1

On tape :

est_conjugue(cercle(0,1),point((1+i)/2),droite(1+i,2))

Ou on tape :

est_conjugue(cercle(0,1),droite(1+i,2),point((1+i)/2))

On obtient :

1

On tape :

est_conjugue(cercle(0,1),droite(1+i,2), droite((1+i)/2,0))

On obtient :

1

On tape :

est_conjugue(point(1+i),point(3+i),point(i),point(i+3/2))

On obtient :

1

On tape :

est_conjugue(droite(0,1+i),droite(2,3+i), droite(3,4+i),droite(3/2,5/2+i))

On obtient :

1