input geometriesyr12;
u:=3mm;
figure(-u,-u,20u,20u);
pair A,B,C,D,E,F;
F=u*(0.75,0.75);
E-F=u*(10.2,0);
A-F=u*(0,13.6);
C=cercles(E,8u) intersectionpoint cercles(A,15u);
D=cercles(E,6.4u) intersectionpoint cercles(C,4.8u);
B=cercles(A,12u) intersectionpoint cercles(C,9u);
trace A--B--C--D--E--F--cycle--C--E--cycle;
nomme.llft(F);
nomme.lrt(E);
nomme.ulft(A);
nomme.top(B);
nomme.urt(C);
nomme.rt(D);
trace codeperp(A,B,C,8);
trace codeperp(C,D,E,8);
trace codeperp(A,F,E,8);
trace appelation(A,B,2mm,btex 12 etex);
trace appelation(B,C,2mm,btex 9 etex);
trace appelation(C,D,2mm,btex 4,8 etex);
trace appelation(E,D,-2mm,btex 6,4 etex);
trace appelation(F,A,2mm,btex 13,6 etex);
trace appelation(F,E,-2mm,btex 10,2 etex);
fin;
u:=1cm;
figure(0,0,6u,6u);
pair A,B,C,D,E,F,G,H;
A=u*(0.75,0.75);
B=u*(5.25,0.75);
C=u*(5.25,4.25);
D-C=A-B;
E=u*(1.5,1.5);
F=u*(4.5,1.5);
G=u*(4.5,3.75);
H-G=E-F;
trace hachurage(A--B--C--D--cycle,60,0.25,0);
trace A--B--C--D--cycle;
remplis E--F--G--H--cycle withcolor blanc;
trace E--F--G--H--cycle;
nomme.ulft(D);
nomme.urt(C);
nomme.llft(A);
nomme.lrt(B);
nomme.lrt(H);
nomme.llft(G);
nomme.ulft(F);
nomme.urt(E);
trace appelation(D,C,2mm,btex $5x+4$ etex);
trace appelation(A,D,2mm,btex $3x+3$ etex);
trace appelation(H,G,-2mm,btex $3x+2$ etex);
trace appelation(E,H,-2mm,btex $2x+1$ etex);
fin;
end