input geometriesyr16;

figuremainlevee(0,0,10u,6.75u);
pair R,S,T,M,I,J,H;
S=u*(1,1);
R-S=u*(8,0);
T-S=u*(0,5);
M=milieu(R,T);
H=projection(S,R,T);
path cc;
cc=cercledia(S,M);
I=reverse(cc) intersectionpoint segment(R,S);
J=cc intersectionpoint segment(T,S);
trace polygone(R,S,T);
trace codeperp(R,S,T,8);
trace cc;
trace droite(S,H) dashed evenly;
trace chemin(J,M,I) dashed dashpattern(on12bp off6bp on3bp off6bp);
nomme.bot(S);
nomme.lrt(R);
nomme.top(T);
nomme.top(H);
nomme.bot(I);
nomme.lft(J);
nomme.urt(M);
finmainlevee;

end