已知向量m=（cosx/4,1),n=(√3sinx/4,cos^2x/4),m*n=1
代入得到 m*n=sin(x/2+π/6)+1/2,
故有 sin(x/2+π/6)=1/2
cos(2π/3-x)=cos(π-x-π/3)= -cos(x+π/3)= -1+2sin²(x/2+π/6)= -1/2
要化成sin(x/2+π/6),是因为结果是求cos(x+π/3),它们是倍角关系.