input geometriesyr16;
u:=7.5mm;
figuremainlevee(-u,-u,11u,11u);
pair E,D,F,A,B,C,G,H,Q,P;
path c,cc,dag,dcd,dbh;
picture texte;
A=u*(0,0);
B=u*(0,6);
E=u*(0,3);
F=u*(3,3);
G=u*(3,0);
H=u*(3,6);
Q=u*(10,0);
P=u*(10,6);
trace chemin(A,B,H,G);trace segment(F,E);
cc=cercles(G,B);
dag=A--Q;
D=cc intersectionpoint dag;
trace segment(A,D);
trace arccercle(D,B,G) dashed evenly;
trace segment(G,B) dashed evenly withpen pencircle scaled .5bp;
dcd= D--(D-A) rotated 90 shifted D;
dbh=B--P;
C=dbh intersectionpoint dcd;
trace chemin(A,D,C,H);
label.lrt("D",D);
label.urt("C",C);
label.top("B",B);
label.llft("A",A);
label.lrt("G",G);
label.lft("E",E);
label.rt("F",F);
trace codeperp(F,G,A,5);
trace codeperp(F,E,B,5);
trace codeperp(E,A,G,5);
trace codeperp(C,D,G,5);
trace codeperp(A,B,C,5);
trace cotationmil(A,G,-4mm,20,btex 3~cm etex);
trace Codelongueur(A,G,G,F,F,E,E,A,E,B,2);
finmainlevee;
end