§ 3 整除的概念
这一节以及后面各节的讨论都是在某一个固定的数域 P P P 上的多项式环 P [ x ] P[x] P[x]
中进行的, 以后就不每次重复说明了.
在一元多项式环中, 可以做加、减、乘三种运算,
但是乘法的逆运算------除法并不是普遍可以做的.因之整除就成了两个多项式之间的一种特殊的关系.
和中学中所学代数一样, 作为形式表达式,
也能用一个多项式去除另一个多项式,求得商和余式.例如,设
f ( x ) = 3 x 3 + 4 x 2 − 5 x + 6 , g ( x ) = x 2 − 3 x + 1. f(x)=3 x^{3}+4 x^{2}-5 x+6, \quad g(x)=x^{2}-3 x+1 . f(x)=3x3+4x2−5x+6,g(x)=x2−3x+1.
我们用 g ( x ) g(x) g(x) 去除 f ( x ) f(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^…
于是求得商为 3 x + 13 3 x+13 3x+13, 余式为 31 x − 7 31 x-7 31x−7. 所得结果可以写成
3 x 3 + 4 x 2 − 5 x + 6 = ( 3 x + 13 ) ( x 2 − 3 x + 1 ) + ( 31 x − 7 ) . 3 x^{3}+4 x^{2}-5 x+6=(3 x+13)\left(x^{2}-3 x+1\right)+(31 x-7) . 3x3+4x2−5x+6=(3x+13)(x2−3x+1)+(31x−7).
这个求法实际上具有一般性.
下面就按这个想法来证明一元多项式环的一个基本性质.
带余除法 对于 P [ x ] P[x] P[x] 中任意两个多项式 f ( x ) f(x) f(x) 与 g ( x ) g(x) g(x), 其中
g ( x ) ≠ 0 g(x) \neq 0 g(x)=0, 一定有 P [ x ] P[x] P[x] 中的多项式 q ( x ) , r ( x ) q(x), r(x) q(x),r(x) 存在,使
f ( x ) = q ( x ) g ( x ) + r ( x ) f(x)=q(x) g(x)+r(x) f(x)=q(x)g(x)+r(x)
成立, 其中 t i a l ( r ( x ) ) < t i a l ( g ( x ) ) tial(r(x))<tial(g(x)) tial(r(x))<tial(g(x)) 或者 r ( x ) = 0 r(x)=0 r(x)=0, 并且这样的
q ( x ) , r ( x ) q(x), r(x) q(x),r(x) 是唯一决定的.
证明 (1) 中 q ( x ) q(x) q(x) 和 r ( x ) r(x) r(x) 的存在性可以由上面所说的除法直接得出.
我们用归纳法的语言来叙述.
如果 f ( x ) = 0 f(x)=0 f(x)=0, 取 q ( x ) = r ( x ) = 0 q(x)=r(x)=0 q(x)=r(x)=0 即可.
以下设 f ( x ) ≠ 0 f(x) \neq 0 f(x)=0. 令 f ( x ) , g ( x ) f(x), g(x) f(x),g(x) 的次数分别为 n , m n, m n,m. 对 f ( x ) f(x) f(x)
的次数 n n n 作 (第二) 数学归纳法. 假设当任何 f ( x ) f(x) f(x) 的次数小于 n n n 时,
q ( x ) , r ( x ) q(x), r(x) q(x),r(x) 的存在已证. 现来看次数为 n n n 的情形.
当 n < m n<m n<m 时, 显然取 q ( x ) = 0 , r ( x ) = f ( x ) , ( 1 ) q(x)=0, r(x)=f(x),(1) q(x)=0,r(x)=f(x),(1) 式成立.
下面讨论 n ⩾ m n \geqslant m n⩾m 的情形. 令 a x n , b x m a x^{n}, b x^{m} axn,bxm 分别是
f ( x ) , g ( x ) f(x), g(x) f(x),g(x) 的首项, 显然 b − 1 a x n − m g ( x ) b^{-1} a x^{n-m} g(x) b−1axn−mg(x) 与 f ( x ) f(x) f(x)
有相同的首项,因而多项式
f 1 ( x ) = f ( x ) − b − 1 a x n − m g ( x ) f_{1}(x)=f(x)-b^{-1} a x^{n-m} g(x) f1(x)=f(x)−b−1axn−mg(x)
的次数小于 n n n 或为零多项式. 对于后者, 取
q ( x ) = b − 1 a x n − m , r ( x ) = 0 q(x)=b^{-1} a x^{n-m}, r(x)=0 q(x)=b−1axn−m,r(x)=0; 对于前者, 由归纳假设, 对
高等代数(一)-多项式03:整除的概念
最新推荐文章于 2024-08-15 22:57:52 发布
![](https://img-home.csdnimg.cn/images/20240711042549.png)