6.4.2定理证明

注意任何有互不相同特征值的矩阵，必定是非退化的，因此可以对角化，这里重点是要得出U是酋矩阵，因为6.4.1的原因，保证了下面过程U是酋矩阵。