Jordan标准形(番外篇)——线性变换可对角化和最小多项式的关系