α是实对称阵A的k重特征值,则属于α的线性无关的特征向量恰有k个,且(A-αE)的秩是n-k 这推论怎么来的