input geometriesyr12;
figure(0,0,9u,5u);
pair A,E,T,N,C;
E=u*(3,1);
C=u*(1,4);
T=u*(8,3);
A=2/5[C,E];
N=2/5[C,T];
trace triangle(C,E,T);
trace A--N;
trace cotationmil(C,N,2mm,10,btex 3 etex);
trace cotationmil(N,T,2mm,20,btex $a+2$ etex);
trace cotationmil(C,A,-2mm,10,btex 2 etex);
trace cotationmil(A,E,-2mm,10,btex $a$ etex);
nomme.ulft(C);
nomme.bot(E);
nomme.lrt(T);
labeloffset:=3*labeloffset;
nomme.llft(A);
nomme.top(N);
labeloffset:=labeloffset/3;
fin;
figure(0,0,5u,7u);
pair A,B,C,D,I;
B=u*(0.75,0.75);
A=u*(1.75,1.75);
C=u*(4,0.75);
I=iso(B,C);
D=u*(1.75,5);
trace B--C--D--cycle;
trace D--I;
trace B--A--C dashed evenly;
trace D--A--I dashed evenly;
trace codesegments(B,I,I,C,2);
nomme.top(D);
nomme.lrt(C);
nomme.bot(I);
nomme.llft(B);
nomme.ulft(A);
fin;
end
