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