使用极坐标证明 \displaystyleintegrate from -infinity to infinity of e^(-x^2/2) dx = sqrt(2pi) 。