用定积分换元法计算0-派/2 sinx(cosx)^3dx