Evanalysis
8.1嵌入式互動預計閱讀時間: 14 分鐘

8.1 多項式運算與除法

把多項式定義為有限支撐的形式和,控制次數,證明多項式除法算法,並使用餘式定理與因式定理。

為甚麼多項式需要自己的算術

多項式看似只是 x43x3+2x2+4x1x^4-3x^3+2x^2+4x-1 這類熟悉表達式,但第 8 章會把它 當成一個完整的算術系統來處理。我們不只是代入數值或展開括號,而是要建立 一套足以支持「帶餘除法」、最大公因式、因式分解與後面部分分式分解的語言。

除非特別說明,本章係數都取自 RR。同一套定義也適用於任何域 FF,例如 QQRRCC

多項式作為有限形式和

定義

R 上的多項式

一個實係數多項式是一個形式和

p(x)=i=0aixip(x)=\sum_{i=0}^{\infty}a_ix^i

其中每個 aiRa_i\in R,而且只有有限多個 aia_i 非零。所有實係數多項式的集合 記作 R[x]

「形式」這個字很重要。多項式不是某個單一 x 值下的函數值,而是一整列係數 資料;只要係數固定,整個多項式就固定。

若至少有一個係數非零,p(x) 的次數是使 ai0a_i\ne0 的最大指標 i。若所有 係數都是零,我們稱它為零多項式,並約定

deg(0)=.\deg(0)=-\infty.

這個約定可以令許多次數公式不用一直把零多項式分開處理。

若首項係數是 1,多項式稱為 monic。例如 x34x+7x^3-4x+7 是 monic,而 2x34x+72x^3-4x+7 不是。

常見錯誤

不要只看最後寫出的項就判斷次數

若寫成

p(x)=a0+a1x++anxn,p(x)=a_0+a_1x+\cdots+a_nx^n,

只有在 an0a_n\ne0 時才可斷言 deg(p)=n\deg(p)=n。符號本身不保證最後一個係數非零。

加法、乘法與次數

p(x)=i=0aixi,q(x)=i=0bixi.p(x)=\sum_{i=0}^{\infty}a_ix^i,\qquad q(x)=\sum_{i=0}^{\infty}b_ix^i.

加法是逐項相加:

p(x)+q(x)=i=0(ai+bi)xi.p(x)+q(x)=\sum_{i=0}^{\infty}(a_i+b_i)x^i.

乘法則使用卷積公式:

p(x)q(x)=i=0dixi,di=k=0iakbik.p(x)q(x)=\sum_{i=0}^{\infty}d_ix^i,\qquad d_i=\sum_{k=0}^{i}a_kb_{i-k}.

因為非零係數只有有限多個,乘積仍然是多項式。

定理

次數規則

p(x),q(x)R[x]p(x),q(x)\in R[x]

  1. deg(p+q)max{degp,degq}\deg(p+q)\le \max\{\deg p,\deg q\}
  2. deg(pq)=degp+degq\deg(pq)=\deg p+\deg q

第二條使用了係數域沒有零因子的性質。

第一條可能是嚴格不等式,因為最高次項可以抵消。例如

(x2+1)+(x2+x)=x+1.(x^2+1)+(-x^2+x)=x+1.

乘法規則較強:若 pq 非零且首項係數分別為 ara_rbsb_s,則 pqxr+sx^{r+s} 的係數是 arbsa_rb_s,它不會是零。

多項式除法算法

本節的核心結構結果是整數除法的多項式版本。它說明用非零多項式作除數時, 存在唯一商式與唯一餘式,而且餘式次數小於除式次數。

定理

多項式除法算法

f(x),g(x)R[x]f(x),g(x)\in R[x]g(x)0g(x)\ne0。則存在唯一 q(x),r(x)R[x]q(x),r(x)\in R[x] 使得

f(x)=g(x)q(x)+r(x),degr<degg.f(x)=g(x)q(x)+r(x),\qquad \deg r\lt\deg g.

存在性的證明用最小次數思想。考慮所有 f(x)g(x)s(x)f(x)-g(x)s(x)。若其中有零,餘式就是 零;否則取一個次數最小者。若它的次數仍不小於 degg\deg g,就減去適當的 g(x) 倍數以消去最高次項,得到次數更小的元素,矛盾。

唯一性同樣重要。若

f=gq1+r1=gq2+r2f=gq_1+r_1=gq_2+r_2

且兩個餘式次數都小於 g,則

g(q1q2)=r2r1.g(q_1-q_2)=r_2-r_1.

左邊若非零,次數至少是 degg\deg g;右邊次數嚴格小於 degg\deg g。因此兩邊都必為 零,故 q1=q2q_1=q_2r1=r2r_1=r_2

邊讀邊試

逐步查看多項式長除法

這個 stepper 把本章長除法例題拆成逐步消去最高次項的序列。

步驟 1/5

行變換

建立除法

被除式:x43x3+2x2+4x1x^4-3x^3+2x^2+4x-1;除式:x22x+3x^2-2x+3

商式

尚未有商式項

目前餘式

x43x3+2x2+4x1x^4-3x^3+2x^2+4x-1

要留意甚麼

每一步都選一個商式項,消去目前餘下式子的最高次項。

例題

用二次式除四次式

f(x)=x43x3+2x2+4x1f(x)=x^4-3x^3+2x^2+4x-1

除以

g(x)=x22x+3g(x)=x^2-2x+3

所得的商式與餘式。長除法得到

q(x)=x2x3,r(x)=x+8.q(x)=x^2-x-3,\qquad r(x)=x+8.

所以

x43x3+2x2+4x1=(x22x+3)(x2x3)+(x+8).x^4-3x^3+2x^2+4x-1 =(x^2-2x+3)(x^2-x-3)+(x+8).

由代入取得餘式

當除式是一次式時,除法算法會變成非常實用的定理。

定理

餘式定理

f(x)R[x]f(x)\in R[x]aRa\in R。當 f(x) 除以 xax-a 時,餘式等於 f(a)

因為餘式次數小於 1,它只能是常數 RR。寫成

f(x)=(xa)q(x)+Rf(x)=(x-a)q(x)+R

並代入 x=ax=a,便得 f(a)=Rf(a)=R

定理

因式定理

f(x)R[x]f(x)\in R[x]aRa\in R

(xa)f(x)f(a)=0.(x-a)\mid f(x)\quad\Longleftrightarrow\quad f(a)=0.

因式定理把代數因式與根連起來:一個根給出一個一次因式,而一個一次因式也給出 一個根。

例題

模 x^2-1 的餘式

假設 f(x) 除以 x1x-1 的餘式是 5,除以 x+1x+1 的餘式是 3。求 f(x) 除以 x21x^2-1 的餘式。

餘式定理給出

f(1)=5,f(1)=3.f(1)=5,\qquad f(-1)=3.

除以 x21x^2-1 的餘式次數小於 2,所以設為 ax+bax+b。則

a+b=5,a+b=3.a+b=5,\qquad -a+b=3.

解得 a=1a=1b=4b=4,故餘式是

x+4.x+4.

非零多項式可以有多少個根?

因式定理給出根的數量上界。

定理

根的數量上界

一個 RRCC 上的非零 n 次多項式最多有 n 個根。

證明可對次數歸納。若 f 有根 a,則 f(x)=(xa)q(x)f(x)=(x-a)q(x)degq=degf1\deg q=\deg f-1。除了 a 以外,f 的每個根也會是 q 的根,於是由歸納 假設得到上界。

因此,若一個次數至多 n 的多項式有 n+1n+1 個相異根,它必定是零多項式。

證明思路

多項式除法算法不只是長除法表格,而是一個有存在性與唯一性的定理。存在性可用 「次數下降」來理解。考慮所有 fgsf-gs 這種形式的多項式,若其中有零就完成;否則 選一個次數最小者。若它的次數仍不小於 g 的次數,就可以用 g 的適當倍數消去 它的最高次項,得到同一集合中次數更低的元素,與「最小」矛盾。

唯一性則來自次數比較。若有兩組商式與餘式,同時滿足 f=gq1+r1=gq2+r2f=gq_1+r_1=gq_2+r_2,相減得 g(q1q2)=r2r1g(q_1-q_2)=r_2-r_1。左邊若非零,次數至少是 degg\deg g;右邊因為是兩個合法餘式之差,次數必小於 degg\deg g。兩種要求不能同時 成立,所以兩邊都必為零,商式與餘式唯一。

這個思路會在下一節再次出現。多項式 Euclidean algorithm 能夠停止,是因為每一步 都產生次數嚴格下降的餘式。對多項式而言,次數扮演了整數算法中「大小」的角色: 它可以下降,但不能無限下降。

如何讀多項式長除法

長除法表不應被看成一串神秘排列。它只是重複做「消去最高次項」。在 Example 8.0 中,第一步比較

x4x2=x2.\frac{x^4}{x^2}=x^2.

x2x^2 是因為 x2(x22x+3)x^2(x^2-2x+3) 的最高次項正好是 x4x^4,可以消去被除式的 最高次項。相減後,餘下式子變成 x3x2+4x1-x^3-x^2+4x-1。同樣邏輯給出下一個商式項 x-x,因為 (x3)/x2=x(-x^3)/x^2=-x;再下一步給出 3-3。當餘式變成 x+8x+8 時,它的次數 是 1,已小於除式的 2,所以必須停止。停止條件不是「看起來夠簡單」,而是 定理中的次數條件。

例題

用因式定理決定參數

k,使

x3x-3

整除

f(x)=x3+kx24x+6.f(x)=x^3+kx^2-4x+6.

由因式定理,x3x-3 整除 f(x) 當且僅當 f(3)=0f(3)=0。計算

f(3)=27+9k12+6=21+9k.f(3)=27+9k-12+6=21+9k.

因此 21+9k=021+9k=0,所以

k=219=73.k=-\frac{21}{9}=-\frac73.

重點是:我們不需要真的把三次式除以 x3x-3;因式定理把整除條件轉成一個代入方程。

常見錯誤

常見錯誤

把某一點相等誤當成多項式相等

兩個多項式在某一個 x 值相等,並不代表它們是同一個多項式。要證明多項式相等, 通常要比較所有係數,或證明兩者差的根多於其次數所容許。

常見錯誤

忘記餘式的次數條件

只有 f=gq+rf=gq+r 還不夠。若沒有 degr<degg\deg r\lt\deg g,商式與餘式不會唯一,因為可以把 一個 g 的倍數在 qr 之間移來移去。

總結

本節建立第 8 章後續內容所需的代數基礎。多項式是有限支撐的形式和;次數記錄最高 非零係數的位置,並控制加法、乘法與除法。除法算法給出唯一商式與餘式;餘式定理把 除以 xax-a 轉化為代入 a;因式定理把根與一次因式連起來;根數上界則說明為何 過多相異根會迫使多項式成為零多項式。

練習閱讀指南

做本節練習時,要把三件事分開。第一,代數變形必須保持正在討論的多項式恆等式。 第二,只要出現餘式,就要同時檢查餘式次數是否真的小於除式次數。第三,要分清題目 是在要求計算,還是在要求對一類多項式作一般證明。

關於次數的題目,先檢查最高次項會否抵消。和式的次數規則只給上界;兩個四次多項式 相加後可能變成二次、一次、常數,甚至零。乘積則不同:只要兩個因式都非零,最高次項 的係數相乘仍非零,所以次數會精確相加。

關於餘式與因式定理的題目,不要急著長除。若除式是 xax-a,直接代入 a;若除式是 (x1)(x+1)(x-1)(x+1) 這類乘積,先用次數界限把餘式設成 ax+bax+b,再用根處的函數值決定係數。 而 roots-of-unity 證明題的核心也不是展開大多項式,而是在 ω\omegaω2\omega^2 代入後,把問題化成關於 f(1)g(1) 的兩條線性方程。

快速檢查

快速檢查

為甚麼把零多項式的次數約定為 -\infty

想想涉及加法與乘法的次數公式。

解答

答案

快速檢查

f(x)=x3+2x5f(x)=x^3+2x-5 除以 x2x-2 的餘式是多少?

使用餘式定理。

解答

答案

快速檢查

若一個非零多項式次數至多為 4,它最多可以有多少個相異根?

使用根的數量上界。

解答

答案

Exercises

  1. p(x)=3x4x2+2p(x)=3x^4-x^2+2q(x)=3x4+5x+1q(x)=-3x^4+5x+1。先判斷 p+qp+q 可能的最高次數, 再計算它的實際次數。
  2. x43x3+2x2+4x1x^4-3x^3+2x^2+4x-1 除以 x22x+3x^2-2x+3
  3. 用餘式定理求 x52x2+7x^5-2x^2+7 除以 x+1x+1 的餘式。
  4. 假設 f(1)=5f(1)=5f(1)=3f(-1)=3。重建 fx21x^2-1 的餘式。
  5. 證明投影片 Exercise 8.1:若 F(x)=f(x3)F(x)=f(x^3)G(x)=g(x3)G(x)=g(x^3),且 F(x)+xG(x)F(x)+xG(x) 可被 x2+x+1x^2+x+1 整除,則 f(x)g(x) 都可被 x1x-1 整除。

解答

引導解答

本節掌握 checkpoint

要完成這一節 checkpoint,需要把每一題答對。 答對進度: 0%.

技能點: polynomials, division-algorithm, remainder

在 Example 8.0 中,x43x3+2x2+4x1x^4-3x^3+2x^2+4x-1 除以 x22x+3x^2-2x+3。填上餘式:r(x)=____

已用嘗試次數: 0

剩餘嘗試次數: 不限嘗試次數

預覽不會消耗嘗試次數。

提交會記錄一次正式評分嘗試。

輸入格式提示: 請輸入餘式多項式。

  • 請輸入例如 x+8x+8 的多項式。

技能點: polynomials, factor-theorem, parameters

k,使 x3x-3 整除 x3+kx24x+6x^3+kx^2-4x+6。填上 k=____

已用嘗試次數: 0

剩餘嘗試次數: 不限嘗試次數

預覽不會消耗嘗試次數。

提交會記錄一次正式評分嘗試。

輸入格式提示: 請輸入 k 的值。

  • 請輸入一個有理數。

技能點: polynomials, roots, degree

一個 C[x] 中的多項式次數至多為 5,但有 6 個相異零點。必然有甚麼結論?

已用嘗試次數: 0

剩餘嘗試次數: 不限嘗試次數

預覽不會消耗嘗試次數。

提交會記錄一次正式評分嘗試。

  • 比較根的數量與次數上界。

本單元重點詞彙

Premium learning add-ons

Core notes stay free. Advanced exercises, video explanations, and premium exports are available through paid plans.