线性代数：矩阵逆矩阵计算公式的证明（$P_n$ 矩阵）

线性代数：矩阵逆矩阵计算公式的证明（$P_n$ 矩阵）/n/n本文将详细证明线性代数中 $P_n$ 矩阵逆矩阵的计算公式。/n/n### 问题背景/n/n在学习线性代数时，我们经常需要求解矩阵的逆矩阵。对于 $P_n$ 矩阵，其逆矩阵的计算公式如下：/n/n$$(P_n^{-1})(i,j)=/begin{cases}(-1)^{i+j}j^m/tbinom{i}{j} & i/ge j // 0 & i < j/end{cases}$$/n/n本文将针对 $m = 0$ 和 $m /neq 0$ 两种情况进行证明。/n/n### $m = 0$ 的情况/n/n对于 $m = 0$ 的情况，逆矩阵的计算公式简化为：/n/n$$(P_n^{-1})(i,j)=/begin{cases}(-1)^{i+j}/tbinom{i}{j} & i/ge j // 0 & i < j/end{cases}$$/n/n为了证明该公式，我们将使用反向证明方法。首先，我们已知逆矩阵的计算公式，然后将其代入矩阵乘法公式，并通过计算得出单位矩阵，从而证明公式的正确性。/n/n设 $A = P_n^{-1}P_n, i /geq j$，根据矩阵乘法的定义，我们有：/n/n$$(A)(i,j) = /sum_{k=j}^i(P_n^{-1})(i,k)(P_n)(k,j)$$/n/n将 $(P_n)(k,j)$ 的定义代入，得到：/n/n$$(A)(i,j) = /sum_{k=j}^i(P_n^{-1})(i,k)/tbinom{k}{j}$$/n/n然后，将 $(P_n^{-1})(i,k)$ 的定义代入：/n/n$$(A)(i,j) = /sum_{k=j}^i(-1)^{i+k}/tbinom{i}{k}/tbinom{k}{j}$$/n/n接着，利用组合数的性质，将两个组合数相乘的形式改写为一个组合数的形式：/n/n$$/tbinom{i}{k}/tbinom{k}{j} = /frac{i!}{k!(i-k)!}/cdot/frac{k!}{j!(k-j)!} = /frac{i!}{j!(i-j)!}/cdot/frac{(i-j)!}{(i-k)!(k-j)!} = /tbinom{i}{j}/tbinom{i-j}{k-j}$$/n/n将这个结果代回原式，我们得到：/n/n$$(A)(i,j) = /sum_{k=j}^i(-1)^{i+k}/cdot /tbinom{i}{j}/tbinom{i - j}{k - j}$$/n/n由于 $/tbinom{i}{j}$ 和 $/sum$ 不相关，所以可以提出来：/n/n$$(A)(i,j) = /tbinom{i}{j}/sum_{k=j}^i(-1)^{i+k}/cdot /tbinom{i - j}{k - j}$$/n/n再拆开负一次方：/n/n$$(A)(i,j) = /tbinom{i}{j}/sum_{k=j}^i(-1)^{i+j}/cdot(-1)^{i+k-i-j}/cdot /tbinom{i - j}{k - j}$$/n/n把与 $/sum$ 不相关的 $(-1)^{i+j}$ 提出：/n/n$$(A)(i,j) = /tbinom{i}{j}(-1)^{i+j}/sum_{k=j}^i(-1)^{k-j}/cdot /tbinom{i - j}{k - j}$$/n/n接着我们把 $k=j$ 变为 $k=0$ ：/n/n$$(A)(i,j) = /tbinom{i}{j}(-1)^{i+j}/sum_{k=0}^{i-j}(-1)^{k}/cdot /tbinom{i - j}{k}$$/n/n最后，我们使用二项式定理：/n/n$$(a+b)^n=/sum^n_{r=0}/tbinom{n}{r}a^{n-r}b^r=C_n^0a^n+C^1_na^{n-1}b+/cdots+C^r_na^{n-r}b^r+/cdots+C^n_nb^n$$我们会发现，$/sum_{k=0}^{i-j}(-1)^{k}/cdot /tbinom{i - j}{k}$ 中，$/sum$ 有了（$/sum_{k=0}^{i-j}$）， $b^r$ 有了 （$(-1)^{k}$），$/tbinom{n}{r}$ 有了 （$/binom{i - j}{k}$），还差一个 $a^{n-r}$ 。加上什么既可以满足这个 $a^{n-r}$ 又可以不影响结果呢？对了，是 $1^{(i-j)-k}$ 。有了这个，我们可以得到：/n/n$$(A)(i,j) = /tbinom{i}{j}(-1)^{i+j}/cdot ((-1)+1)^{i-j} = /tbinom{i}{j}(-1)^{i+j}/cdot (0)^{i-j}$$/n/n根据组合数学的约定，$0^0=1$，其它情况为0。所以，当 $i=j$ 时，$0^{i-j}$ 为1，当 $i/not=j$ 时，$0^{i-j}$ 为0。因此，我们可以用中括号表示逻辑判断，当中括号内为真时，中括号的值为1，反之为0。/n/n$$(A)(i,j) = /tbinom{i}{j}(-1)^{i+j}[i=j]$$由于 $i/not=j$ 时，这个式子恒为0，所以有：/n/n$$(A)(i,j)=/begin{cases}/tbinom{i}{j}(-1)^{i+j} & i=j // 0 & i/not=j/end{cases}$$/n/n因为 $i=j$：/n/n$$(A)(i,j)=/begin{cases}/tbinom{i}{i}(-1)^{2i} & i=j // 0 & i/not=j/end{cases}$$/n/n$$(A)(i,j)=/begin{cases}1 & i=j // 0 & i/not=j/end{cases}$$/n/n这不就是单位矩阵吗？所以得证，上面的逆矩阵计算公式是正确的。/n/n### $m /neq 0$ 的情况/n/n对于 $m /neq 0$ 的情况，我们也可以按照相同的思路进行推导。设 $A = P_n^{-1}P_n, i /geq j$，根据矩阵乘法的定义，我们有：/n/n$$A(i,j) = /sum_{k=j}^i (P_n^{-1})(i,k) /cdot (P_n)(k,j)$$/n/n将 $(P_n)(k,j)$ 的定义代入：/n/n$$A(i,j) = /sum_{k=j}^i (P_n^{-1})(i,k) /cdot /frac{/binom{k}{j}}{j^m}$$/n/n接下来，将 $(P_n^{-1})(i,k)$ 的定义代入：/n/n$$A(i,j) = /sum_{k=j}^i (-1)^{i+k} /cdot /binom{i}{k} /cdot /frac{/binom{k}{j}}{j^m}$$/n/n我们可以将两个组合数相乘的形式改写为一个组合数的形式：/n/n$$/binom{i}{k} /cdot /binom{k}{j} = /frac{i!}{k!(i-k)!} /cdot /frac{k!}{j!(k-j)!} = /binom{i}{j} /cdot /binom{i-j}{k-j}$$/n/n将这个结果代回原式，我们得到：/n/n$$A(i,j) = /sum_{k=j}^i (-1)^{i+k} /cdot /binom{i}{j} /cdot /frac{/binom{i-j}{k-j}}{j^m}$$/n/n接下来，我们可以将 $(-1)^{i+k}$ 和 $/binom{i}{j}$ 提取出来：/n/n$$A(i,j) = /binom{i}{j} /cdot /sum_{k=j}^i (-1)^{i+k} /cdot /frac{/binom{i-j}{k-j}}{j^m}$$/n/n然后，我们将 $(-1)^{i+k}$ 拆分成 $(-1)^i /cdot (-1)^k$：/n/n$$A(i,j) = /binom{i}{j} /cdot /sum_{k=j}^i (-1)^i /cdot (-1)^k /cdot /frac{/binom{i-j}{k-j}}{j^m}$$/n/n由于 $/sum_{k=j}^i (-1)^k /cdot /binom{i-j}{k-j}$ 是一个二项式展开式中 $b^r$ 的系数，我们可以将其表示为 $(1 - 1)^{i-j}$：/n/n$$/sum_{k=j}^i (-1)^k /cdot /binom{i-j}{k-j} = (1 - 1)^{i-j} = 0^{i-j}$$/n/n根据组合数学的约定，$0^0 = 1$，因此当 $i = j$ 时，上式为1，当 $i /neq j$ 时，上式为0。因此，我们可以用中括号表示逻辑判断，当中括号内为真时，中括号的值为1，反之为0。将这个结果代回原式，我们得到：/n/n$$A(i,j) = /binom{i}{j} /cdot (-1)^i /cdot [i = j] /cdot /frac{1}{j^m}$$/n/n最后，我们可以观察到当 $i = j$ 时，$(-1)^i = (-1)^j$，并且由于 $[i = j] = 1$，我们可以将其合并为 $(-1)^{i+j}$。因此，我们有：/n/n$$A(i,j) = (-1)^{i+j} /cdot /binom{i}{j} /cdot /frac{1}{j^m}$$/n/n综上所述，我们证明了 $m /neq 0$ 时逆矩阵的计算公式为：/n/n$$(P_n^{-1})(i,j) = /begin{cases}(-1)^{i+j} /cdot j^m /cdot /binom{i}{j} & i /geq j // 0 & i < j/end{cases}$$/n/n## 总结/n/n本文通过详细的推导证明了 $P_n$ 矩阵逆矩阵的计算公式，并针对 $m = 0$ 和 $m /neq 0$ 两种情况进行了分析，结合了组合数学的知识，并用清晰易懂的步骤进行推导。希望本文能够帮助读者更好地理解和掌握 $P_n$ 矩阵的逆矩阵计算公式。/n/n注意： 由于本文中使用了大量数学公式，建议读者在阅读时结合相关线性代数和组合数学的知识进行理解。/n