verbatimtex \magnification=\magstep1 etex

u=1cm;

beginfig(1);

z0 = (0,0);                        % z0   is origin

x10 = x0; y10 = y0;                % z10  is point A
x11 = x10; y11 = y10 + 8u;         % z11  is point B
x12 - x10 = y11 - y10; y12 = y10;  % z12  is point E
x13 = x12; y13 = y11;              % z13  is point G
z14 = 0.6 [z10, z11];              % z14  is point F

z16 = 0.9 [z10, z12];
x161 = x16; y161 = y16 - 0.1u;

z210 = 0.6 [z10, z12];
z220 = 0.3 [z10, z12];

x211 = x210; y211 = y11;
x221 = x220; y221 = y11;

z212 = 0.35 [z210, z211];
z222 = 0.5  [z220, z221];

z213 = 0.75 [z210, z211];
z223 = 0.65 [z220, z221];

z214 = 0.5  [z210, z211];
z224 = 0.8  [z220, z221];

draw z10--z11--z13--z12--cycle;

draw z210--z211;
draw z220--z221;

draw z16--z161;

draw z12..z212..z222..z14;
draw z13..z213..z223..z14;
draw z12..z214..z224..z11;

label.bot(btex ${\rm A}$ etex, z10);
label.rt(btex  ${\rm E}$ etex, z12);
label.lft(btex ${\rm B}$ etex, z11);
label.rt(btex  ${\rm G}$ etex, z13);
label.lft(btex ${\rm F}$ etex, z14);

label.bot(btex ${\rm e}$ etex, z161);

label.bot(btex ${\rm C}$ etex, z210);
label.bot(btex ${\rm C}$ etex, z220);

label.llft(btex ${\rm d}$ etex, z212);
label.llft(btex ${\rm d}$ etex, z222);

label.urt(btex  ${\rm D}$ etex, z213 + (0,4pt));
label.ulft(btex ${\rm D}$ etex, z223);

endfig;

beginfig(2);

z0 = (0,0);                        % z0   is origin

x10 = x0; y10 = y0;                % z10  is point A
x11 = x10; y11 = y10 + 9u;         % z11  is point B
x12 - x10 = y11 - y10; y12 = y10;  % z12  is point E
x13 = x12; y13 = y11;              % z13  is point G
z14 = 0.5 [z10, z11];              % z14  is point F

z16 = 0.9 [z10, z12];
x161 = x16; y161 = y16 - 0.1u;

z301 = (1/2) [z14, z12];
z302 = (1/3) [z14, z12];
z303 = (1/4) [z14, z12];
z304 = (1/5) [z14, z12];
z305 = (3/20) [z14, z12];
z306 = (1/10) [z14, z12];
z307 = (1/20) [z14, z12];

draw z10--z11--z13--z12--cycle;
draw z12--z14;
draw z13--z14;

x3011 = x3012 = x301; y3011 = y10; y3012 = y11;
x3041 = x3042 = x304; y3041 = y10; y3042 = y11;

z3013 = (z3011--z3012) intersectionpoint (z13--z14);
z3043 = (z3041--z3042) intersectionpoint (z13--z14);

draw z12  .. ( 0.5 [z12,  z301] + (0,0.4u) ) .. z301;
draw z301 .. ( 0.5 [z301, z302] + (0,0.3u) ) .. z302;
draw z302 .. ( 0.5 [z302, z303] + (0,0.2u) ) .. z303;
draw z303 .. ( 0.5 [z303, z304] + (0,0.15u) ) .. z304;
draw z304 .. ( 0.5 [z304, z305] + (0,0.10u) ) .. z305;
draw z305 .. ( 0.5 [z305, z306] + (0,0.10u) ) .. z306;
draw z306 .. ( 0.5 [z306, z307] + (0,0.10u) ) .. z307;
draw z307 .. ( 0.5 [z307, z14]  + (0,0.10u) ) .. z14;

draw z3011--z3012;
draw z3041--z3042;

draw z16--z161;

label.bot(btex ${\rm A}$ etex, z10);
label.bot(btex ${\rm E}$ etex, z12);
label.lft(btex ${\rm B}$ etex, z11);
label.rt(btex  ${\rm G}$ etex, z13);
label.lft(btex ${\rm F}$ etex, z14);

label.bot(btex ${\rm e}$ etex, z161);

label.urt(btex  ${\rm d}$ etex, z301);
label.urt(btex  ${\rm d}$ etex, z304 + (0,2pt));

label.bot(btex  ${\rm C}$ etex, z3011);
label.bot(btex  ${\rm C}$ etex, z3041);

label.top(btex  ${\rm K}$ etex, z3012);
label.top(btex  ${\rm K}$ etex, z3042);

label.urt(btex  ${\rm D}$ etex, z3013 + (0,4pt));
label.ulft(btex ${\rm D}$ etex, z3043);

endfig;

bye;