经典找排列最大值问题

有一个长度为 n 的排列，我想确定 n 所在的位置，我找出了 1-k 项的最大值 m，然后从 k+1 项依次检查，找到大于 m 的项就确定这个项是最大值的位置，如果没有大于 m 的项就认为是第 n 项。求准确找到 n 所在位置的概率（用 n,k 表示）

USER

\(\sum_{i=k}^{n-1} \frac{\binom{i-1}{k-1}}{n-i} = \binom{n-1}{k-1} (H_{n-1} - H_{k-1})\) 怎么证明？

ASSISTANT

要证明该等式，最有效的方法是利用生成函数（Generating Function）。

1. 识别左侧为级数卷积的系数

首先，我们观察等式的左侧：

\[S = \sum_{i=k}^{n-1} \binom{i-1}{k-1} \frac{1}{n-i} \]

这个形式可以看作两个序列的卷积。定义两个幂级数：

• 第一个级数：\(A(x) = \sum_{m=k}^{\infty} \binom{m-1}{k-1} x^m\)
• 第二个级数：\(B(x) = \sum_{j=1}^{\infty} \frac{1}{j} x^j\)

级数 \(A(x)\) 是二项式系数的展开：

\[A(x) = x^k \sum_{j=0}^{\infty} \binom{j+k-1}{k-1} x^j = x^k (1-x)^{-k} = \frac{x^k}{(1-x)^k} \]

级数 \(B(x)\) 是对数函数的展开：

\[B(x) = -\ln(1-x) \]

将两者相乘，其乘积 \(F(x) = A(x)B(x)\) 的第 \(n\) 项系数 \([x^n]F(x)\) 即为：

\[[x^n] F(x) = \sum_{i=k}^{n-1} a_i b_{n-i} = \sum_{i=k}^{n-1} \binom{i-1}{k-1} \frac{1}{n-i} \]

这正是等式的左边。因此，我们只需要计算 \(F(x) = \frac{-x^k \ln(1-x)}{(1-x)^k}\) 的第 \(n\) 项系数。

---

2. 利用导数性质计算系数

考虑广义二项式定理的变形。我们知道：

\[(1-x)^{-k} = \sum_{N=0}^{\infty} \binom{N+k-1}{k-1} x^N \]

为了引入 \(\ln(1-x)\)，我们对等式两边的参数 \(k\) 求导。
根据复合函数求导法则：

\[\frac{\partial}{\partial k} (1-x)^{-k} = \frac{\partial}{\partial k} e^{-k \ln(1-x)} = -\ln(1-x) \cdot (1-x)^{-k} \]

这就得到了 \(F(x)\) 的核心部分。

对求和式的一般项 \(\binom{N+k-1}{k-1} = \binom{N+k-1}{N}\) 关于 \(k\) 求导：

\[\frac{\partial}{\partial k} \binom{N+k-1}{N} = \frac{\partial}{\partial k} \frac{(k+N-1)(k+N-2)\cdots(k)}{N!} \]

利用对数求导法 \(\frac{d}{dk} \ln(f(k)) = \frac{f'(k)}{f(k)}\)，有：

\[\frac{\partial}{\partial k} \binom{N+k-1}{N} = \binom{N+k-1}{N} \left( \frac{1}{k+N-1} + \frac{1}{k+N-2} + \cdots + \frac{1}{k} \right) \]

括号内的部分正好是调和数的差：

\[\sum_{j=0}^{N-1} \frac{1}{k+j} = H_{k+N-1} - H_{k-1} \]

其中 \(H_m = 1 + \frac{1}{2} + \dots + \frac{1}{m}\)。

---

3. 提取 \(x^n\) 的系数

综合以上结果，我们得到：

\[\frac{-\ln(1-x)}{(1-x)^k} = \sum_{N=0}^{\infty} \binom{N+k-1}{k-1} (H_{N+k-1} - H_{k-1}) x^N \]

现在将等式两边乘以 \(x^k\)：

\[F(x) = \frac{-x^k \ln(1-x)}{(1-x)^k} = \sum_{N=0}^{\infty} \binom{N+k-1}{k-1} (H_{N+k-1} - H_{k-1}) x^{N+k} \]

令 \(n = N+k\)，则 \(N = n-k\)。提取 \(x^n\) 的系数：

\[[x^n] F(x) = \binom{(n-k)+k-1}{k-1} (H_{(n-k)+k-1} - H_{k-1}) = \binom{n-1}{k-1} (H_{n-1} - H_{k-1}) \]

结论

由于左侧级数卷积的结果等于 \(F(x)\) 的第 \(n\) 项系数，而我们通过求导法直接算出了该系数的闭式解，因此：

\[\sum_{i=k}^{n-1} \frac{\binom{i-1}{k-1}}{n-i} = \binom{n-1}{k-1} (H_{n-1} - H_{k-1}) \]

证明完毕。