首先,可以证明如下引理:
\begin{equation*}
\left(f_1(x),f_2(x),\cdots ,f_m(x)\right)=\left((f_1(x),f_2(x),\cdots ,f_{m-1}(x)),f_m(x)\right)\mbox{。}
\end{equation*}
假设
\begin{equation*}
d(x)=\left(f_1(x),f_2(x),\cdots ,f_m(x)\right)\mbox{。}
\end{equation*}
因为\(d(x)\left|f_i(x)\right.,i=1,2,\cdots ,m-1,m\),所以
\begin{equation*}
d(x)\left|(f_1(x),f_2(x),\cdots ,f_{m-1}(x))\right.\mbox{且}d(x)\left|f_m(x)\right.\mbox{。}
\end{equation*}
其次,设\(h(x)\left|(f_1(x),f_2(x),\cdots ,f_{m-1}(x))\right.\)且\(h(x)\left|f_m(x)\right.\),则
\begin{equation*}
h(x)\left|f_i(x)\right.,i=1,2,\cdots ,m-1,m,
\end{equation*}
所以\(h(x)\left|d(x)\right.\)。由定义,知\(\left((f_1(x),f_2(x),\cdots ,f_{m-1}(x)),f_m(x)\right)=d(x)\)。
下面证明习题的结论。对
\(m\)做数学归纳法。当
\(m=2\)时,就是
定理 5.3.3 。假设命题对
\(m-1\)成立,即对于
\(f_1(x),f_2(x),\cdots ,f_{m-1}(x)\),存在
\(v_1(x),v_2(x),\cdots ,v_{m-1}(x)\in\mathbb{F}[x]\),使得
\begin{equation*}
(f_1(x),f_2(x),\cdots ,f_{m-1}(x))=v_1(x)f_1(x)+v_2(x)f_2(x)+\cdots +v_{m-1}(x)f_{m-1}(x)\mbox{。}
\end{equation*}
由引理,
\begin{equation*}
\left(f_1(x),f_2(x),\cdots ,f_m(x)\right)=\left(v_1(x)f_1(x)+v_2(x)f_2(x)+\cdots +v_{m-1}(x)f_{m-1}(x),f_m(x)\right),
\end{equation*}
根据
定理 5.3.3,存在
\(v_m(x),u_m(x)\in\mathbb{F}[x]\),使得
\begin{align*}
&\left(f_1(x),f_2(x),\cdots ,f_m(x)\right)\\
=&v_m(x)\left(v_1(x)f_1(x)+v_2(x)f_2(x)+\cdots +v_{m-1}(x)f_{m-1}(x)\right)+u_m(x)f_m(x),
\end{align*}
令\(u_i(x)=v_m(x)v_i(x),i=1,2,\cdots ,m-1\),则结论成立。