高中三角函数.1-2cos^2x/4 根据什么公式等于 -cos(x/2)