input geometriesyr12;
figure(0,0,7u,4u);
pair I,J,K,L;
L=u*(0.75,0.75);
I=u*(2.75,0.75);
J=rotation(L,I,-90);
K=demidroite(J,rotation(I,J,60)) intersectionpoint demidroite(L,I);
trace J--K--L;
trace arccercle(J,L,I);
trace J--I dashed evenly;
trace codeperp(J,I,K,5);
trace cotationmil(I,K,-5mm,20,btex $6\,cm$ etex);
nomme.llft(L);
nomme.lrt(K);
nomme.top(J);
nomme.llft(I);
fin;
end