积分 sin x dx,x 从 0 到 pi