半角公式cos^2(a/2)=(1+cos(a))/2如何推导