/* Médiatrice d'un segment
   en utilisant la fonction bisector de l'extension geometry_dev.
*/
// import geometry_dev; // extension devenue l'extension geometry officielle
import geometry;        // le 12/05/09, dans la version 1.71 d'asymptote. :-))

size(7cm,0);

// Affichage du repère courant
show(currentcoordsys);
// Définition de deux points A et B
point pA=(4,1), pB=(1,3);
// ... puis de la médiatrice de [AB]
line medAB=bisector(pA,pB);

// On trace le tout :
dot("A",pA,NE);
dot("B",pB,SW);
draw(pA--pB,1bp+blue,StickIntervalMarker(2,2, 0.8*blue));
draw(medAB,dashed+.8bp+red);

// Codage de l'angle droit
perpendicularmark(line(pA,pB),medAB);

draw(box((-2,-2),(5,4)),invisible);