input geometriesyr12;
figure(0,0,8u,8u);
pair A,B,C,D,E,F,G;
D=u*(1,1);
A-D=u*(0,4.5);
C-D=u*(0,0.4);
B-A=u*(0,-.9);
F=rotation(A,B,-60);
E-C=u*(2.5+-+0.9,0);
G=droite(E,F) intersectionpoint perpendiculaire(A,B,B);
trace A--D--E--F--arccercle(F,A,B)--cycle;
trace F--B--G dashed evenly;
trace E--C dashed evenly;
trace codeperp(E,C,B,5);
trace codeperp(G,B,C,5);
trace codeperp(B,F,G,5);
nomme.llft(D);
nomme.rt(E);
nomme.rt(G);
nomme.urt(F);
nomme.ulft(A);
nomme.lft(B);
nomme.lft(C);
fin;
end