verbatimtex
%&latex
\documentclass[12pt]{article}
\usepackage[charter]{mathdesign}
\usepackage{pifont}
\begin{document}
etex

input geometriesyr16
figure(0,0,12u,8u);
u:=8mm;
pair O,C,D,H,A,I,J,K;
O=u*(5,5);
path cc,cd,ce;
cc=cercles(O,2.75u);
cd=cercles(O,5u);
A=pointarc(cd,48);
I=cc intersectionpoint segment(O,A);
ce=perpendiculaire(O,A,I);
J=cd intersectionpoint ce;
K=symetrie(J,O,A);
C=segment(O,J) intersectionpoint cc;
D=segment(O,K) intersectionpoint cc;
H=iso(C,D);
trace droite(O,O+u*(1,0)) dashed evenly;
trace droite(O,O+u*(0,1)) dashed evenly;
trace segment(O,A);
trace cc;
trace cd dashed withdots;
drawoptions(withcolor gris);
trace droite(J,K);
trace chemin(J,O,K);
trace demidroite(A,C);
trace demidroite(A,D);
trace codeperp(O,C,A,5);
trace codeperp(O,D,A,5);
drawoptions();
path arcs[];
arcs0=cercles(O,1.75u) cutafter segment(O,A);
arcs1=reverse(cercles(O,2u) cutbefore segment(O,D));
arcs2=cercles(O,1.25u) cutafter segment(O,C);
drawarrow arcs0;
drawarrow arcs1;
drawarrow arcs2;
label.rt(btex $\phi$ etex,point(0.25*length arcs0) of arcs0);
label.rt(btex \ding{172} etex,point(0.5*length arcs1) of arcs1);
label.urt(btex \ding{173} etex,point(0.5*length arcs2) of arcs2);
label.urt(btex Observateur etex,A);
label.llft(btex O etex,O);
fin;
end