Le conjugué harmonique : harmonic_conjugate conj

10.19.4 Le conjugué harmonique : harmonic_conjugate conj_harmonique

conj_harmonique a comme arguments 3 points alignés A,B,C (resp 3 droites concourantes ou parallèles).
conj_harmonique renvoie et dessine le conjugué harmonique de C par rapport à A et B.
On tape :

conj_harmonique(0,2,3/2)

On obtient :

pnt(3,0)et dessine ce point

On tape :

conj_harmonique(droite(0,1+i),droite(0,3+i),droite(0,i))

On obtient :

pnt([[0,3+2*i],0]) et dessine cette droite