证明sin^2(a/2)=(1-cosa/2)/2