Polynomial

**多項式**（英語：Polynomial）是代數學中的基礎概念，是由稱為未知數的變數和稱為係數的常數通過有限次加減法、乘法以及自然數冪次的乘方運算得到的代數表達式。多項式是整式的一種。未知數只有一個的多項式稱為一元多項式；例如 $x^{2}-3x+4$ 就是一個三項一元二次多項式。未知數不止一個的多項式稱為多元多項式，例如 $x^{3}+2y-3z$ 就是一個三項三元三次多項式，一個多項式有幾次取決於最高的那個項的次數。（xy 屬於二次）

可以寫成只由一項構成的多項式也稱為單項式。如果一項中不含未知數，則稱之為常數項。

多項式在數學的很多分支中乃至許多自然科學以及工程學中都有重要作用。

## 定義

給定一個環 $R$ （ $R$ 通常是交換環，可以是有理數、實數或者複數等等）以及一個未知數 $X$ ，則任何形同：

　
: $a_{0}+a_{1}X+\cdots +a_{n-1}X^{n-1}+a_{n}X^{n}$

的代數表達式叫做 $R$ 上的一元多項式。其中 $a_{0},a_{1},\cdots ,a_{n}$ 是 $R$ 中的元素。未知數不代表任何值，但環 $R$ 上的所有運算都對它適用。在不至於混淆的情形下，一般將一元多項式簡稱為多項式。可以證明，兩個多項式的和、差與積仍然是多項式，即多項式組成一個環 $R[X]$ ，稱爲 $R$ 上的（一元）多項式環。而所有的二元多項式則可以定義為所有以一元多項式為係數的多項式，即形同

　
: $p_{0}(X_{1})+p_{1}(X_{1})X_{2}+\cdots +p_{n_{2}-1}(X_{1})X_{2}^{n_{2}-1}+p_{n_{2}}(X_{1})X_{2}^{n_{2}}$

的代數表達式。其中 $p_{0}(X_{1}),p_{1}(X_{1}),\cdots ,p_{n}(X_{1})$ 都是 $R[X_{1}]$ 中的元素。全體這樣的表達式也構成一個環，記為 $R[X_{1},X_{2}]$ 。以此類推，可以定義所有 $m$ 元多項式集合： $R[X_{1},X_{2},\cdots ,X_{m}]$

多項式總可以表示為有限個元素的和，其中每個元素都是未知數與 $R$ 中一個常數的乘積，這樣的元素稱為多項式的**項**，其中的常數稱為該項的**係數**。在 $R[X_{1},\ldots ,X_{m}]$ 中，多項式的每一項都是形同 $aX_{1}^{k_{1}}X_{2}^{k_{2}}\cdots X_{m}^{k_{m}}$ 的乘積形式。其中 $a$ 是係數， $k_{i}$ 被稱為 $X_{i}$ 在這一項中的次數。所有 $k_{i}$ 之和稱為這一項的次數。比如在以下這一項：

　
: $-5X^{3}Y$

中，係數是 $-5$ ，不定元 $X$ 的次數是 $3$ ， $Y$ 的次數是 $1$ ，這一項的次數是 $4$ 。可以寫成只由一項構成的多項式也稱為**單項式**。如果一項中不含未知數，則稱之為常數項。

### 次數

某個未知數 $X_{s}$ 在多項式各項中最大的次數稱為多項式中未知數 $X_{s}$ 的**次數**，擁有這樣次數的 $X_{s}$ 的項被稱為 $X_{s}$ 的**最高次項**。所有項的次數中最高的稱為多項式的**次數**。對於一元多項式來說，唯一的未知數的次數也稱為多項式的次數，未知數的最高次項也稱為多項式的**最高次項**。

例如多項式： $\ XY^{3}+2X+5-0.3c$ 中 $\ XY^{3}$ 的次數最高，是 $4$ ，故此多項式的次數為四。因而此多項式可稱為三元四次四項式。 $\ XY^{3}$ 稱為四次項， $\ 2X$ 、 $-0.3c$ 稱為一次項或**線性項**，而 $5$ 是零次項或常數項。

多項式 $P$ 的次數記作 $\deg(P)$ 。約定零多項式沒有次數，也沒有未知數。**常數多項式**分為零次多項式（非零常數）和零多項式。一次多項式又稱為**線性多項式**。多項式中的一次項又稱為線性項。如果某個多項式的所有項都有相同次數，則稱其為**齊次多項式**。

一個一元多項式被稱為首一多項式，如果它的最高次項的係數是 $R$ 的單位元素。

### 多項式的升冪及降冪排列

選定一個未知數後，多項式可依各項中該未知數的次數以降序或升序排列。次數從低到高是升冪排列。次數從高到低是降冪排列。例如

　
: $\ 2X^{5}Y^{2}+7X^{3}Y^{4}+8X^{1}Y^{6}$

是依 _X_ 的次數降冪排列。

## 多項式的運算

### 多項式的加法

兩個多項式相加可以看作是對兩組單項式的和進行重組與合併同類項。通過加法結合律，可以將同類項放在一起，合併之後就得到了兩個多項式的和。例如以下的兩個多項式：

　
: ${\begin{aligned}{\color {BrickRed}P}&={\color {BrickRed}3X^{2}-2X+5XY-2}\\{\color {RoyalBlue}Q}&={\color {RoyalBlue}-3X^{2}+3X+4Y^{2}+8}\end{aligned}}$

它們的和是：

　
: ${\color {BrickRed}P}+{\color {RoyalBlue}Q}=({\color {BrickRed}3X^{2}-2X+5XY-2})\;+\;({\color {RoyalBlue}-3X^{2}+3X+4Y^{2}+8})$

化簡之後得到：

　
: $P+Q=X+5XY+4Y^{2}+6$

### 多項式的減法

例： $P={\color {Red}36x^{5}+7x^{4}+66x^{3}+36x^{2}+66x+6}$ 、 $Q={\color {Violet}5x^{5}-73x^{4}-11x^{3}-11x^{2}+5x+3}$ 則

$$
P-Q=(36-5)x^{5}+(7+73)x^{4}+(66+11)x^{3}+(36+11)x^{2}+(66-5)x+(6-3)=31x^{5}+80x^{4}+77x^{3}+47x^{2}+61x+3
$$

### 多項式乘法

例如以下的兩個多項式：

　
: ${\begin{aligned}\color {BrickRed}P&=\color {BrickRed}{2X+3Y+5}\\\color {RoyalBlue}Q&=\color {RoyalBlue}{2X+5Y+XY+1}\end{aligned}}$

計算它們的乘積，步驟如下：

　
: ${\begin{array}{rccrcrcrcr}{\color {BrickRed}P}{\color {RoyalBlue}Q}&{=}&&({\color {BrickRed}2X}\cdot {\color {RoyalBlue}2X})&+&({\color {BrickRed}2X}\cdot {\color {RoyalBlue}5Y})&+&({\color {BrickRed}2X}\cdot {\color {RoyalBlue}XY})&+&({\color {BrickRed}2X}\cdot {\color {RoyalBlue}1})\\&&+&({\color {BrickRed}3Y}\cdot {\color {RoyalBlue}2X})&+&({\color {BrickRed}3Y}\cdot {\color {RoyalBlue}5Y})&+&({\color {BrickRed}3Y}\cdot {\color {RoyalBlue}XY})&+&({\color {BrickRed}3Y}\cdot {\color {RoyalBlue}1})\\&&+&({\color {BrickRed}5}\cdot {\color {RoyalBlue}2X})&+&({\color {BrickRed}5}\cdot {\color {RoyalBlue}5Y})&+&({\color {BrickRed}5}\cdot {\color {RoyalBlue}XY})&+&({\color {BrickRed}5}\cdot {\color {RoyalBlue}1})\end{array}}$

化簡之後得到：

　
: $PQ=4X^{2}+21XY+2X^{2}Y+12X+15Y^{2}+3XY^{2}+28Y+5$

### 多項式除法

和整數之間的帶餘除法類似。可以證明，設有多項式 $A$ 和非零多項式 $B$ ，則存在唯一的多項式 $Q$ 和 $R$ ，滿足：

　
: $A=BQ+R$

其中多項式 $R$ 若非零多項式，則其次數嚴格小於 $B$ 的次數。

作為特例，如果要計算某個多項式 $P$ 除以一次多項式 $X-a$ 得到的餘多項式，可以直接將 $a$ 代入到多項式 $P$ 中。 $P$ 除以 $X-a$ 的餘多項式是 $P(a)$ 。

具體的計算可以使用類似直式除法的方式。例如，計算 $X^{3}-12X^{2}-42$ 除以 $X-3$ ，列式如下：

　
: ${\begin{matrix}\qquad \qquad \;X^{2}-\;\;\;\!\!9X\;\,-\;27\\\qquad \quad X-3\;{\overline {)\quad X^{3}-12X^{2}+\;\;0X\;\;\!\!-42}}\\\;\;{\underline {\quad \,X^{3}-\;\;3X^{2}}}\\\qquad \qquad \qquad \;\,-\;\,\,\,9X^{2}+\;\;0X\\\qquad \qquad \qquad {\underline {\;\;\!-\;\,\,\,9X^{2}+27X}}\\\qquad \qquad \qquad \qquad \qquad \qquad \,-\;27X-42\\\qquad \qquad \qquad \qquad \qquad \qquad \,{\underline {-\;27X+81}}\\\qquad \qquad \qquad \qquad \qquad \qquad \qquad \quad \;\,\,-123\end{matrix}}$

因此，商式是 $\ X^{2}-9X-27$ ，餘式是 $\ -123$ 。

## 多項式的矩陣算法

### 乘法

$$
f(x)=\sum _{k=0}^{n}a_{k}x^{k},g(x)=\sum _{k=0}^{m}b_{k}x^{k},f(x)g(x)=\sum _{k=0}^{n+m}c_{k}x^{k}
$$

$$
{\begin{pmatrix}c_{0}&c_{1}&\cdots &c_{n+m}\end{pmatrix}}={\begin{pmatrix}a_{0}&a_{1}&\cdots &a_{n}\end{pmatrix}}{\begin{pmatrix}b_{0}&b_{1}&\cdots &b_{m}&0&\cdots &0\\0&b_{0}&\cdots &b_{m-1}&b_{m}&\cdots &0\\\cdots &\cdots &\cdots &\cdots &\cdots &\cdots &\cdots \end{pmatrix}}
$$

### 除法

 $f(x)=1-x-2x^{2}+x^{3}+3x^{4}-x^{5},g(x)=3-x+x^{2}-x^{3}$ ，f (x) 除以 g (x)

 $f(x)=q(x)g(x)+r(x)$ ，應用多項式乘法的矩陣算法

$$
{\begin{pmatrix}1&-1&-2&1&3&-1\end{pmatrix}}={\begin{pmatrix}q_{0}&q_{1}&q_{2}\end{pmatrix}}{\begin{pmatrix}3&-1&1&-1&0&0\\0&3&-1&1&-1&0\\0&0&3&-1&1&-1\end{pmatrix}}+{\begin{pmatrix}r_{0}&r_{1}&r_{2}&0&0&0\end{pmatrix}}
$$

$$
{\begin{pmatrix}q_{0}&q_{1}&q_{2}\end{pmatrix}}={\begin{pmatrix}1&3&-1\end{pmatrix}}{\begin{pmatrix}-1&0&0\\1&-1&0\\-1&1&-1\end{pmatrix}}^{-1}={\begin{pmatrix}-4&-2&1\end{pmatrix}}
$$

$$
q(x)=-4-2x+x^{2}
$$

$$
{\begin{pmatrix}r_{0}&r_{1}&r_{2}\end{pmatrix}}={\begin{pmatrix}1&-1&-2\end{pmatrix}}-{\begin{pmatrix}-4&-2&1\end{pmatrix}}{\begin{pmatrix}3&-1&1\\0&3&-1\\0&0&3\end{pmatrix}}={\begin{pmatrix}13&1&-3\end{pmatrix}}
$$

$$
r(x)=13+x-3x^{2}
$$

## 因式分解

因式分解是指把一個多項式分解成幾個（非常數的）多項式的乘積。其中的每一個多項式稱為原多項式的**因式**。因式分解有助於理解多項式的性質，比如根的分布等等。因式分解的結果通常和多項式所在的係數域有關。如果要求因式分解後的每一個因式都在一定的係數域（比如有理數體）裡面，那麼結果可能和要求它們在另一個係數域（比如說複數域）里不同。比如多項式 $P=X^{6}-2X^{4}+2X^{2}-1$ 在有理數體內分解為：

　
: $P=(X+1)(X-1)(X^{4}-X^{2}+1)$

在實數體內則可以進一步分解為：

　
: $P=(X+1)(X-1)(X^{2}-{\sqrt {3}}X+1)(X^{2}+{\sqrt {3}}X+1),$

在複數域內還可以再進一步分解：

　
: $P=(X+1)(X-1)(X-{\frac {{\sqrt {3}}+i}{2}})(X-{\frac {{\sqrt {3}}-i}{2}})(X+{\frac {{\sqrt {3}}+i}{2}})(X+{\frac {{\sqrt {3}}-i}{2}})$ 。

如果給定了係數域，那麼在不考慮因式排列順序的情況下，因式分解是唯一的。如果（在給定的係數域上）一個多項式不能被表示為次數嚴格比它低的多項式的乘積，就稱它為**不可約多項式**。因式分解一般是指將多項式分解到不可再分的多項式乘積，也就是不可約多項式的乘積，否則稱其為不完全的因式分解。

對於一元多項式來說，所有複系數多項式都可以分解成若干個一次因式的乘積，這個結論等價於代數基本定理。所有實係數多項式都可以分解為次數不超過二次的多項式的乘積。比較複雜的是有理數係數多項式的因式分解。首先，給定一個有理係數多項式 $P$ ，可以將其乘以一個特定的有理數 $c$ ，將其變成一個整係數多項式，所以有理係數多項式和整係數多項式的因式分解是等價的。如果一個整係數多項式各項係數的最大公因數是 $1$ ，就稱其為**本原多項式**。不是本原多項式的整係數多項式 $P$ ，假設其各項係數的最大公因數是 $d$ ，那麼可以將 $P$ 的因式分解問題轉化為本原多項式 $P/d$ 的因式分解問題。所以有理數係數和整係數多項式的因式分解都等價於本原多項式的因式分解問題。利用本原多項式可以證明：整係數多項式如果能分解為有理係數多項式的乘積，那麼也必然能分解成整係數多項式的乘積。艾森斯坦判別法給出了判定整係數多項式不可約的充分條件。另一個常用的準則與多項式的最高次項係數與常數項係數有關。如果某個多項式 $P=a_{0}+a_{1}X+\cdots +a_{n}X^{n}$ 有某個有理數根 ${\frac {p}{q}}$ （最簡形式），那麼分子 $p$ 必然整除常數項係數 $a_{0}$ ，而分母 $q$ 也必然整除最高次項係數 $a_{n}$ 。

## 多項式函數

多項式函數是指給多項式中的不定元賦值的映射。比如說一元多項式函數的普遍形式為：

　
: $f_{P}:\;\;\mathbb {A} \longrightarrow \mathbb {A} $

　
: : $x\;\;\mapsto a_{0}+a_{1}x+\cdots +a_{n}x^{n}=P(x)$

其中的 $\mathbb {A} $ 是一個 $R-$ 代數，可以是有理數、實數或複數。多項式函數是函數而不是多項式，但多項式函數之間也可以進行像多項式一般的加法、乘法運算，其結果仍舊是多項式函數。所以所有的多項式函數也構成一個環，而且這個環顯然和多項式環 $R[X]$ 同構。

與多元多項式對應的也有多元多項式函數。比如 $f(x,y)=x^{2}+y^{2}-1$ 就是一個與二元多項式對應的二元多項式函數。

所有多項式函數都是光滑函數（無限可微連續函數），因此可以定義其導數、原函數等概念。另外，當每個變數都趨於無窮大（絕對值）的時候，多項式函數的值（絕對值）也趨於無窮大。

如果把（一元）多項式中的所有係數全都約束為 $0$ 到某個正整數 $k\geq 2$ 之間的整數（不包括 $k$ ），再把 $x=k$ 代入多項式函數計算，這其實相當於寫出一個 $k$ 進位整數 —— 按降冪排列，每一項係數（沒有則補零）正是對應位置的數字。例如， $307$ 可看作 $x=10$ 時的 $3x^{2}+0x+7$ 。

### 多項式方程式

多項式方程式是指多項式函數構成的方程式。給定多項式 $P=a_{0}+a_{1}X+\cdots +a_{n}X^{n}$ ，則對應的多項式函數可以構造方程式：

　
: $f_{P}(x)=a_{0}+a_{1}x+\cdots +a_{n}x^{n}=0$ 。

例如：

　
: $x^{3}+3x-4=0$

就是一個多項式方程式。

如果某個 $r\in \mathbb {A} $ 使得多項式方程式 $f_{P}(r)=0$ ，那麼就稱 $r$ 為多項式方程式的**解**，或多項式函數的一個**根**或**零點**。多項式函數的根與多項式有如下關係：如果某個 $r\in R$ 是多項式函數 $f_{P}$ 的一個根，那麼一次多項式 $X-r$ 整除多項式 $P$ ，也就是說存在多項式 $Q$ ，使得： $P=(X-r)Q$ ；反之亦然。如果存在（一般來說大於 $1$ 的）正整數 $k$ ，使得 $P=(X-r)^{k}Q$ ，那麼稱 $r$ 是多項式函數的一個 **$k$ 重根**。

多項式的根是否存在以及根的數目取決於多項式的係數域以及指定的根所在的域。代數基本定理說明，複系數多項式在複數域內必然有至少一個根。這可以推出， $n$ 次多項式函數必定有 $n$ 個根。這裡說的 $n$ 個根指包括了重根的情況。另外可以證明，奇數次實係數多項式在實數體內至少有一個根。

## 字典排列法

 $ax_{1}^{k_{1}}x_{2}^{k_{2}}\dots x_{n}^{k_{n}},bx_{1}^{l_{1}}x_{2}^{l_{2}}\dots x_{n}^{l_{n}}$ 是兩個不同的項

若存在 i 使得 $k_{1}=l_{1},\dots ,k_{i-1}=l_{i-1}$ ，但 $k_{i}>l_{i}$ ，則 $ax_{1}^{k_{1}}x_{2}^{k_{2}}\dots x_{n}^{k_{n}}$ 在 $bx_{1}^{l_{1}}x_{2}^{l_{2}}\dots x_{n}^{l_{n}}$ 前

例如 $f(x_{1},x_{2},x_{3},x_{4})=x_{1}^{4}+3x_{1}^{2}x_{2}^{3}x_{3}-x_{1}^{2}x_{2}^{3}x_{4}^{2}+x_{3}^{2}x_{4}$ ，這種排列法稱為**字典排列法**。

## 多項式的分析特性

多項式函數在分析學中有重要的作用。由於多項式函數有簡潔明確的形式，很容易對其進行量化分析。比如，多項式函數

　
: $f_{P}(x)=a_{0}+a_{1}x+\cdots +a_{n}x^{n}=\sum _{k=0}^{n}a_{k}x^{k}$ 。

它的導函數是：

　
: $f_{P}'(x)=a_{1}+2a_{2}x+\cdots +na_{n}x^{n-1}=\sum _{k=1}^{n}ka_{k}x^{k-1}$ 。

它的原函數（族）是：

　
: $\int f_{P}(x)\;\mathrm {d} x=C+a_{0}x+{\frac {1}{2}}a_{1}x^{2}+\cdots +{\frac {1}{n+1}}a_{n}x^{n+1}=C+\sum _{k=0}^{n}{\frac {1}{k+1}}a_{k}x^{k+1}$ 。

這個定義可以類比到多項式本身，令多項式中也定義導數的概念。多項式 $P=a_{0}+a_{1}X+\cdots +a_{n}X^{n}$ 的導數多項式是：

　
: $\mathrm {D} (P)=a_{1}+2a_{2}X+\cdots +na_{n}X^{n-1}=\sum _{k=1}^{n}ka_{k}X^{k-1}$ 。

它的積分多項式則是：

　
: $\mathrm {I} (P)=a_{0}X+{\frac {1}{2}}a_{1}X^{2}+\cdots +{\frac {1}{n+1}}a_{n}X^{n+1}=\sum _{k=0}^{n}{\frac {1}{k+1}}a_{k}X^{k+1}$ 。

一個 $n$ 次多項式（ $n$ 大於等於 $1$ ）的導數多項式是一個 $n-1$ 次多項式。常數多項式的導數多項式是零多項式。它的積分多項式則是一個 $n+1$ 次多項式。 $\mathrm {D} $ 和 $\mathrm {I} $ 分別稱為多項式的**微分算子**和**積分算子**。

## 任意環上的多項式

多項式可以推廣到係數在任意一個環的情形，請參閱條目多項式環。

## 參考文獻