input geometriesyr12;
figure(0,0,6u,6u);
pair S,T,U,R;
S=u*(1,2);
R-S=u*(0,2.4);
T-R=u*(4.2,0);
U=symetrie(cercles(S,1.4u) intersectionpoint cercles(T,5u),S,T);
trace triangle(R,S,T);
trace codeperp(S,R,T,5);
trace S--U--T;
trace appelation(R,T,2mm,btex $42\,mm$ etex);
trace appelation(S,R,2mm,btex $24\,mm$ etex);
trace appelation(S,U,-3mm,btex $14\,mm$ etex);
trace appelation(U,T,-2mm,btex $50\,mm$ etex);
nomme.top(R);
nomme.lft(S);
nomme.urt(T);
nomme.bot(U);
fin;
figure(0,0,9u,6u);
pair A,B,C,D,E,F,G,H,M;
H=u*(0.75,0.75);
G-H=u*(6,0);
F-G=u*(1,1.5);
E-F=H-G;
D-H=u*(0,3);
A-E=D-H;
B-F=D-H;
C-G=D-H;
M=iso(A,B);
remplis (F--H--M--cycle) withcolor gris;
trace H--G--F--B--A--D--cycle;
trace D--C--B;
trace C--G;
trace A--E--H dashed evenly;
trace E--F dashed evenly;
trace codesegments(A,M,M,B,2);
trace F--H--M--cycle dashed dashpattern(on2bp off2bp);
nomme.llft(H);
labeloffset:=4*labeloffset;
nomme.lrt(G);
nomme.rt(F);
labeloffset:=labeloffset/4;
nomme.top(B);
nomme.top(A);
nomme.lft(D);
nomme.lft(E);
nomme.lrt(C);
trace cotationmil(H,G,-3mm,20,btex $6\,cm$ etex);
trace cotationmil(G,F,-3mm,10,btex $3\,cm$ etex);
trace cotationmil(F,B,-3mm,10,btex $3\,cm$ etex);
fin;
end