今日Wolfram君に教えてもらいました。

integral_0^∞ x^(-s) sin(x) dx = cos((π s)/2) Γ(1 - s) for 0<Re(s)<2…(1)
integral_0^∞ x^(-s) cos(x) dx = sin((π s)/2) Γ(1 - s) for 0<Re(s)<1…(2)

(1)でs=1のとき　Dirichlet積分、s=1/2のときFresnel積分となかなかかっっちょええ公式。
Wolfram君は不定積分も教えてくれて確かに微分して元の積分核が出ることもx=0のとき-右辺になることもチェックはできます
…が、こんなん思いつくかボケ！んなもん不定積分なんかせんでもHankelの公式で一撃じゃ
…でもなかったorz。
なんか(1)の左辺をHankelの公式で計算すると(1)と(2)の左辺が混ざった形がでてきて切り離せない？？？
どなたか初等的な証明(=留数定理とかCauchyの積分公式とか級数展開とかまで)知ってます？orできます？
もしかしてこの積分なんか名前ついてます？ちなみに数学辞典には(1)の方はのってます。