一个组合恒等式的证明

证明：对于 $n\in {\mathbb{N}}^{+}$：

$$\sum _{i=1}^n\frac{1}{i}=\sum _{i=1}^n(-1{)}^{i-1}(\genfrac{}{}{0ex}{}{n}{i})\frac{1}{i}$$

组合意义：

证明：

考虑问题 “$n$ 个不同的球，每次等概率抽出一个放回，问把所有球都抽过一次的期望抽的次数。”

$f[i]$ 表示还有 $i$ 个球没有被抽到过的情况下，期望次数，转移有 $f[i]=\frac{n-i}{n}f[i]+\frac{i}{n}f[i-1]+1$。则 $f[i]=f[i-1]+\frac{n}{i}$，$f[0]=0$。问题答案为 $f[n]=n\times LHS$。

令 $t_i$ 为第 $i$ 个球首次被抽到的次数的随机变量，记集合 $S=t_1,t_2,\dots ,t_n$，问题答案是 E ( max ⁡ t ∈ S { t } ) E(\max_{t\in S}\{t\}) E(maxt∈S​{t})。根据最值反演：
E ( max ⁡ t ∈ S { t } ) = ∑ T ⊆ S T ≠ ∅ ( − 1 ) ∣ T ∣ − 1 E ( min ⁡ t ∈ T { t } ) = ∑ i = 1 n ∑ ∣ T ∣ = i ( − 1 ) i − 1 E ( min ⁡ t ∈ T { t } ) = ∑ i = 1 n ∑ ∣ T ∣ = i ( − 1 ) i − 1 n i = ∑ i = 1 n ( − 1 ) i − 1 n i ∑ ∣ T ∣ = i 1 = ∑ i = 1 n ( − 1 ) i − 1 ( n i ) n i = n × R H S \begin{aligned} E(\max_{t\in S}\{t\})&=\sum_{\substack{T\subseteq S\\T\neq \emptyset}}(-1)^{|T|-1}E(\min_{t\in T}\{t\})\\ &=\sum_{i=1}^n \sum_{|T|=i} (-1)^{i-1}E(\min_{t\in T}\{t\})\\ &=\sum_{i=1}^n \sum_{|T|=i} (-1)^{i-1}\frac{n}{i}\\ &=\sum_{i=1}^n (-1)^{i-1}\frac{n}{i} \sum_{|T|=i} 1\\ &=\sum_{i=1}^n (-1)^{i-1}\binom{n}{i}\frac{n}{i}\\ &=n\times RHS\\ \end{aligned} E(t∈Smax​{t})​=T⊆ST=∅​∑​(−1)∣T∣−1E(t∈Tmin​{t})=i=1∑n​∣T∣=i∑​(−1)i−1E(t∈Tmin​{t})=i=1∑n​∣T∣=i∑​(−1)i−1in​=i=1∑n​(−1)i−1in​∣T∣=i∑​1=i=1∑n​(−1)i−1(in​)in​=n×RHS​

因此 $LHS=RHS$ $\square$

代数推导：

证明：令 $f(x)={\sum }_{i=1}^n\frac{1}{i}{x}^i$

则 $LHS=f(1)-f(0)={\int }_0^1{f}^{\prime }(x)dx={\int }_0^1{\sum }_{i=0}^{n-1}{x}^{i}dx={\int }_0^1\frac{1-x^n}{1-x}dx$

令 $g(x)={\sum }_{i=1}^n(-1{)}^{i-1}(\genfrac{}{}{0ex}{}{n}{i})\frac{1}{i}{x}^i$

则
$$\begin{array}{rl}RHS& =g(1)-g(0)\\ & ={\int }_0^1{g}^{\prime }(x)dx\\ & ={\int }_0^1\sum _{i=1}^n(-1{)}^{i-1}(\genfrac{}{}{0ex}{}{n}{i})x^{i-1}dx\\ & ={\int }_0^1\frac{(-1)}{x}\sum _{i=1}^n(-1{)}^i(\genfrac{}{}{0ex}{}{n}{i})x^{i}dx\\ & ={\int }_0^1\frac{(-1)}{x}(\sum _{i=0}^n(-1{)}^i\left(\genfrac{}{}{0ex}{}{n}{i}\right)x^i-1)dx\\ & ={\int }_0^1\frac{(-1)}{x}((1-x{)}^n-1)dx\end{array}$$
令 $x=1-t$，则：

$$\begin{array}{rlr}RHS& ={\int }_0^1\frac{1-t^n}{1-t}dt& \\ & ={\int }_0^1\frac{1-x^n}{1-x}dx& \\ & =LHS& \square \end{array}$$