高等代数(一)-多项式03：整除的概念

§ 3 整除的概念
这一节以及后面各节的讨论都是在某一个固定的数域 $P$ 上的多项式环 $P[x]$
中进行的, 以后就不每次重复说明了.
在一元多项式环中, 可以做加、减、乘三种运算,
但是乘法的逆运算------除法并不是普遍可以做的.因之整除就成了两个多项式之间的一种特殊的关系.
和中学中所学代数一样, 作为形式表达式,
也能用一个多项式去除另一个多项式,求得商和余式.例如,设
$$f(x)=3x^3+4x^2-5x+6,g(x)=x^2-3x+1.$$
我们用 $g(x)$ 去除 $f(x)$, 可以按下面的格式来做除法:
KaTeX parse error: Undefined control sequence: \cline at position 92: …^{2}+3 x \\ \̲c̲l̲i̲n̲e̲ ̲{ 1 - 1 } 13 x^…
于是求得商为 $3x+13$, 余式为 $31x-7$. 所得结果可以写成
$$3x^3+4x^2-5x+6=(3x+13)\left(x^2-3x+1\right)+(31x-7).$$
这个求法实际上具有一般性.
下面就按这个想法来证明一元多项式环的一个基本性质.
带余除法 对于 $P[x]$ 中任意两个多项式 $f(x)$ 与 $g(x)$, 其中
$g(x)\ne 0$, 一定有 $P[x]$ 中的多项式 $q(x),r(x)$ 存在,使
$$f(x)=q(x)g(x)+r(x)$$
成立, 其中 $tial(r(x))<tial(g(x))$ 或者 $r(x)=0$, 并且这样的
$q(x),r(x)$ 是唯一决定的.
证明 (1) 中 $q(x)$ 和 $r(x)$ 的存在性可以由上面所说的除法直接得出.
我们用归纳法的语言来叙述.
如果 $f(x)=0$, 取 $q(x)=r(x)=0$ 即可.
以下设 $f(x)\ne 0$. 令 $f(x),g(x)$ 的次数分别为 $n,m$. 对 $f(x)$
的次数 $n$ 作 (第二) 数学归纳法. 假设当任何 $f(x)$ 的次数小于 $n$ 时,
$q(x),r(x)$ 的存在已证. 现来看次数为 $n$ 的情形.
当 $n<m$ 时, 显然取 $q(x)=0,r(x)=f(x),(1)$ 式成立.
下面讨论 $n⩾m$ 的情形. 令 $a{x}^n,b{x}^m$ 分别是
$f(x),g(x)$ 的首项, 显然 $b^{-1}a{x}^{n-m}g(x)$ 与 $f(x)$
有相同的首项,因而多项式
$$f_1(x)=f(x)-b^{-1}a{x}^{n-m}g(x)$$
的次数小于 $n$ 或为零多项式. 对于后者, 取
$q(x)=b^{-1}a{x}^{n-m},r(x)=0$; 对于前者, 由归纳假设, 对