实数域上的n阶矩阵A一定有n个特征向量