特征值就是满足Ax=sx的解，其中x是非0向量移项合并后得到(A-sE)x=0，说明关于x的齐次方程（A-sE）x=0有非零解根据线性方程性质，如果该方程有非0解，说明det(A-sE)=0然后就得到你那个方程了
