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