Difference between revisions of "User:Azjps/Asymptote"
m (temp save) |
m (fooling aroudn w/ colors) |
||
Line 80: | Line 80: | ||
<asy> | <asy> | ||
/* geogebra conversion, see azjps userscripts.org/scripts/show/72997 */ | /* geogebra conversion, see azjps userscripts.org/scripts/show/72997 */ | ||
− | import graph; defaultpen(linewidth( | + | 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 */ | real labelscalefactor = 0.5; /* changes label-to-point distance */ | ||
pen xdxdff = rgb(0.49,0.49,1); | pen xdxdff = rgb(0.49,0.49,1); | ||
Line 87: | Line 89: | ||
pen qqcctt = rgb(0,0.8,0.2); | pen qqcctt = rgb(0,0.8,0.2); | ||
/* segments and figures */ | /* 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(circle((2,1),2.24),qqttcc+linewidth( | ||
− | draw((1.68,(-4.11+2.21*1.68)/0.32)--(5.23,(-4.11+2.21*5.23)/0.32),ffqqtt); | ||
draw((-0.89,(-0+3*-0.89)/1)--(5.23,(-0+3*5.23)/1)); | 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((-0.89,(+12-3*-0.89)/3)--(5.23,(+12-3*5.23)/3)); | ||
− | draw(circle((1.88,0.16),1.39),qqcctt); | + | draw(circle((1.88,0.16),1.39),qqcctt+linewidth(2)); |
− | draw(circle((1.92,0.45),1.68),qqcctt); | + | draw(circle((1.92,0.45),1.68),qqcctt+linewidth(2)); |
draw((0.33,0.98)--(2.86,1.14)); | draw((0.33,0.98)--(2.86,1.14)); | ||
− | draw(circle((1.46,1.05),1.05),linewidth( | + | draw(circle((1.46,1.05),1.05),linewidth(2)+linetype("2pt 2pt")+yellow); |
draw((0.33,0.98)--(1.92,0.45)); | draw((0.33,0.98)--(1.92,0.45)); | ||
draw((1.88,0.16)--(2.86,1.14)); | 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)); | + | 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)); | + | 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((0.46,1.38)--(1.46,1.05)); | ||
draw((1.46,1.05)--(2.2,1.8)); | draw((1.46,1.05)--(2.2,1.8)); | ||
draw((1.46,1.05)--(0,0)); | draw((1.46,1.05)--(0,0)); | ||
draw((1.46,1.05)--(4,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,(-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,(+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,(-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,(-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.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((-0.12,1.71)--(1.68,-1.21)); | ||
draw((1.68,-1.21)--(3.58,2.58)); | 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 */ | /* points and labels */ | ||
− | dot((0,0)); | + | dotfactor = 5; |
− | dot((4,0)); | + | dot((0,0),UnFill); |
− | dot((1,3)); | + | dot((4,0),UnFill); |
− | dot((1.68,-1.21)); | + | dot((1,3),UnFill); |
− | dot((2,1)); | + | dot((1.68,-1.21),UnFill); |
− | dot((1.46,1.05)); | + | dot((2,1),UnFill); |
− | dot((1.88,0.16)); | + | dot((1.46,1.05),UnFill); |
− | dot((2.86,1.14)); | + | dot((1.88,0.16),UnFill); |
− | dot((1.92,0.45)); | + | dot((2.86,1.14),UnFill); |
− | dot((0.33,0.98)); | + | dot((1.92,0.45),UnFill); |
− | dot((1.46,0)); | + | dot((0.33,0.98),UnFill); |
− | dot((-0.12,1.71)); | + | dot((1.46,0),UnFill); |
− | dot((3.58,2.58)); | + | dot((-0.12,1.71),UnFill); |
− | dot((0.46,1.38)); | + | dot((3.58,2.58),UnFill); |
− | dot((2.2,1.8)); | + | dot((0.46,1.38),UnFill); |
− | dot((2.2,1.8)); | + | dot((2.2,1.8),UnFill); |
− | clip( | + | dot((2.2,1.8),UnFill); |
+ | clip(p); | ||
</asy> | </asy> |
Latest revision as of 16:56, 26 September 2011
- 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)