>257
係数の付いたガウス積分の公式
∫[x=-∞,+∞] exp(-ax^2) dx = √(π/a)
これって Re(a)≧0 ならそのまま使えますよ。
複素積分を使えば証明可能です。