import graph; size(9cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -5.660598523469371, xmax = 4.383194927003558, ymin = -
5.995088517583327, ymax = 3.0490856793386323; /* image dimensions */
draw((0,2)--(2,0)--(1.418918607713596,-3.2954763357920323)--(-1.9273957624893574,-
3.295476335792032)--cycle, linewidth(0.8));
/* draw figures */
draw(circle((-1.1445069205095593,-1.1445069205095593), 3.3463143702029523),
linewidth(0.8));
draw((0,2)--(2,0), linewidth(0.8));
draw((2,0)--(1.418918607713596,-3.2954763357920323), linewidth(0.8) + blue);
draw((1.418918607713596,-3.2954763357920323)--(-1.9273957624893574,-
3.295476335792032), linewidth(0.8) + blue);
draw((-1.9273957624893574,-3.295476335792032)--(0,2), linewidth(0.8));
draw((-3.707932448732714,-3.2954763357920323)--(-1.9273957624893574,-
3.295476335792032), linewidth(0.8) + blue);
draw((0,2)--(1.418918607713596,-3.2954763357920323), linewidth(0.8));
draw((2,0)--(-1.9273957624893574,-3.295476335792032), linewidth(0.8) + blue);
draw((2,0)--(-3.707932448732714,-3.2954763357920323), linewidth(0.8));
draw((0,2)--(-3.707932448732714,-3.2954763357920323), linewidth(0.8));
draw((-1.1445069205095593,-1.1445069205095593)--(1.418918607713596,-
3.2954763357920323), linewidth(0.8) + blue);
draw((-1.1445069205095593,-1.1445069205095593)--(2,0), linewidth(0.8));
draw((-1.1445069205095593,-1.1445069205095593)--(-3.707932448732714,-
3.2954763357920323), linewidth(0.8) + blue);
/* dots and labels */
dot((0,2),linewidth(3pt) + dotstyle);
label("$A$", (-0.019889879483389942,2.1446682596464366), NE * labelscalefactor);
dot((2,0),linewidth(3pt) + dotstyle);
label("$D$", (2.0507500024861476,0.10972906533899539), NE * labelscalefactor);
dot((1.418918607713596,-3.2954763357920323),linewidth(3pt) + dotstyle);
label("$C$", (1.5509403758038454,-3.555541530255694), NE * labelscalefactor);
dot((-1.1445069205095593,-1.1445069205095593),linewidth(3pt) + dotstyle);
label("$O$", (-1.4598176134966891,-1.1635954597539648), NE * labelscalefactor);
dot((-1.9273957624893574,-3.295476335792032),linewidth(3pt) + dotstyle);
label("$B$", (-1.8763256357319409,-3.6388431347010277), NE * labelscalefactor);
dot((-3.707932448732714,-3.2954763357920323),linewidth(3pt) + dotstyle);
label("$E$", (-3.9707659761149214,-3.615042676288075), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
