左边＝1-cos(x/2+x/2)
＝1-（cos^2 x/2-sin^2 x/2)
＝sin^2 x/2+cos^2 x/2-cos^2 x/2+sin^2 x/2
＝2sin^2 x/2