verbatimtex
%&latex
\documentclass{article}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[frenchb]{babel}
\usepackage{mathrsfs}
\begin{document}
etex

input geometriesyr16;

figuremainlevee(0,0,6.5u,6.5u);
pair A,P,D,E,J,K;
A=u*(1,2);
D-A=u*(5,0);
E-A=u*(3,4);
P=CentreCercleI(A,E,D);
K=projection(P,A,E);
J=projection(P,A,D);
path cc;
cc=cercles(P,K);
trace cc;
trace demidroite(A,D);
trace demidroite(A,E);
trace chemin(K,P,J) dashed evenly;
label.ulft(btex $y$ etex,E);
label.lrt(btex $x$ etex,D);
nomme.lft(A);
nomme.bot(J);
nomme.ulft(K);
marque_p:="plein";
nomme.rt(P);
trace codeperp(P,K,A,5);
trace codeperp(P,J,A,5);
label.urt(btex $\mathscr{C}$ etex,pointarc(cc,50));
finmainlevee;
end