求助：利用围道积分证明三角函数定积分等式的方法

嘿，我来帮你把这个围道积分的思路补全并梳理清楚！你选的变量替换方向完全没问题，咱们一步步来解决这个证明题：

1. 完成变量替换，转化为复平面围道积分 #

首先修正一下你提到的替换细节（这里容易出错）：

• 令 z = e^{iθ}，则 $\sinθ = \frac{z - z^{-1}}{2i}$（注意分母的i，你之前可能漏了），同时对z = e^{iθ}求导可得 $dθ = \frac{dz}{iz}$。

原积分是$$I = \int_0^{\pi}\frac{1}{a^2+\sin^2{\theta}}\,\mathrm{d}\theta$$，我们先计算扩展区间的积分$$J = \int_0^{2\pi}\frac{1}{a^2+\sin^2{\theta}}\,\mathrm{d}\theta$$——由于被积函数$\frac{1}{a^2+\sin^2{\theta}}$关于$\theta=\pi$对称（$\sin^2(\pi-\theta)=\sin^2\theta$），所以$I = \frac{J}{2}$，这样我们可以利用完整的单位圆围道来计算，更方便应用留数定理。

将替换代入J，转化为单位圆$|z|=1$上的围道积分：

J = \oint_{|z|=1} \frac{1}{a^2 + \left( \frac{z - z^{-1}}{2i} \right)^2} \cdot \frac{dz}{iz}

2. 化简被积函数 #

先处理分母中的$\sin^2\theta$项：
$$\sin^2\theta = \left( \frac{z - z^{-1}}{2i} \right)^2 = \frac{z^2 - 2 + z^{-2}}{-4} = \frac{-z^2 + 2 - z^{-2}}{4}$$

代入后通分整理分母：
$$a^2 + \sin^2\theta = \frac{4a^2 - z^2 + 2 - z^{-2}}{4} = \frac{-z^4 + (4a^2 + 2)z^2 - 1}{4z^2}$$

因此被积函数可化简为：
$$\frac{1}{a^2 + \sin^2\theta} \cdot \frac{dz}{iz} = \frac{4z^2}{-z4 + (4a^2 + 2)z^2 - 1} \cdot \frac{dz}{iz} = 4i \cdot \frac{z}{z^4 - (4a^2 + 2)z^2 + 1} dz$$
（这里用到了$\frac{1}{i} = -i$来调整符号，避免后续出现负的积分结果）

所以J的表达式变为：
$$J = 4i \oint_{|z|=1} \frac{z}{z^4 - (4a^2 + 2)z^2 + 1} dz$$

3. 寻找围道内的极点 #

令分母$Q(z) = z^4 - (4a^2 + 2)z^2 + 1 = 0$，设$w = z^2$，则方程转化为二次方程：
$$w^2 - (4a^2 + 2)w + 1 = 0$$

解这个二次方程，用求根公式得：
$$w = \frac{(4a^2 + 2) \pm \sqrt{(4a^2 + 2)^2 - 4}}{2} = 2a^2 + 1 \pm 2a\sqrt{a^2 + 1}$$

由于$a>1$，分析两个根对应的z的模：

• 对于$w_1 = 2a^2 + 1 + 2a\sqrt{a^2 + 1} = (\sqrt{a^2 + 1} + a)^2$，对应的$z = \pm(\sqrt{a^2 + 1} + a)$，模长$|\sqrt{a^2 + 1} + a| > 1$，在单位圆外；
• 对于$w_2 = 2a^2 + 1 - 2a\sqrt{a^2 + 1} = (\sqrt{a^2 + 1} - a)^2$，对应的$z = \pm(\sqrt{a^2 + 1} - a)$，模长$|\sqrt{a^2 + 1} - a| = \frac{1}{\sqrt{a^2 + 1} + a} < 1$，在单位圆内。

所以单位圆内的极点是$z_1 = \sqrt{a^2 + 1} - a$和$z_2 = -(\sqrt{a^2 + 1} - a)$。

4. 计算极点的留数 #

对于单极点$z_0$，若$f(z) = \frac{P(z)}{Q(z)}$，则留数公式为$\text{Res}[f(z), z_0] = \frac{P(z_0)}{Q'(z_0)}$。

这里$P(z) = z$，$Q'(z) = 4z^3 - 2(4a^2 + 2)z = 2z(2z^2 - 4a^2 - 2)$，代入极点$z_0$（满足$z_0^2 = w_2 = 2a^2 + 1 - 2a\sqrt{a^2 + 1}$）：
$$\text{Res}[f(z), z_0] = \frac{z_0}{2z_0(2z_0^2 - 4a^2 - 2)} = \frac{1}{2(2(2a^2 + 1 - 2a\sqrt{a^2 + 1}) - 4a^2 - 2)}$$

化简分母：
$$2(2a^2 + 1 - 2a\sqrt{a^2 + 1}) - 4a^2 - 2 = 4a^2 + 2 - 4a\sqrt{a^2 + 1} - 4a^2 - 2 = -4a\sqrt{a^2 + 1}$$

因此每个极点的留数为：
$$\text{Res}[f(z), z_0] = \frac{1}{2(-4a\sqrt{a^2 + 1})} = -\frac{1}{8a\sqrt{a^2 + 1}}$$

两个极点的留数之和为：
$$\text{Res}[f(z), z_1] + \text{Res}[f(z), z_2] = -\frac{1}{8a\sqrt{a^2 + 1}} - \frac{1}{8a\sqrt{a^2 + 1}} = -\frac{1}{4a\sqrt{a^2 + 1}}$$

5. 应用留数定理求解积分 #

留数定理指出：围道积分等于$2\pi i$乘以围道内所有极点的留数之和。

代入J的表达式：
$$J = 4i \cdot 2\pi i \cdot \left( -\frac{1}{4a\sqrt{a^2 + 1}} \right)$$

化简计算：
$$J = 4i \cdot 2\pi i \cdot \left( -\frac{1}{4a\sqrt{a^2 + 1}} \right) = \frac{-8\pi i^2}{4a\sqrt{a2 + 1}} = \frac{8\pi}{4a\sqrt{a^2 + 1}} = \frac{2\pi}{a\sqrt{a^2 + 1}}$$

最后回到原积分I：
$$I = \frac{J}{2} = \frac{\pi}{a\sqrt{a^2 + 1}}$$

完美匹配题目要证明的结果！

内容的提问来源于stack exchange，提问作者Vpen