2SIN^(a/2) =1-COS a ^为平方,求此公式的推倒过程