%@Auteur:Thierry Gauvin
input geometriesyr16;

figuremainlevee(0,-0.5u,7u,4u); %Figure 1
pair R,B,E,C,F;
path d[];
a:=1.25cm;
b:=2.75cm;
c:=3.25cm;
d:=6.25cm;
F=(b,0);C=(a,a);
R=(d,a);
E=symetrie(F,C,R);
d1=segment(C,R);d2=segment(E,F);
B=d2 intersectionpoint d1;
nomme.lft(C);
nomme.rt(R);
nomme.llft(B);
nomme.top(E);
nomme.bot(F);
trace segment(C,F);trace segment (F,R);
trace segment(R,E);trace segment(E,C);
trace d2; trace d1;
trace cotationmil(E,R,10,20,btex $x$~cm etex);
trace cotationmil(C,E,10,20,btex 3~cm etex);
trace cotation(B,F,10,5,btex 1~cm etex);
trace codesegments(E,B,B,F,2);
trace codesegments(E,C,C,F,5);
trace codesegments(E,R,R,F,4);
trace codeperp(E,B,R,5);
finmainlevee;

figuremainlevee(0,-0.5u,7u,4u); %Figure 2
pair R,B,E,C,F;
path d[];
a:=1.25cm;
b:=2.75cm;
c:=3.25cm;
d:=6.25cm;
F=(b,0);C=(a,a);
R=(d,a);
E=symetrie(F,C,R);
d1=segment(C,R);d2=segment(E,F);
B=d2 intersectionpoint d1;
nomme.lft(C);
nomme.rt(R);
nomme.llft(B);
nomme.top(E);
nomme.bot(F);
trace segment(C,F);trace segment (F,R);
trace segment(R,E);trace segment(E,C);
trace d2; trace d1;
trace cotationmil(E,R,10,20,btex $x$~cm etex);
trace cotationmil(C,E,10,20,btex 4~cm etex);
trace cotation(B,F,10,5,btex 1~cm etex);
trace codesegments(E,B,B,F,2);
trace codesegments(E,C,C,F,5);
trace codesegments(E,R,R,F,4);
trace codeperp(E,B,R,5);
finmainlevee;

end