令1/2 = cos(pi/3), 根号3/2 = sin(pi/3)，然后公式就出来了
2|1/2sina-√3/2cosa|=2|sinacos兀/3-cosasin兀/3|=2|sin(a-兀/3)|
那么大一个绝对值符号装作看不到。。。
前面的数字可以化成三角函数啊
