ガウス積分の指数関数部に虚数が入っていても結果的には普通にガウス積分の公式を適用したのと同じ形になるのだ、という証明が載っているのには大きな意味があると思います。計算過程をまじめに追う人はあまりいないかもしれませんが、この結果は覚えておいて損はないと思います。
その意味ではこの記事は有用だと思います