矩阵的对角化的应用