input geometriesyr13;
figure(0,0,5u,5u);
pair O,A,B,I;
O=u*(2.5,2.5);
I=u*(2.5,4);
path cc,cd;
cc=cercles((0,0),(2+-+1.5)*u);
cd=cc yscaled 0.15 shifted I;
trace cd;
A=point(0) of cd;
B=symetrie(A,I);
trace arccercle(B,A,O);
trace cotationmil(O,A,0,10,btex $r$ etex);
trace cotationmil(I,u*(2.5,0.5),2.2cm,2mm,btex $h$ etex);
marque_p:="plein";
nomme.bot(O);
fin;
figure(0,0,5u,5u);
pair O,A,B,I,J,M,N;
O=u*(2.5,2.5);
I=u*(2.5,3.5);
J=u*(2.5,1);
path cc,cd,ce,cf;
cc=cercles((0,0),(2+-+1)*u);
cd=cc yscaled 0.15 shifted I;
ce=cercles((0,0),(2+-+1.5)*u);
cf=ce yscaled 0.15 shifted J;
trace cd;
A=point(0) of cd;
M=symetrie(A,I);
B=point(0) of cf;
N=symetrie(B,J);
trace codeperp(O,I,M,5);
trace J--I dashed evenly;
trace M--O dashed evenly;
trace I--M;
trace arccercle(M,N,O);
trace arccercle(B,A,O);
trace subpath(0,length cf/2) of cf dashed evenly;
trace subpath(length cf/2,length cf) of cf;
marque_p:="croix";
nomme.rt(O);
nomme.rt(I);
nomme.ulft(M);
nomme.rt(J);
nomme.llft(N);
fin;
end