Algebraic and Analytic Geometry
《Algebraic and Analytic Geometry》 · 第 526 页 · Section 7.4「The Rational Canonical Form」，定义段
For $h(t)=a_0+a_1t+\cdots+a_{k-1}t^{k-1}+t^k$, the matrix $A=\begin{pmatrix}0&0&\cdots&0&-a_0\\1&0&\cdots&0&-a_1\\0&1&\cdots&0&-a_2\\\vdots&\vdots&\ddots&\vdots&\vdots\\0&0&\cdots&1&-a_{k-1}\end{pmatrix}$ is called the companion matrix of the monic polynomial $h(t)$.