求sin^2(x/2)的原函数