フレネル積分（Fresnel Integral）について。 を証明する。 第１段階被積分関数として、 （ただし） （オイラーの公式より） を、複素数へ定義を拡張した関数 を考える。（） 右図にあるような、複素平面上の周回積分を考える。扇形の積分路で、原点からスタートして、左回りにまた原点まで戻ってくる。 周回路は３つの行…