/* Médiatrice d'un segment
   en utilisant la fonction bissector de l'extension geometry.
*/
// 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 du triangle ABC
point pA=(4,1), pB=(1,3),  pC=(-1,-1);
triangle tABC=triangle(pA,pB,pC);
// ... puis de la médiatrice de [AB]
line medAB=bisector(pA,pB);
// ... puis de la médiatrice de [BC]
// d'une autre méthode : en désignant le côté.
line medBC=bisector(tABC.BC);

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

// Codage des angles droits
perpendicularmark(line(pA,pB),medAB); // syntaxe 1
perpendicularmark(tABC.BC,medBC); // syntaxe 2

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