/* La fonction *distance* et ses arguments : void distance(picture pic=currentpicture, Label L="", point A, point B, bool rotated=true, real offset=3mm, pen p=currentpen, pen joinpen=invisible, arrowbar arrow=Arrows(NoFill)) */ // import geometry_dev; // extension devenue l'extension geometry officielle import geometry; // le 12/05/09, dans la version 1.71 d'asymptote. :-)) unitsize(1cm); point pC=(-1,2), pD=(5,5); draw(segment(pC,pD)); dot("$C$",pC,NW);dot("$D$",pD,NW); distance("$3\sqrt{5}$ cm", // Label pC,pD, // point A, point B rotated=false, // par défaut : true offset=15mm, // par défaut : 3mm p=blue, // par défaut : currentpen joinpen=dashed, // par défaut : invisible Arrows(Fill(green))// par défaut : Arrows(NoFill) ); shipout(bbox(5mm,white));