试证: $$ex int_0^infty sinsex{x^3+frac{pi}{4}} d x =frac{sqrt{6}+sqrt{2}}{4}int_0^infty e^{-x^3} d x. eex$$