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