cosx=1-2sin²(x/2)
故∫sin²(x/2)dx
=∫(1-cosx)/2dx
=x/2-(sinx)/2+C
C为任意常数