Difference between revisions of "User:Azjps/Asymptote"
m (temp save) |
(No difference)
|
Revision as of 21:34, 19 May 2011
- See also: Proofs without words
/* geogebra conversion, see azjps userscripts.org/scripts/show/72997 */ import graph; defaultpen(linewidth(0.7)+fontsize(10)); size(300); 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((0,0)--(4,0),linewidth(1.6pt)); draw((4,0)--(1,3),linewidth(1.6pt)); draw((1,3)--(0,0),linewidth(1.6pt)); draw(circle((2,1),2.24),qqttcc+linewidth(1.2pt)); 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,(+12-3*-0.89)/3)--(5.23,(+12-3*5.23)/3)); draw(circle((1.88,0.16),1.39),qqcctt); draw(circle((1.92,0.45),1.68),qqcctt); draw((0.33,0.98)--(2.86,1.14)); draw(circle((1.46,1.05),1.05),linewidth(2pt)+linetype("2pt 2pt")); 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)); draw((-0.89,(+9.74-1.58*-0.89)/1.58)--(5.23,(+9.74-1.58*5.23)/1.58)); 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)); /* points and labels */ dot((0,0)); dot((4,0)); dot((1,3)); dot((1.68,-1.21)); dot((2,1)); dot((1.46,1.05)); dot((1.88,0.16)); dot((2.86,1.14)); dot((1.92,0.45)); dot((0.33,0.98)); dot((1.46,0)); dot((-0.12,1.71)); dot((3.58,2.58)); dot((0.46,1.38)); dot((2.2,1.8)); dot((2.2,1.8)); clip((-0.89,-2.03)--(-0.89,3.9)--(5.23,3.9)--(5.23,-2.03)--cycle); (Error making remote request. Unknown error_msg)