input geometriesyr12;
figure(0,0,6u,5u);
pair A,B,C,H;
B=u*(0.75,0.75);
C=u*(5.25,0.75);
A=pointarc(cercles(iso(B,C),abs(B-C)/2),120);
H=projection(A,B,C);
trace triangle(A,B,C);
trace A--H;
trace codeperp(B,A,C,5);
trace codeperp(A,H,B,5);
nomme.llft(B);
nomme.lrt(C);
nomme.top(A);
nomme.bot(H);
fin;
figure(0,0,6u,6u);
pair A,B,C,D,E,F,G,H;
E=u*(0.75,0.75);
F=u*(4.25,0.75);
H=u*(1.5,2);
A-E=u*(0,3);
D-A=H-E;
G-F=H-E;
B-F=A-E;
C-B=H-E;
remplis triangle(A,G,E) withcolor 0.9gris;
trace E--F--G--C--D--A--cycle;
trace A--B--F;
trace B--C;
trace D--H--E dashed evenly;
trace H--G dashed evenly;
trace E--G--A dashed evenly;
nomme.llft(E);
nomme.lrt(F);
nomme.rt(G);
nomme.urt(C);
nomme.ulft(D);
nomme.lft(A);
nomme.lrt(B);
nomme.ulft(H);
fin;
end