https://matnoble.github.io/math/linear-algebra/diag/
矩阵对角化那些事