prologues:=2;

input geometriesyr16

R=3; r=2; h=1;

figure(0,0,10u,10u);
pair O,A[];
O=u*(3,3);
A1-O=u*(R,-h/2);
A2-O=u*(R,h/2);
A3-O=u*(r,h/2);
A4-O=u*(r,-h/2);
trace hachurage(polygone(A1,A2,A3,A4),120,0.2,0);
trace polygone(A1,A2,A3,A4);
trace hachurage(symetrie(polygone(A1,A2,A3,A4),O),120,0.2,0);
trace symetrie(polygone(A1,A2,A3,A4),O);
drawarrow (O+u*(0,-1))--(O+u*(0,2)) dashed dashpattern(on12bp off6bp on3bp off6bp);
drawarrow (O+u*(-3,0))--(O+u*(3,0)) dashed dashpattern(on12bp off6bp on 3bp off6bp);
trace cotation(A1,A2,-4mm,-2mm,btex $h$ etex);
trace cotation(O+u*(0,h/2),A3,2mm,2mm,btex $r$ etex);
trace cotation(O+u*(0,h/2),A2,10mm,2mm,btex $R$ etex);
label.llft(btex O etex,O);
label.top(btex $z$ etex,O+u*(0,2));
label.rt(btex $y$ etex,O+u*(3,0));
fin;

figure(0,0,10u,10u);
path section;
section=for k=0 step 10 until 90:0.5*u*(1+cosd(k),1+sind(k))-- endfor for k=90 step 10 until 180:0.5*u*(cosd(k)-1,1+sind(k))-- endfor for k=180 step 10 until 270:0.5*u*(cosd(k)-1,sind(k)-1)-- endfor for k=270 step 10 until 350:0.5*u*(cosd(k)+1,sind(k)-1)-- endfor 0.5*u*(2,1)--cycle;
pair O,A[];
R:=3;
O=u*(5,3);
trace hachurage(section shifted(O+u*R*(1,0)),120,0.2,0);
trace section shifted(O+u*R*(1,0));
trace hachurage(symetrie(section shifted(O+u*R*(1,0)),O),120,0.2,0);
trace symetrie(section shifted(O+u*R*(1,0)),O);
drawarrow (O+u*(0,-1))--(O+u*(0,2)) dashed dashpattern(on12bp off6bp on3bp off6bp);
drawarrow (O+u*(-4,0))--(O+u*(4,0)) dashed dashpattern(on12bp off6bp on 3bp off6bp);
trace cotation(O+u*(0,0),O+u*(R,0),15mm,2mm,btex $R$ etex);
label.llft(btex O etex,O);
label.top(btex $z$ etex,O+u*(0,2));
label.rt(btex $y$ etex,O+u*(4,0));
fin;
end