tg(pi/12)=<span>√</span>(1-cos(2pi/12))/<span>√</span>(1+cos(2pi/12))=<span>√</span>(1-cos(pi/6))/<span>√</span>(1+cos(pi/6))=<span>√</span>(1-<span>√</span>3/2)/(1+<span>√</span>3/2)=<span>√</span>(2-<span>√</span>3)/<span>√</span>(2+<span>√</span>3)=<span>√</span>(2-<span>√</span>3)^2/((2+<span>√</span>3)(2-<span>√</span>3))
cos(arccos(a))=a
sin(arccos(a))=√(1-a²)
cos(arcsin(a))=√(1-a²)
sin(2a)=2sin(a)cos(a)
sin(a+b)=sin(a)*cos(b)+cos(a)sin(b).