矩阵论（补充知识）：特征多项式的展开式

国内线性代数教材上关于n阶矩阵$A$的特征多项式的系数只讲了常数项、n-1次项和n次项的，分别为$(-1{)}^{n}det(A),-tr(A),1$。一直很好奇其他项的系数是什么样的。查资料知有如下定理：

• 定理：设$A\in C^{n\times n}$，则$A$的特征多项式$det(\lambda I-A)={\lambda }^n+a_1{\lambda }^{n-1}+a_2{\lambda }^{n-2}+...+a_{n-1}\lambda +a_n$，其中$n-k$次项的系数$a_k=(-1{)}^k{p}_k$，$p_k$为$A$的全部$k$阶主子式之和

其中，主子式的定义如下：

• 定义：主子式：设$A=(a_{ij}{)}_{n\times n}$，$1⩽i_1<i_2<\cdots <i_k⩽n$，称$$A\left(\begin{array}{cccc}{i}_1& i_2& \cdots & i_k\\ i_1& i_2& \cdots & i_k\end{array}\right)=\left[\begin{array}{cccc}{a}_{i_1{i}_1}& a_{i_1{i}_2}& \cdots & a_{i_1{i}_k}\\ a_{i_2{i}_1}& a_{i_2{i}_2}& \cdots & a_{i_2{i}_k}\\ \cdots & \cdots & \cdots & \cdots \\ a_{i_k{i}_1}& a_{i_k{i}_2}& \cdots & a_{i_k{i}_k}\end{array}\right]$$为A的一个k阶主子矩阵，其行列式为A的k阶主子式
  【注】主子式的一个重要特点是取$A$中的哪几行，就得对应地取$A$中的哪几列，这样行列相交处的元素取出来才是一个主子式。例如$A$的一阶主子式有n个，均为$A$的主对角线上的元素，$A$的$n$阶主子式只有1个，为$det(A)$。

知道这个定理，应用是没问题的，但要知道怎么证，就有点麻烦了。用google搜了半天，没找到一个既正确又容易看懂的证明，最后没想到用百度搜到了几个国内学者的证明，比较简明易懂。下面用两种方法证明该定理。

（这里补充一个显而易见的推论）

• 推论：设$A\in C^{n\times n}$，则$det(\lambda I+A)={\lambda }^n+p_1{\lambda }^{n-1}+p_2{\lambda }^{n-2}+...+p_{n-1}\lambda +p_n$，其中$n-k$次项的系数$p_k$为$A$的全部$k$阶主子式之和
  证明：
  由上述定理可得，$$\begin{array}{r}det(\lambda I+A)\\ \\ \end{array}$$