刘维尔公式

用数学归纳法。 当n=1时，公式显然成立。

当n=2时，公式也成立，即

${\displaystyle \iint _{x_{1},x_{2}\geqslant 0;x_{1}+x_{2}\leqslant 1}f\left(x_{1}+x_{2}\right)x_{1}^{p_{1}-1}x_{2}^{p_{2}-1}\mathrm {d} x_{1}\mathrm {d} x_{2}={\frac {\Gamma \left(p_{1}\right)\Gamma \left(p_{2}\right)}{\Gamma \left(p_{1}+p_{2}\right)}}\int _{0}^{1}f\left(u\right)u^{p_{1}+p_{2}-1}\mathrm {d} u}$ 

事实上，令${\displaystyle \Omega }$ 表示区域：${\displaystyle x_{1}\geqslant 0,x_{2}\geqslant 0,x_{1}+x_{2}\leqslant 1}$ ，作代换${\displaystyle x_{1}=\xi _{1},x_{1}+x_{2}=\xi _{2}}$ ，以及${\displaystyle t={\frac {\xi _{1}}{\xi _{2}}}}$ ，则有

${\displaystyle \iint _{x_{1},x_{2}\geqslant 0;x_{1}+x_{2}\leqslant 1}f\left(x_{1}+x_{2}\right)x_{1}^{p_{1}-1}x_{2}^{p_{2}-1}\mathrm {d} x_{1}\mathrm {d} x_{2}=\int _{0}^{1}f\left(\xi _{2}\right)\mathrm {d} \xi _{2}\int _{0}^{\xi _{2}}\xi _{1}^{p_{1}-1}\left(\xi _{2}-\xi {1}\right)^{p_{2}-1}\mathrm {d} \xi _{1}}$ 

${\displaystyle \int _{0}^{1}f\left(\xi _{2}\right)\mathrm {d} \xi _{2}\int _{0}^{1}t^{p_{1}-1}\left(1-t\right)^{p_{2}-1}\xi _{2}^{p_{1}+p_{2}-1}\mathrm {d} t={\frac {\Gamma \left(p_{1}\right)\Gamma \left(p_{2}\right)}{\Gamma \left(p_{1}+p_{2}\right)}}\int _{0}^{1}f\left(\xi _{2}\right)\xi _{2}^{p_{1}+p_{2}-1}\mathrm {d} \xi _{2}={\frac {\Gamma \left(p_{1}\right)\Gamma \left(p_{2}\right)}{\Gamma \left(p_{1}+p_{2}\right)}}\int _{0}^{1}f\left(u\right)u^{p_{1}+p_{2}-1}\mathrm {d} u}$ 

设公式对于n-1成立，今证对于n公式也成立。为此，将公式左端写为

${\displaystyle \int ...\iint _{x_{1},x_{2},...,x_{n-1}\geqslant 0;x_{1}+x_{2}+...+x_{n-1}\leqslant 1}x_{1}^{p_{1}-1}x_{2}^{p_{2}-1}...x_{n-1}^{p_{n-1}-1}\mathrm {d} x_{1}\mathrm {d} x_{2}...\mathrm {d} x_{n-1}\int _{0}^{1-\left(x_{1}+x_{2}+...+x_{n-1}\right)}f\left(x_{1}+x_{2}+...+x_{n}\right)x_{n}^{p_{n}-1}\mathrm {d} x_{n}}$ 

令${\displaystyle \psi \left(s\right)=\int _{0}^{1-s}f\left(s+x_{n}\right)x_{n}^{p_{n}-1}\mathrm {d} x_{n}}$ 

代入上式，并利用公式对n-1成立的假定，得知上式为

${\displaystyle {\frac {\Gamma \left(p_{1}\right)\Gamma \left(p_{2}\right)...\Gamma \left(p_{n-1}\right)}{\Gamma \left(p_{1}+p_{2}+...+p_{n-1}\right)}}\int _{0}^{1}\psi \left(s\right)s^{p_{1}+p_{2}+...+p_{n-1}-1}\mathrm {d} s}$ 

利用上面已证的n=2时的公式，于是即得

${\displaystyle \int ...\iint _{x_{1},x_{2},...,x_{n}\geqslant 0;x_{1}+x_{2}+...+x_{n}\leqslant 1}f\left(x_{1}+x_{2}+...+x_{n}\right)x_{1}^{p_{1}-1}x_{2}^{p_{2}-1}...x_{n}^{p_{n}-1}\mathrm {d} x_{1}\mathrm {d} x_{2}...\mathrm {d} x_{n}}$ 

${\displaystyle ={\frac {\Gamma \left(p_{1}\right)\Gamma \left(p_{2}\right)...\Gamma \left(p_{n-1}\right)}{\Gamma \left(p_{1}+p_{2}+...+p_{n-1}\right)}}\int _{0}^{1}\mathrm {d} s\int _{0}^{1-s}f\left(s+x_{n}\right)s^{p_{1}+p_{2}+...+p_{n-1}-1}x_{n}^{p_{n}-1}\mathrm {d} x_{n}}$ 

${\displaystyle ={\frac {\Gamma \left(p_{1}\right)\Gamma \left(p_{2}\right)...\Gamma \left(p_{n-1}\right)}{\Gamma \left(p_{1}+p_{2}+...+p_{n-1}\right)}}\iint _{s,x_{n}\geqslant 0;s+x_{n}\leqslant 1}f\left(s+x_{n}\right)s^{p_{1}+p_{2}+...+p_{n-1}-1}x_{n}^{p_{n}-1}\mathrm {d} x_{n}}$ 

${\displaystyle ={\frac {\Gamma \left(p_{1}\right)\Gamma \left(p_{2}\right)...\Gamma \left(p_{n-1}\right)}{\Gamma \left(p_{1}+p_{2}+...+p_{n-1}\right)}}\cdot {\frac {\Gamma \left(p_{1}+p_{2}+...+p_{n-1}\right)\Gamma \left(p_{n}\right)}{\Gamma \left(p_{1}+p_{2}+...+p_{n}\right)}}\int _{0}^{1}f\left(u\right)u^{p_{1}+p_{2}+...+p_{n}-1}\mathrm {d} u}$ 

${\displaystyle ={\frac {\Gamma \left(p_{1}\right)\Gamma \left(p_{2}\right)...\Gamma \left(p_{n}\right)}{\Gamma \left(p_{1}+p_{2}+...+p_{n}\right)}}\int _{0}^{1}f\left(u\right)u^{p_{1}+p_{2}+...+p_{n}-1}\mathrm {d} u}$ 

证明完毕。^[1]