%% auteur : Bataille qui n'aurait rien fait sans les autres
%% Lieu géométrique de I lorsque (d) pivote autour de O

-5 8 setxrange
-4 4 setyrange
25 setxunit
25 setyunit
/O {-4 0} def
/A {4 0} def
/C {A 3} def

/K {O A milieu A O distance 2 div  C intercercle popp} def

/R {K O A  axesympoint} def
/M {30 C cpoint} def
/N {O M C interdroitecercle popp} def
/I {M N milieu} def
O K droite
O R droite
[O A R K] points
C cercle
%[R1 R2] points
[M N I] points
M I 2 marked
I N 2 marked
pointilles
O M droite


(A) A dltext
(O) O dctext
(M) M urtext
(N) N ultext
(I) I urtext

#latex# $R_1$
R ultexlabel

#latex# $R_2$
K dltexlabel

#latex# $\mathcal{C}$
30 neg C cpoint drtexlabel

#latex# $(d_1)$
O R milieu uctexlabel

#latex# $(d)$
O N milieu dctexlabel

#latex# $(d_2)$
O K milieu dctexlabel