input constantes;
input geometriepoint;
beginfig(1);
  u:=1.75cm;
  affixe.D(u*(1,1))so;
  affixe.C(u*(5,1))se;
  affixe.B(u*(5,3))ne;
  affixe.A(u*(1,3))no;
  draw z.A--z.B--z.C--z.D--cycle;
  cotation(D,C,-2mm,-2mm,btex $10\,m$ etex);
  cotation(A,D,-2mm,-2mm,btex $7\,m$ etex);
  affixe.H(u*(1.25,1.25))so;
  affixe.G(u*(4.75,1.25))se;
  affixe.F(u*(4.75,2.75))ne;
  affixe.E(u*(1.25,2.75))no;
  draw z.E--z.F--z.G--z.H--cycle;
  affixe.I(1/2[z.F,z.G]);
  affixe.J(1/2[z.B,z.C]);
  cotation(I,J,0mm,2mm,btex $x$ etex);
endfig;
beginfig(2);
  u:=5mm;
  affixe.B(u*(1,1))so;%;label.llft(btex $B$ etex,z0);
  affixe.I(u*(6,1))se;%;label.lrt(btex $I$ etex,z1);
  affixe.A(u*(6,2))ne;%;label.urt(btex $A$ etex,z2);
  affixe.C(u*(1,7))no;%;label.ulft(btex $C$ etex,z3);
  draw z.B--z.I--z.A--z.C--cycle;%z0--z1--z2--z3--cycle;
  draw z.B--z.A;%z0--z2;
  affixe.H(perpen(A,C,B,10) intersectionpoint droite(C,B,10))o;%;label.lft(btex $H$ etex,z4);
  draw z.A--z.H;
  draw codeperp(A,H,B,5);
  draw codeperp(C,B,I,5);
  draw codeperp(B,I,A,5);
endfig;
end