input geometriesyr12;
figure(0,0,10u,10u);
pair A,B,C,D,E,F;
A=u*(0.75,0.75);
B=u*(8.75,0.75);
C=u*(8.75,5.25);
D-C=A-B;
E=3/5[A,B];
F-E=C-B;
trace E--F;
trace cotationmil(D,F,2mm,10,btex $a$ etex);
trace cotationmil(F,C,2mm,10,btex $b$ etex);
trace cotationmil(A,D,2mm,10,btex $k$ etex);
trace hachurage(A--E--F--D--cycle,60,0.2,0);
trace hachurage(E--B--C--F--cycle,120,0.2,1);
remplis codeperp(E,A,D,8)--A--cycle withcolor blanc;
trace codeperp(E,A,D,8);
remplis codeperp(E,B,C,8)--B--cycle withcolor blanc;
trace codeperp(E,B,C,8);
remplis codeperp(E,F,C,8)--F--cycle withcolor blanc;
trace codeperp(E,F,C,8);
remplis codeperp(A,D,C,8)--D--cycle withcolor blanc;
trace codeperp(A,D,C,8);
remplis codeperp(D,C,B,8)--C--cycle withcolor blanc;
trace codeperp(D,C,B,8);
trace A--B--C--D--cycle;
fin;
figure(0,0,10u,10u);
trace E--F;
trace cotationmil(D,C,5mm,10,btex $a$ etex);
trace cotationmil(F,C,2mm,10,btex $b$ etex);
trace cotationmil(A,D,2mm,10,btex $k$ etex);
trace hachurage(A--E--F--D--cycle,60,0.2,0);
trace hachurage(E--B--C--F--cycle,120,0.2,1);
remplis codeperp(E,A,D,8)--A--cycle withcolor blanc;
trace codeperp(E,A,D,8);
remplis codeperp(E,B,C,8)--B--cycle withcolor blanc;
trace codeperp(E,B,C,8);
remplis codeperp(E,F,C,8)--F--cycle withcolor blanc;
trace codeperp(E,F,C,8);
remplis codeperp(A,D,C,8)--D--cycle withcolor blanc;
trace codeperp(A,D,C,8);
remplis codeperp(D,C,B,8)--C--cycle withcolor blanc;
trace codeperp(D,C,B,8);
trace A--B--C--D--cycle;
fin;
end