令arctan根号6=t
tant=根号6
可求出cos2t,sin2t
cos(2arctan根号6+三分之派)
=cos(2t+pi/3)
=cos2tcos(pi/3)-sin2tsin(pi/3)
下面就可算出来了