矩阵对角化的数学说明