/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.

com/Wiki
go to User:Azjps/geogebra */
import graph; size(0cm);
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 = -0.6520515674276531, xmax = 1.3744219879709931, ymin =
-0.4075097422820937, ymax = 0.7612237686285082; /* image dimensions */
pen zzttqq = rgb(0.6,0.2,0); pen cqcqcq =
rgb(0.7529411764705882,0.7529411764705882,0.7529411764705882);

draw((0,0.6)--(0.8,0)--(0,0)--cycle, linewidth(2) + zzttqq);

/* draw grid of horizontal/vertical lines */
pen gridstyle = linewidth(0.7) + cqcqcq; real gridx = 0.1, gridy = 0.1; /* grid
intervals */
for(real i = ceil(xmin/gridx)*gridx; i <= floor(xmax/gridx)*gridx; i += gridx)
draw((i,ymin)--(i,ymax), gridstyle);
for(real i = ceil(ymin/gridy)*gridy; i <= floor(ymax/gridy)*gridy; i += gridy)
draw((xmin,i)--(xmax,i), gridstyle);
/* end grid */

Label laxis; laxis.p = fontsize(10);

xaxis(xmin, xmax, Ticks(laxis, Step = 0.1, Size = 2, NoZero),EndArrow(6), above =
true);
yaxis(ymin, ymax, Ticks(laxis, Step = 0.1, Size = 2, NoZero),EndArrow(6), above =
true); /* draws axes; NoZero hides '0' label */
/* draw figures */
draw((0,0.6)--(0.8,0), linewidth(2) + zzttqq);
draw((0.8,0)--(0,0), linewidth(2) + zzttqq);
draw((0,0)--(0,0.6), linewidth(2) + zzttqq);
label("1",(0.3461371393157395,0.27634148227074773),SE*labelscalefactor);
/* dots and labels */
dot((0,0),linewidth(4pt) + dotstyle);
label("$C$", (0.006719538865306153,0.013836244483960201), NE * labelscalefactor);
dot((0.8,0),dotstyle);
label("$B$", (0.8059393074136172,0.017180260251944756), NE * labelscalefactor);
dot((0,0.6),dotstyle);
label("$A$", (0.006719538865306153,0.6174310906051723), NE * labelscalefactor);
label("$c$", (0.3829213127635697,0.27968549803873227), NE *
labelscalefactor,zzttqq);
label("$a$", (0.39964139160349255,0.02721230755589842), NE *
labelscalefactor,zzttqq);
label("$b$", (0.02511162558922126,0.3014216005306319), NE *
labelscalefactor,zzttqq);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */