input geometriesyr; figure(0,0,10u,7u); pair A,B,C,E,I,F,O,K; K=u*(5,0); C=u*(5,2); A=u*(1,5); nomme.ulft(A); B=symetrie(A,C,K); nomme.urt(B); O=iso(A,B); nomme.ulft(O); E=3/5[C,A]; F=3/5[C,B]; I=iso(E,F); nomme.llft(E); nomme.lrt(F); nomme.llft(I); trace A--C--K; trace E--F; trace C--B; trace A--B dashed evenly; trace O--C dashed evenly; cotationmil(O,B,5mm,10,btex 6 etex); cotationmil(O,C,-abs(O-A),10,btex 4 etex); fin; end