input geometriesyr16;

figure(0,0,8u,8u);
pair A,N,M,H;
A=u*(1,1);
M-A=u*(1,5);
N-M=u*(5,1);
H=projection(M,A,N);
path cc;
cc=(1/5[M,A]+0.5*(M-N))..(1/5[M,A])..(6/10[N,A])..(6/10[N,A]+0.5*(N-M));
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(N,M) withpen pensquare scaled1.5bp;
trace chemin(M,A,N) dashed evenly;
trace segment(M,H) dashed evenly;
trace codeperp(M,H,N,5);
trace appelation(A,M,2mm,btex $m$ etex);
trace appelation(A,9/10[A,N],-2mm,btex $n$ etex);
trace Codeangle(N,A,M,0,btex $\alpha$ etex);
nomme.bot(A);
nomme.lrt(H);
marque_p:="plein";
nomme.top(M);
nomme.top(N);
marque_p:="non";
fin;

end