定积分相等性证明及通用方法咨询

嘿，这个问题其实挺经典的，咱们一步步来拆解～

一、具体积分相等的证明 #

最直接的方法就是换元法（变量替换），操作起来非常简单：

令 $t = 1 - x$，那么：

• 当 $x=0$ 时，$t=1$；当 $x=1$ 时，$t=0$
• 对 $t$ 求导可得 $dt = -dx$，也就是 $dx = -dt$

把这些代入左边的积分：
$$\int_{0}^{1} x^{1000} (1 - x)^{200} dx = \int_{1}^{0} (1 - t)^{1000} t^{200} (-dt)$$

根据定积分的性质，交换积分上下限会改变积分符号，所以负号和上下限交换可以抵消：
$$\int_{1}^{0} (1 - t)^{1000} t^{200} (-dt) = \int_{0}^{1} t^{200} (1 - t)^{1000} dt$$

而积分变量只是一个“占位符”，把 $t$ 换成 $x$ 也不影响结果，这不就和右边的积分完全一致了嘛～

二、证明这类积分相等的通用方法 #

针对这类“交换被积函数中两项指数/位置后积分相等”的问题，常用的思路有这几个：

• 换元法优先：这是最基础也最实用的方法，尤其是在积分区间是 $[0,a]$ 这类形式时，试试 $t=a-x$ 这类对称替换，往往能直接转化出目标积分。比如这个问题里的 $[0,1]$ 就完美适配 $t=1-x$。
• 利用对称性性质：如果能发现被积函数满足 $f(x) = f(a-x)$（这里 $a=1$），或者积分区间本身的对称特性，直接就能推断出积分的相等性，本质上和换元法是互通的。
• 借助特殊函数性质（进阶）：其实这个积分是Beta函数的典型形式，Beta函数的定义就是 $B(p,q) = \int_{0}^{1} x^{p-1}(1-x){q-1}dx$，它有一个核心性质就是 $B(p,q)=B(q,p)$，直接就能得出结论。如果了解Gamma函数的话，还能通过 $B(p,q)=\frac{\Gamma(p)\Gamma(q)}{\Gamma(p+q)}$ 验证，因为交换 $p$ 和 $q$ 后表达式不变。
• 多项式展开验证（适合低次情况）：如果被积函数是低次多项式，你可以把两边的多项式展开成幂次和，再分别逐项积分计算结果，虽然能验证，但高次情况下（比如这里的1000次）计算量太大，不推荐。

备注：内容来源于stack exchange，提问作者NaviteLogger5547