数学

多项式

2026-05-29 #多项式#有理根定理

多项式

一、多项式整除

h(x)0h(x) \neq 0f(x)=g(x)h(x)f(x) = g(x) \cdot h(x),则称 g(x)g(x) 整除 f(x)f(x),记作 g(x)f(x)g(x) \mid f(x)

  • g(x)g(x)因式

  • f(x)f(x)倍式

性质f(x)=g(x)h(x)=0g(x)=0f(x) = g(x) \cdot h(x) = 0 \Rightarrow g(x) = 0h(x)=0h(x) = 0

定理k>1k > 1 时,[g(x)]kf(x)[g(x)]k1f(x)[g(x)]^k \mid f(x) \Rightarrow [g(x)]^{k-1} \mid f^{\prime}(x)

因式分解

标准分解式f(x)=cp1r1(x)p2r2(x)psrs(x)f(x) = cp_1^{r_1}(x)p_2^{r_2}(x)\cdots p_s^{r_s}(x),其中pi(x)p^i(x)是不同的首项系数为1不可约多项式。

  • 复系数~:f(x)=a(xa1)l1(xa2)l2(xas)lsf(x) = a(x - a_1)^{l_1}(x - a_2)^{l_2}\cdots (x - a_s)^{l_s}

  • 实系数~:f(x)=a(xc1)l1(xcs)ls(x2+p1x+q1)k1(x2+prx+qr)krf(x) = a(x - c_1)^{l_1}\cdots (x - c_s)^{l_s}(x^2 + p_1x + q_1)^{k_1}\cdots (x^2 + p_rx + q_r)^{k_r}

重因式:设 p(x),f(x)F[x]p(x), f(x) \in F[x],且 p(x)p(x) 为不可约多项式,如果 pk(x)f(x)p^k(x) \mid f(x),而 pk+1(x)f(x)p^{k+1}(x) \nmid f(x),则称 p(x)p(x) 为多项式 f(x)f(x)kk 重因式。

✅重因式和根的关系:f(α)=0    (xα)f(x),(xα)=0f(\alpha)=0 \iff (x-\alpha) \mid f(x), (x-\alpha)=0 ,其中α\alpha就是根。

重因式

定理 4.4.3 如果不可约多项式 p(x)p(x)f(x)f(x)kk 重因式 (k2k \ge 2),那么它是 f(x)f^{\prime}(x)k1k-1 重因式.

推论 4.4.3 不可约多项式 p(x)p(x)f(x)f(x) 的重因式的充分必要条件为 p(x)p(x)f(x)f(x)f(x)f^{\prime}(x) 的公因式.

推论 4.4.4 多项式 f(x)f(x) 没有重因式的充分必要条件是 f(x)f(x)f(x)f^{\prime}(x) 互素.

推论 4.6.1 实数域上的不可约多项式或为一次多项式或为二次多项式:

ax2+bx+c,b24ac<0.ax^2 + bx + c, \quad \text{且} \quad b^2 - 4ac < 0.

有理根定理f(rs)=0f\left(\frac{r}{s}\right) = 0ana_n 是最高次项系数,a0a_0 是常数项,r,s互素,则:

  • sans \mid a_n

  • ra0r \mid a_0

艾森斯坦 (Eisenstein) 判别法f(x)=anxn+an1xn1++a0f(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_0
是一个整系数多项式,如果存在一个素数 pp,使得

(1) panp \nmid a_n;

(2) pan1,an2,,a0p \mid a_{n-1}, a_{n-2}, \cdots, a_0;

(3) p2a0p^2 \nmid a_0,

那么 f(x)f(x) 在有理数域上是不可约的。

例题

例 1. 确定 a,ba, b 使 (x1)2ax4+bx3+1(x-1)^2 \mid ax^4 + bx^3 + 1.

核心:定理 4.4.3

步骤:

  • f(x)f(x)求导

  • 从原式的因式找到根 α\alpha ,令{f(α)=0,f(α)=0.\begin{cases} f(\alpha) = 0, \\ f^{\prime}(\alpha) = 0. \end{cases}

  • 解方程组即可求得答案

解:f(x)=ax4+bx3+1f(x) = ax^4 + bx^3 + 1,则 f(x)=4ax3+3bx2f^{\prime}(x) = 4ax^3 + 3bx^2,由题意
(x1)(x-1)f(x)=ax4+bx3+1f(x) = ax^4 + bx^3 + 1 的二重因式,则 (x1)f(x),(x1)f(x)(x-1) \mid f(x), (x-1) \mid f^{\prime}(x),于是

$$f(1) = 0, \quad f'(1) = 0,$$

$$\begin{cases} a + b + 1 = 0, \\ 4a + 3b = 0. \end{cases}$$

a=3,b=4a = 3, b = -4.

例 2. 求多项式 f(x)=3x4+5x3+x2+5x2f(x) = 3x^4 + 5x^3 + x^2 + 5x - 2 的有理根:

核心:有理根定理

步骤:

  • 列出a0a_{0}ana_{n} 的全部因式

  • a0a_{0} 做分母, ana_{n} 做分子,列出可能的有理根。

  • 将有理根代回原式验算,结果为1的是根。

解.rs\frac{r}{s} 是有理根,则 s3, r2s \mid 3, \ r \mid -2,可能的有理根为 ±1, ±2, ±13, ±23\pm 1, \ \pm 2, \ \pm \frac{1}{3}, \ \pm \frac{2}{3}

验算知 2-213\frac{1}{3} 都是根。

例 3. 判断多项式 x48x3+12x2+2x^4 - 8x^3 + 12x^2 + 2 在有理数域上是否可约:

步骤:

  • 验算 panp \nmid a_npan1,an2,,a0p \mid a_{n-1}, a_{n-2}, \cdots, a_0p2a0p^2 \nmid a_0

  • 全部成立时不可约

解: 取素数 p=2p = 2,则 21, 28,12,0,22 \nmid 1, \ 2 \mid -8, 12, 0, 2,但是 p22p^2 \nmid 2,由艾森斯坦判别法知,该多项式在有理数域上不可约。


返回总目录

评论
分享

评论