sin^2x的积分是多少?