input geometriesyr12;
figure(0,0,5u,6u);
pair A,B,C,D,I,J;
C=u*(0.75,0.75);
A=u*(0.75,1.75);
B=A shifted(u*(2,0));
J=CentreCercleI(A,B,C);
D=cercle(B,abs(B-C)) intersectionpoint demidroite(C,J);
I=droite(C,J) intersectionpoint droite(A,B);
trace triangle(A,B,C);
trace B--D--C;
trace codesegments(C,B,B,D,2);
trace codeperp(B,A,C,5);
trace codeperp(A,B,D,5);
nomme.llft(C);
nomme.ulft(A);
nomme.rt(B);
nomme.ulft(I);
nomme.top(D);
fin;
figure(0,0,8u,7u);
pair A,B,C,D,E,M;
D=u*(0.75,0.75);
C=u*(7,0.75);
B=u*(7,6);
A=u*(0.75,6);
trace A--B--C--D--cycle;
M=3/5[B,C];
E=1/5[A,B];
path cc;
cc=E--D--M--cycle;
remplis cc withcolor 0.8white;
trace cc;
label(btex ${\cal A}_1$ etex,iso(A,E,D));
label(btex ${\cal A}_2$ etex,iso(B,E,M));
label(btex ${\cal A}_3$ etex,iso(M,C,D));
trace cotationmil(M,B,-5mm,10,btex $x$ etex);
trace cotationmil(E,B,2mm,10,btex 4 etex);
trace cotationmil(A,E,2mm,10,btex 1 etex);
trace cotationmil(D,A,2mm,10,btex 4 etex);
nomme.ulft(A);
nomme.urt(B);
nomme.lrt(M);
nomme.lrt(C);
nomme.llft(D);
labeloffset:=3*labeloffset;
nomme.top(E);
fin;
end
