两条路径计算的是同一个平均值,令二者相等即可完成证明,无需再做任何计算。
令第2步与第3步得到的 E[X]\mathbb{E}[X]E[X] 的两个表达式相等,得 ∑k=0nk⋅pn(k)/n!=1\sum_{k=0}^n k\cdot p_n(k)/n! = 1∑k=0nk⋅pn(k)/n!=1,即 ∑k=0nk⋅pn(k)=n!\sum_{k=0}^n k\cdot p_n(k) = n!∑k=0nk⋅pn(k)=n!,这正是所要证明的等式。