input geometriesyr15; figure(0,0,8u,5u); pair A,B,C,D; B=u*(1,1); D=u*(7,1); A=u*(3,4); C=projection(A,B,D); trace triangle(A,B,D); trace A--C; nomme.llft(B); nomme.urt(C); nomme.lrt(D); nomme.top(A); trace cotationmil(B,C,-5mm,10,btex 5 etex); trace cotationmil(C,D,-5mm,10,btex 7,5 etex); label.lft(btex 10 etex,iso(A,C)); label.urt(btex 12,5 etex,iso(A,D)); fin; figure(0,0,9u,7u); pair A,B,C,D,E,F,G; G=u*(1,1); E=u*(8,1); F=u*(8,6); A=u*(1,6); B=4/5[A,F]; C=4/5[A,E]; D=4/5[A,G]; trace A--F--E--G--cycle; trace D--C--B; trace A--E; nomme.ulft(A); nomme.urt(B); nomme.urt(F); nomme.lrt(E); nomme.llft(G); nomme.lft(D); nomme.ulft(C); trace cotationmil(A,B,5mm,15,btex 8~cm etex); trace cotationmil(B,C,5mm,15,btex 6~cm etex); trace cotationmil(C,E,-5mm,15,btex 3~cm etex); fin; figure(0,0,8u,8u); pair K,O,A,S; path cc,cd; K=(0,0); cc=cercle(K,3cm); O=u*(4,1); A=u*(4,2.5); S=u*(4,7.5); cd=cc yscaled 0.15 shifted O; draw subpath(0,length cd/2) of cd dashed evenly; draw subpath(length cd/2,length cd) of cd; draw subpath(0,length cd/2) of (cd shifted(A-O)) dashed evenly; draw subpath(length cd/2,length cd) of (cd shifted(A-O)); trace cotation(A,point(0) of (cd shifted(A-O)),-5mm,-2mm,btex 5~cm etex); trace cotationmil(A,S,-3.5cm,15,btex 12~cm etex); trace cotationmil(point(0) of cd,point(0) of (cd shifted(A-O)),-5mm,15,btex 4~cm etex); trace (point(0) of cd)--(point(0) of (cd shifted(A-O)))--S--(point(length cd/2) of (cd shifted(A-O)))--(point(length cd/2) of cd); trace S--A; fin; end