Using contour integration around a rectangle with vertices
−x,x,x+iy,−x+iy,
prove that, for all real y,
∫−∞+∞e−(x+iy)2dx=∫−∞+∞e−x2dx
Hence derive that the function f(x)=e−x2/2 is an eigenfunction of the Fourier transform
f(y)=∫−∞+∞f(x)e−ixydx
i.e. f is a constant multiple of f.