Dirichlet Integral/Proof 1

Proof
By Fubini's Theorem:


 * $\displaystyle \int_0^\infty \left({\int_0^\infty e^{- x y} \sin x \, \mathrm d y}\right) \, \mathrm d x = \int_0^\infty \left({\int_0^\infty e^{- x y} \sin x \, \mathrm d x}\right) \, \mathrm d y$

Then:

and:

Hence: