因式分解理论基础(2)整除关系与带余除法与综合除法

因式分解理论基础(2)整除关系与带余除法与综合除法

整除关系

定义1
设$f$,$g$是两个一元多项式，如果 $\exists$ 一元多项式 $h$使得$f=hg$，则称$g$整除$f$,记做$g|f$
其中因式和倍式的定义如同一般整除
特别的，我们有如下事实：

1. $0|f(x)\iff f(x)=0$
2. $\forall f(x),f(x)|0$
3. $b|f(x),\forall b\in {\mathbb{Q}}^{\ast },\forall f(x)$

这里需要说明的是，根据我们的定义0也可以整除别的多项式，因为我们定义整除不是按照除法，而是按照带余除法，从而任何多项式直接整除0多项式而无需对多项式进行讨论。

值得注意的是，整除是一个二元关系，它具有

1. 反身性：$f(x)|f(x),\forall f(x)$
2. 传递性：$f(x)|g(x),g(x)|h(x)$则$f(x)|h(x)$

下面我们来看多项式整除和数的整除的另一个区别
定义2
$f$,$g$是两个一元多项式，那么如果$f(x)|g(x)$并且$g(x)|f(x)$,那么我们称$f(x)$与$g(x)$相伴，记做$f\sim g$
回想数的整除，我们可以得到类似的概念$a\sim b\iff a=\pm b$(注意数的整除除对0有特殊的限制)
类似的我们有如下事实：
事实$$f(x)\sim g(x)\iff f(x)=cg(x),c\in {\mathbb{Q}}^{\ast }$$

不难发现，相伴其实是相等的一种推广
例1

1. $x\sim 2x$
2. $a\sim b,a,b\in {\mathbb{Q}}^{\ast }$
3. x 2 + 2 x + 1 ∼ − 2 x 2 − 4 x − 2 x^2+2x+1\sim -2x^2-4x-2