与其按不动点个数把排列分组,不如逐一数出所有存在的(排列, 不动点)对——总数是一样的,只是换了个角度看。
恰有 kkk 个不动点的排列恰好为项 k⋅pn(k)k \cdot p_n(k)k⋅pn(k) 贡献 kkk(每个不动点贡献一次)。对 kkk 求和后,∑k=0nk⋅pn(k)\sum_{k=0}^{n} k \cdot p_n(k)∑k=0nk⋅pn(k) 统计的正是所有满足 fff 是 {1,…,n}\{1,\ldots,n\}{1,…,n} 的排列且 iii 是 fff 的不动点(即 f(i)=if(i)=if(i)=i)的对 (f,i)(f,i)(f,i)。