形如e^(ax^2+bx+c)的积分公式的证明

形如$\int e^{x^2}dx$的积分是一种典型的很难积的函数，普通方法很难把它积出来，得用巧劲。

以下为证明过程：

---

直接求积分很难，我们先把它平方，将其转为二重积分：
$$\begin{array}{rl}{\left(\int e^{x^2}dx\right)}^2& =\int e^{x^2}dx\cdot \int e^{y^2}dy\\ & =\iint e^{x^2+y^2}dxdy(\ast )\end{array}$$
将直角坐标系转为极坐标系，这里有一点要注意，二重积分变量替换或者说变换积分区域的时候在积分函数里还要乘上一个雅可比行列式，我们先算一下雅可比矩阵：

$$J=\frac{\partial (x,y)}{\partial (r,\theta )}=\left[\begin{array}{cc}\cos \theta & -r\sin \theta \\ \sin \theta & r\cos \theta \end{array}\right]$$

因此要乘的雅可比行列式为$|J|=r{\cos }^2+r{\sin }^2=r$。有了雅可比行列式，现在就可以算算$(\ast )$式经坐标变换后的式子，有：
$$\{\begin{array}{l}{x}^2+y^2=r^2\\ x=r\cos \theta \Rightarrow (\ast )={\int }_0^{2\pi }{\int }_{-\infty }^{+\infty }{e}^{r^2}\cdot r\cdot drd\theta (\ast \ast )\\ y=r\sin \theta \end{array}$$

一定要注意转为极坐标的时候$\theta \in [0,2\pi )$，要不然会出问题的。

接$(\ast \ast )$，有：

$$\begin{array}{rl}(\ast \ast )={\int }_0^{2\pi }\frac{1}{2}\left(\int e^{r^2}d{r}^2\right)d\theta ={\int }_0^{2\pi }\frac{1}{2}\cdot e^{r^2}d\theta =& {\frac{1}{2}{e}^{r^2}\cdot \theta |}_0^{2\pi }+c\\ =& \pi e^{r^2}+c\end{array}(\ast \ast \ast )$$

对$(\ast \ast \ast )$开根号，便可得到：
$$\int e^{x^2}dx=\sqrt{\pi e^{r^2}+c}$$

证毕。

---