[Everyday Mathematics]20150228

试证: $$\bex \int_0^\infty \sin\sex{x^3+\frac{\pi}{4}}\rd x =\frac{\sqrt{6}+\sqrt{2}}{4}\int_0^\infty e^{-x^3}\rd x. \eex$$