/* 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 = -2.0799624382284647, xmax = 7.911226129117807, ymin = -1.399062422568021, ymax = 4.3660881606783475; /* image dimensions */
pen zzttqq = rgb(0.6,0.2,0); draw((0,0)--(0,3)--(5,3)--(5,0)--cycle, linewidth(2) + zzttqq); /* draw figures */
draw((0,0)--(0,3), linewidth(2) + zzttqq); draw((0,3)--(5,3), linewidth(2) + zzttqq); draw((5,3)--(5,0), linewidth(2) + zzttqq); draw((5,0)--(0,0), linewidth(2) + zzttqq); draw((0,2)--(1,3), linewidth(2)); draw((1,3)--(5,1), linewidth(2)); draw((5,1)--(4,0), linewidth(2)); draw((4,0)--(0,2), linewidth(2)); /* dots and labels */
dot((0,0),dotstyle); label("$A$", (-0.1560716892942934,-0.06212139364776576), NE * labelscalefactor); dot((0,3),dotstyle); label("$B$", (-0.10389838084862096,3.068277113092344), NE * labelscalefactor); dot((5,3),dotstyle); label("$C$", (5.028650837494405,3.068277113092344), NE * labelscalefactor); dot((5,0),dotstyle); label("$D$", (5.074302482384368,-0.08168638431489145), NE * labelscalefactor); dot((0,2),dotstyle); dot((1,3),dotstyle); dot((5,1),dotstyle); dot((4,0),dotstyle); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */