%Pyramide créee dans un pavé droit.

input geometriesyr16;
pair p[];

beginfig(1);
p0=u*(1,2);label.llft(btex $E$ etex,p0);
p1=u*(7,1.5);label.lrt(btex $F$ etex,p1);
p3=u*(2,3.5);label.urt(btex $H$ etex,p3);
p7=u*(1,7);label.ulft(btex $A$ etex,p7);
p2-p1=p3-p0;label.rt(btex $G$ etex,p2);
p4-p1=p7-p0;label.lrt(btex $B$ etex,p4);
p5-p4=p3-p0;label.urt(btex $C$ etex,p5);
p6-p7=p3-p0;label.top(btex $D$ etex,p6);
draw p7--p0--p1--p2--p5--p6--p7--p4--p1;
draw p5--p4;
draw p0--p3--p6 dashed evenly;
draw p3--p2 dashed evenly;
p8=3.5/5[p6,p3];dotlabel.rt(btex $I$ etex,p8);
draw p0--p6--p2 dashed evenly;
draw p6--p1 dashed evenly;
endfig;
end