input geometriesyr16;

figure(0,0,8u,8u);
pair A,B,M,H;
A=u*(1,2);
B-A=u*(5,-1);
M-A=u*(2,5);
H=projection(A,B,M);
path cc;
cc=(1/5[M,A]+0.5*(A-B))..(1/5[M,A])..(3/10[M,B])..(3/10[M,B]+0.5*(B-A));
trace hachurage(cc--reverse(cc shifted(u*(0,-0.5)))--cycle,160,0.5,0);
trace cc;
trace cc shifted(u*(0,-0.5));
trace segment(A,M) withpen pensquare scaled1.5bp;
trace segment(A,B);
trace segment(M,B) dashed evenly;
trace segment(A,H) dashed evenly;
trace codeperp(A,H,B,5);
trace appelation(A,B,-2mm,btex $a$ etex);
trace Codeangle(B,A,M,0,btex $\alpha$ etex);
trace Codeangle(M,B,A,0,btex $\beta$ etex);
nomme.llft(A);
nomme.lrt(B);
nomme.urt(H);
marque_p:="plein";
nomme.top(M);
marque_p:="non";
fin;

end