input geom; beginfig(1) pair a,b,c; v = 3u; a:=o; b:=(0,sqrt(3)*v); c:=(-v,0); draw a--b--c--cycle; draw rta shifted a; plainlabelangle(btex $60\deg$ etex,c,a,b); plainlabelangle(btex $30\deg$ etex,b,c,a); label.bot(btex $1$ etex,(c+a)/2); label.rt(btex $\sqrt{3}$ etex,(b+a)/2); label.ulft(btex $2$ etex,(b+c)/2); a:= (4*u,0); b:= a + (0,v); c:= a - (v,0); draw a--b--c--cycle; draw rta shifted a; plainlabelangle(btex $45\deg$ etex,c,a,b); plainlabelangle(btex $45\deg$ etex,b,c,a); label.bot(btex $1$ etex,(c+a)/2); label.rt(btex $1$ etex,(b+a)/2); label.ulft(btex $\sqrt2$ etex,(b+c)/2); endfig; beginfig(2) z1=(6u,0); z2 = z1 rotated 60; draw o--z1--z2--cycle; draw z2--(z1/2) dashed evenly; draw rta shifted (z1/2); endfig; end