input constantes;
input geometriepoint;
beginfig(1);
u:=5mm;
affixe.I(u*(1,1))so;
affixe.K(u*(9,1))se;
path cc;
cc=cercledia(I,K);
affixe.J(point(0.15*length cc) of cc)n;
draw triangle(I,J,K);
draw codeperp(I,J,K,5);
cotation(I,K,-2mm,-2mm,btex $9\,mm$ etex);
cotation(I,J,2mm,2mm,btex $5\,cm$ etex);
cotation(J,K,2mm,2mm,btex ? etex);
endfig;
end