verbatimtex
%&latex
\documentclass{article}
\usepackage[frenchb]{babel}
\begin{document}
etex

input geometriesyr16

figuremainlevee(-10u,-10u,10u,10u);
pair A,B,C,D,E,I,O,J;
A=u*(1,1);
B-A=u*(5,0);
I=iso(A,B);
E=demidroite(I,rotation(A,I,-45)) intersectionpoint cercles(A,B);
C=demidroite(I,rotation(B,I,45)) intersectionpoint cercles(B,A);
D=perpendiculaire(B,C,C) intersectionpoint perpendiculaire(A,E,E);
trace polygone(D,C,B,A,E);
trace codesegments(A,I,I,B,2);
trace segment(I,E) dashed evenly;
trace segment(I,C) dashed evenly;
trace Codeangle(E,I,A,0,btex 45\degres etex);
trace Codeangle(B,I,C,0,btex 45\degres etex);
trace codeperp(B,C,D,8);
trace codeperp(A,E,D,8);
marque_p:="plein";
nomme.lft(A);
nomme.rt(B);
nomme.bot(I);
nomme.lft(E);
nomme.top(D);
nomme.rt(C);
finmainlevee;
end