sin(x)=2sin(x/2)cos(x/2),cos(x)=2cos(x/2)^2 -1
代入等式右边,前提 x不等于(2k+1)π,k为整数,因为cos(x/2)不能为0.