有关特征向量的一个问题怎么证明一个距阵如果他的特征向量的值都各不相同,那么它就可以转化成一个对角距阵?