Source : mediatricev2.mp

input geometriesyr16;
input outilssyr;
figure(0,0,11u,8u);
trace feuillet withcolor blanc;
pair A,B,I,C,D;
A=u*(3,4.5);
B=pointarc(cercles(A,5u),340);
marque_p:="croix";
trace segment(A,B) withpen pencircle scaled1.5bp;
nomme.lft(A);
nomme.rt(B);
fin;
for k=0 upto 2:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace compas(A,B,1);
  trace segment(A,B) withpen pencircle scaled1.5bp;
nomme.lft(A);
nomme.rt(B);
fin;
endfor;
I=iso(A,B);
C=arccercle(A,B,I) intersectionpoint perpendiculaire(A,B,I);
D=symetrie(C,A,B);
path cc,cd;
cc=arccercle(rotation(C,A,10),rotation(D,A,-10),A);
cd=arccercle(rotation(D,B,10),rotation(C,B,-10),B);
for k=0 upto 2:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace coupdecompas(A,C,10);
  trace compas(A,rotation(C,A,10),1);
  trace segment(A,B) withpen pencircle scaled1.5bp;
  nomme.lft(A);
  nomme.rt(B);
  fin;
endfor;
vues:=4;
for k=1 upto vues:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace coupdecompas(A,C,10);
  trace subpath(0,k*length cc/vues) of cc dashed evenly withcolor gris;
  trace compas(A,point(k*length cc/vues) of cc,1);
  trace segment(A,B) withpen pencircle scaled1.5bp;
  nomme.lft(A);
  nomme.rt(B);
  fin;
endfor;
for k=0 upto 2:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace coupdecompas(A,C,10);
  trace cc dashed evenly withcolor gris;
  trace coupdecompas(A,D,10);
  trace compas(A,rotation(D,A,10),1);
  trace segment(A,B) withpen pencircle scaled1.5bp;
  nomme.lft(A);
  nomme.rt(B);
  fin;
endfor;
for k=0 upto 2:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace compas(B,A,1);
  trace coupdecompas(A,C,10);
  trace cc dashed evenly withcolor gris;
  trace coupdecompas(A,D,10);
  trace segment(A,B) withpen pencircle scaled1.5bp;
nomme.lft(A);
nomme.rt(B);
fin;
endfor;
for k=0 upto 2:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace coupdecompas(A,C,10);
  trace cc dashed evenly withcolor gris;
  trace coupdecompas(A,D,10);
  trace coupdecompas(B,D,10);
  trace compas(B,rotation(D,B,10),1);
  trace segment(A,B) withpen pencircle scaled1.5bp;
  nomme.lft(A);
  nomme.rt(B);
  fin;
endfor;
vues:=4;
for k=1 upto vues:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace coupdecompas(A,C,10);
  trace cc dashed evenly withcolor gris;
  trace coupdecompas(A,D,10);
  trace coupdecompas(B,D,10);
  trace subpath(0,k*length cd/vues) of cd dashed evenly withcolor gris;
  trace compas(B,point(k*length cd/vues) of cd,1);
  trace segment(A,B) withpen pencircle scaled1.5bp;
  nomme.lft(A);
  nomme.rt(B);
  fin;
endfor;
for k=0 upto 2:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace coupdecompas(A,D,10);
  trace coupdecompas(A,C,10);
  trace cc dashed evenly withcolor gris;
  trace coupdecompas(B,D,10);
  trace cd dashed evenly withcolor gris;
  trace coupdecompas(B,C,10);
  trace compas(B,rotation(C,B,10),1);
  trace segment(A,B) withpen pencircle scaled1.5bp;
  nomme.lft(A);
  nomme.rt(B);
  fin;
endfor;
for k=0 upto 4:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace coupdecompas(A,C,10);
  trace cc dashed evenly withcolor gris;
  trace coupdecompas(A,D,10);
  trace coupdecompas(B,D,10);
  trace cd dashed evenly withcolor gris;
  trace coupdecompas(B,C,10);
  trace segment(A,B) withpen pencircle scaled1.5bp;
  drawoptions(withcolor rouge);
  trace droite(C,D);
  trace appelation(C,D,2mm,btex m\'ediatrice du segment $[AB]$ etex);
  trace codeperp(D,I,B,8);
  trace codesegments(A,I,I,B,2);
  drawoptions();
  nomme.lft(A);
  nomme.rt(B);
  fin;
endfor;
end