∫dx exp(-iax^2)=√(π/ia) の証明の仕方を教えて下さい。