User:Azjps/Asymptote

See also: Proofs without words

/* geogebra conversion, see azjps userscripts.org/scripts/show/72997 */
import graph; defaultpen(linewidth(2)+fontsize(10)); size(200);
path p = (-0.85,-1.9)--(-0.85,3.8)--(5.1,3.8)--(5.1,-1.9)--cycle;
fill(p, gray(0.4));
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen xdxdff = rgb(0.49,0.49,1);
pen qqttcc = rgb(0,0.2,0.8);
pen ffqqtt = rgb(1,0,0.2);
pen qqcctt = rgb(0,0.8,0.2);
/* segments and figures */
draw(circle((2,1),2.24),qqttcc+linewidth(3));
draw((1.68,(-4.11+2.21*1.68)/0.32)--(5.23,(-4.11+2.21*5.23)/0.32),ffqqtt + linewidth(3));
draw((-0.89,(-0+3*-0.89)/1)--(5.23,(-0+3*5.23)/1));
draw((-0.89,(+12-3*-0.89)/3)--(5.23,(+12-3*5.23)/3));
draw(circle((1.88,0.16),1.39),qqcctt+linewidth(2));
draw(circle((1.92,0.45),1.68),qqcctt+linewidth(2));
draw((0.33,0.98)--(2.86,1.14));
draw(circle((1.46,1.05),1.05),linewidth(2)+linetype("2pt 2pt")+yellow);
draw((0.33,0.98)--(1.92,0.45));
draw((1.88,0.16)--(2.86,1.14));
draw((-0.89,(+1.46+2.12*-0.89)/0.71)--(5.23,(+1.46+2.12*5.23)/0.71),linewidth(2pt)+linetype("2pt 2pt"));
draw((-0.89,(+9.74-1.58*-0.89)/1.58)--(5.23,(+9.74-1.58*5.23)/1.58),linewidth(2pt)+linetype("2pt 2pt"));
draw((0.46,1.38)--(1.46,1.05));
draw((1.46,1.05)--(2.2,1.8));
draw((1.46,1.05)--(0,0));
draw((1.46,1.05)--(4,0));
 draw((-0.89,(-5.31+3*-0.89)/1)--(5.23,(-5.31+3*5.23)/1));
// draw((-0.89,(+6.11-3*-0.89)/3)--(5.23,(+6.11-3*5.23)/3));
 draw((-0.89,(-1.66+0.97*-0.89)/-0.23)--(5.23,(-1.66+0.97*5.23)/-0.23));
 draw((-0.89,(-0+0.58*-0.89)/0.81)--(5.23,(-0+0.58*5.23)/0.81));
// draw((-0.89,(+1.53-0.38*-0.89)/0.92)--(5.23,(+1.53-0.38*5.23)/0.92));
draw((-0.12,1.71)--(1.68,-1.21));
draw((1.68,-1.21)--(3.58,2.58));
draw((0,0)--(4,0),linewidth(2)+yellow);
draw((4,0)--(1,3),linewidth(2)+yellow);
draw((1,3)--(0,0),linewidth(2)+yellow);
/* points and labels */
dotfactor = 5;
dot((0,0),UnFill);
dot((4,0),UnFill);
dot((1,3),UnFill);
dot((1.68,-1.21),UnFill);
dot((2,1),UnFill);
dot((1.46,1.05),UnFill);
dot((1.88,0.16),UnFill);
dot((2.86,1.14),UnFill);
dot((1.92,0.45),UnFill);
dot((0.33,0.98),UnFill);
dot((1.46,0),UnFill);
dot((-0.12,1.71),UnFill);
dot((3.58,2.58),UnFill);
dot((0.46,1.38),UnFill);
dot((2.2,1.8),UnFill);
dot((2.2,1.8),UnFill);
clip(p);
 (Error making remote request. Unknown error_msg)