证：000(2-2000-1.-2aE-J。三·0001-2..00-12-20IXI[aE- J]=(a-2.)"此即aE-J.的n级行列式因子。又aE-J。有一个n-1级子式是$8.6若当标准形的理论推导§8.6 若当标准形的理论推导 证： 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 n n E J             −   − − − =     −   − −   0 0 ( ) . n    E J − = − 此即 的 级行列式因子. E J − 0 n 又 E J − 0 有一个 n − 1 级子式是