因式分解理论基础(2)整除关系与带余除法与综合除法
整除关系
定义1
设 f f f, g g g是两个一元多项式,如果 ∃ \exist ∃ 一元多项式 h h h使得 f = h g f=hg f=hg,则称 g g g整除 f f f,记做 g ∣ f g|f g∣f
其中因式和倍式的定义如同一般整除
特别的,我们有如下事实:
- 0 ∣ f ( x ) ⇔ f ( x ) = 0 0|f(x)\Leftrightarrow f(x)=0 0∣f(x)⇔f(x)=0
- ∀ f ( x ) , f ( x ) ∣ 0 \forall f(x),f(x)|0 ∀f(x),f(x)∣0
- b ∣ f ( x ) , ∀ b ∈ Q ∗ , ∀ f ( x ) b|f(x),\forall b \in \mathbb{Q}^* ,\forall f(x) b∣f(x),∀b∈Q∗,∀f(x)
这里需要说明的是,根据我们的定义0也可以整除别的多项式,因为我们定义整除不是按照除法,而是按照带余除法,从而任何多项式直接整除0多项式而无需对多项式进行讨论。
值得注意的是,整除是一个二元关系,它具有
- 反身性: f ( x ) ∣ f ( x ) , ∀ f ( x ) f(x)|f(x),\forall f(x) f(x)∣f(x),∀f(x)
- 传递性: f ( x ) ∣ g ( x ) , g ( x ) ∣ h ( x ) f(x)|g(x),g(x)|h(x) f(x)∣g(x),g(x)∣h(x)则 f ( x ) ∣ h ( x ) f(x)|h(x) f(x)∣h(x)
下面我们来看多项式整除和数的整除的另一个区别
定义2
f f f, g g g是两个一元多项式,那么如果 f ( x ) ∣ g ( x ) f(x)|g(x) f(x)∣g(x)并且 g ( x ) ∣ f ( x ) g(x)|f(x) g(x)∣f(x),那么我们称 f ( x ) f(x) f(x)与 g ( x ) g(x) g(x)相伴,记做 f ∼ g f\sim g f∼g
回想数的整除,我们可以得到类似的概念 a ∼ b ⇔ a = ± b a\sim b \Leftrightarrow a=\pm b a∼b⇔a=±b(注意数的整除除对0有特殊的限制)
类似的我们有如下事实:
事实 f ( x ) ∼ g ( x ) ⇔ f ( x ) = c g ( x ) , c ∈ Q ∗ f(x)\sim g(x)\Leftrightarrow f(x)=c g(x),c\in \mathbb{Q}^* f(x)∼g(x)⇔f(x)=cg(x),c∈Q∗
不难发现,相伴其实是相等的一种推广
例1
- x ∼ 2 x x\sim 2x x∼2x
- a ∼ b , a , b ∈ Q ∗ a\sim b,a,b\in\mathbb{Q}^* a∼b,a,b∈Q∗
- x 2 + 2 x + 1 ∼ − 2 x 2 − 4 x − 2 x^2+2x+1\sim -2x^2-4x-2