import base_pi;
size(10cm,0);

pair O=(0,0);
path cle=rotate(30)*polygon(3);
pair a=point(cle,0),
  b=point(cle,1),
  c=point(cle,2);

/*<asyxml><view file="../base_pi.asy" type="void" signature="drawline(picture,Label,pair,bool,pair,bool,align,pen,arrowbar,arrowbar,margin,Label,marker)"/></asyxml>*/
drawline(O,false,a,true,.8red);
drawline(O,true,b,false,.8blue);
drawline(Label("$(d)$",Relative(.1)),O,true,c,true,.8green,Margin(5,5));

drawline(a,b);
drawline(b,c);
/*<asyxml><view file="../base_pi.asy" type="void" signature="drawline(picture,Label,path,bool,bool,align,pen,arrowbar,arrowbar,margin,Label,marker)"/></asyxml>*/
drawline(c--a);

dot("$O$",O,W);
dot("$A$",a,N);dot("$B$",b,NE);dot("$C$",c,SE);
// Enlarge the current picture bounding box (note that is can be differed at the end).
draw(box(-2a-(0,2b.y),2a+(0,2b.y)),invisible);