充分性显然成立。
必要性:设\(\xi_1,\xi_2,\cdots ,\xi_n\)是\(V\)的一个基,且
\begin{equation*}
\varphi(\xi_1,\xi_2,\cdots ,\xi_n)=(\xi_1,\xi_2,\cdots ,\xi_n)\begin{pmatrix}
0&0&\cdots&0&-a_0\\
1&0&\cdots&0&-a_1\\
0&1&\cdots&0&-a_2\\
\vdots&\vdots&&\vdots&\vdots\\
0&0&\cdots&1&-a_{n-1}
\end{pmatrix},
\end{equation*}
则\(\varphi(\xi_1)=\xi_2,\varphi(\xi_2)=\xi_3,\cdots,\varphi(\xi_{n-1})=\xi_n\),即
\begin{equation*}
\varphi(\xi_1)=\xi_2,\varphi^2(\xi_1)=\xi_3,\cdots ,\varphi^{n-1}(\xi_1)=\xi_n\mbox{。}
\end{equation*}
由\(\psi(\xi_1)\in V\)知,存在\(b_0,b_1,\cdots ,b_{n-1}\in\mathbb{F}\),使得
\begin{equation*}
\psi(\xi_1)=b_0\xi_1+b_1 \xi_2+\cdots+b_{n-1}\xi_n=b_0\xi_1+b_1\varphi(\xi_1)+\cdots +b_{n-1}\varphi^{n-1}(\xi_1),
\end{equation*}
即\(\psi(\xi_1)=\sum\limits_{i=0}^{n-1}b_i\varphi^i(\xi_1)\)。令\(h(\lambda)=\sum\limits_{i=0}^{n-1}b_i \lambda^i\),则\(\deg h(\lambda)<n\)。我们断言\(\psi=h(\varphi)\)。
事实上,对任意\(2\leq j\leq n\),因为\(\psi\varphi=\varphi\psi\),所以
\begin{equation*}
\psi(\xi_j)=\psi\left(\varphi^{j-1}(\xi_1)\right)=\varphi^{j-1}\left(\psi(\xi_1)\right)=\varphi^{j-1}\left(\sum\limits_{i=0}^{n-1}b_i\varphi^i(\xi_1)\right)
\end{equation*}
\begin{equation*}
=\sum\limits_{i=0}^{n-1}b_i\varphi^{i+j-1}(\xi_1)=\sum\limits_{i=1}^{n-1}b_i\varphi^i\left(\varphi^{j-1}(\xi_1)\right)=\sum\limits_{i=1}^{n-1}b_i\varphi^i(\xi_j)=h(\varphi)(\xi_j).
\end{equation*}
故\(\forall 1\leq j\leq n\),均有\(\psi(\xi_j)=h(\varphi)(\xi_j)\)。因此,\(\psi=h(\varphi)\),其中\(\deg h(\lambda)<n\)。