这一篇纯属自娱自乐。顺便试一下格志新的DruTex。

设A是可换环。对于A上的n阶矩阵M，把它的特征多项式det(Ix-M)（I是单位矩阵）记为f(x)。Cayley-Hamilton定理说，如果把矩阵M代入它的特征多项式里，得到的结果f(M)是零矩阵。这个学过线性代数的人都知道，不过既然这篇纯属自娱自乐，我就来扯扯这个定理。