查看“︁多項式”︁的源代码

{{NoteTA
|G1 = Math
}}
[[File:Polynomialdeg3.svg|250px|thumb|三次多項式（<math>deg=3</math>）在坐標平面上的圖形]]

{{各種函數}}

'''多项式'''（{{lang-en|Polynomial}}）是[[代数学]]中的基础概念，是由称为未知数的[[变量]]和称为系数的[[常数]]通过有限次[[加法|加减法]]、[[乘法]]以及[[自然数]]幂次的[[乘方]]运算得到的代数[[表达式]]。多项式是[[整式]]的一种。未知数只有一个的多项式称为一元多项式；例如<math>x^2-3x+4</math>就是一个三项一元二次多项式。未知数不止一个的多项式称为多元多项式，例如<math>x^3+2y-3z</math>就是一個三项三元三次多项式，一个多项式有几次取决于最高的那个项的次数。（xy属于二次）

可以写成只由一项构成的多项式也称为[[单项式]]。如果一项中不含未知数，则称之为[[常数项]]。

多项式在数学的很多分支中乃至许多[[自然科学]]以及[[工程学]]中都有重要作用。

== 定義 ==
给定一个[[环 (代数)|环]]<math>R</math>（<math>R</math>通常是[[交换环]]，可以是[[有理数]]、[[实数]]或者[[复数 (数学)|复数]]等等）以及一个未知数<math>X</math>，则任何形同：
:<math> a_0 + a_1 X + \cdots + a_{n - 1} X^{n - 1} + a_n X^n </math>
的代数表达式叫做<math>R</math>上的一元多项式。其中<math>a_0, a_1, \cdots, a_n</math>是<math>R</math>中的元素。未知数不代表任何值，但环<math>R</math>上的所有运算都对它适用。在不至于混淆的情形下，一般将一元多项式简称为多项式。可以证明，两个多項式的和、差与積仍然是多項式，即多項式組成一個環<math>R[X]</math>，稱爲<math>R</math>上的（一元）[[多項式環]]。而所有的二元多项式则可以定义为所有以一元多项式为系数的多项式，即形同
:<math> 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} </math>
的代数表达式。其中<math> p_0(X_1), p_1(X_1) , \cdots ,  p_n (X_1)</math>都是<math>R[X_1]</math>中的元素。全体这样的表达式也构成一个环，记为<math>R[X_1, X_2]</math>。以此类推，可以定义所有<math>m</math>元多項式集合：<math>R[X_1, X_2, \cdots, X_m]</math>

多项式总可以表示为有限个元素的和，其中每个元素都是未知数与<math>R</math>中一个常数的乘积，这样的元素称为多项式的'''项'''，其中的常数称为该项的'''系数'''。在<math> R[X_1,\ldots,X_m] </math>中，多项式的每一项都是形同<math> a X_1^{k_1}X_2^{k_2}\cdots X_m^{k_m} </math>的乘积形式。其中<math>a</math>是系数，<math>k_i</math>被称为<math>X_i</math>在这一项中的次数。所有<math>k_i</math>之和称为这一项的次数。比如在以下这一项：
:<math>-5X^3 Y</math>
中，系数是<math>-5</math>，不定元<math>X</math>的次数是<math>3</math>，<math>Y</math>的次数是<math>1</math>，这一项的次数是<math>4</math>。可以写成只由一项构成的多项式也称为'''单项式'''。如果一项中不含未知数，则称之为常数项。

=== 次數 ===
某个未知数<math>X_s</math>在多项式各项中最大的次数称为多项式中未知数<math>X_s</math>的'''次数'''，拥有这样次数的<math>X_s</math>的项被称为<math>X_s</math>的'''最高次项'''。所有项的次数中最高的称为多项式的'''次数'''。对于一元多项式来说，唯一的未知数的次数也称为多项式的次数，未知数的最高次项也称为多项式的'''最高次项'''。

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

多項式<math>P</math>的次數記作<math>\deg(P)</math>。约定零多项式没有次数，也没有未知数。'''常數多項式'''分為零次多項式（非零常数）和零多項式。一次多項式又稱為'''線性多項式'''。多項式中的一次項又稱為線性項。如果某个多项式的所有项都有相同次数，则称其为'''[[齐次多项式]]'''。

一个一元多项式被称为首一多项式，如果它的最高次项的系数是<math>R</math>的[[单位元]]。

=== 多项式的升幂及降幂排列 ===
选定一个未知数后，多项式可依各项中该未知数的次数以降序或升序排列。次数从低到高是升幂排列。次数从高到低是降幂排列。例如
:<math>\ 2X^5 Y^2 + 7X^3 Y^4 + 8X^1 Y^6 </math>
是依''X''的次数降幂排列。

== 多项式的运算 ==
===多项式的加法===
两个多项式相加可以看作是对两组单项式的和进行重组与合并同类项。通过[[结合律|加法结合律]]，可以将同类项放在一起，合并之后就得到了两个多项式的和<ref name="Edwards-1995-p47">{{cite book|author=Edwards, Harold M.|title=Linear Algebra|publisher=Springer|year=1995|isbn=9780817637316|page=47|url=http://books.google.com/books?id=ylFR4h5BIDEC&pg=PA47|access-date=2014-01-01|archive-date=2014-01-02|archive-url=https://web.archive.org/web/20140102131022/http://books.google.com/books?id=ylFR4h5BIDEC&pg=PA47|dead-url=no}}</ref><ref>{{cite book|author=Salomon, David|title=Coding for Data and Computer Communications|publisher=Springer|year=2006|isbn=9780387238043|page=459|url=http://books.google.com/books?id=Zr9bjEpXKnIC&pg=PA459|access-date=2014-01-01|archive-date=2014-01-02|archive-url=https://web.archive.org/web/20140102130954/http://books.google.com/books?id=Zr9bjEpXKnIC&pg=PA459|dead-url=no}}</ref>。例如以下的两个多项式：
:<math>\begin{align}
 {\color{BrickRed} P} &= {\color{BrickRed} 3X^2 - 2X + 5XY - 2} \\
 {\color{RoyalBlue} Q} &= {\color{RoyalBlue} -3X^2 + 3X + 4Y^2 + 8}
\end{align}</math>
它们的和是：
:<math>{\color{BrickRed} P} + {\color{RoyalBlue} Q} =( {\color{BrickRed} 3X^2 - 2X + 5XY - 2} )\; + \; ({\color{RoyalBlue} -3X^2 + 3X + 4Y^2 + 8}) </math>
化简之後得到：
:<math>P + Q = X + 5XY + 4Y^2 + 6 </math>

=== 多项式的减法 ===
例：<math>P= {\color{Red}36 x^5 + 7 x^4 + 66 x^3 + 36 x^2 +66x + 6} </math>、<math>Q= {\color{Violet}5 x^5 - 73 x^4 -11 x^3 - 11 x^2 + 5 x + 3}</math>則

<math>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 + 77 x^3 + 47 x^2 + 61 x + 3</math>

=== 多项式乘法 ===
例如以下的两个多项式：
:<math>\begin{align}
  \color{BrickRed} P &= \color{BrickRed}{2X + 3Y + 5} \\
  \color{RoyalBlue} Q &= \color{RoyalBlue}{2X + 5Y + XY + 1}
\end{align}</math>

计算它们的乘积，步骤如下：
:<math>\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}</math>
化简之後得到：
:<math>PQ = 4X^2 + 21XY + 2X^2Y + 12X + 15Y^2 + 3XY^2 + 28Y + 5</math>

=== 多项式除法 ===
{{main|综合除法}}
和[[整数]]之间的[[带余除法]]类似。可以证明，设有多项式<math>A</math>和非零多项式<math>B</math>，则存在唯一的多项式<math>Q</math>和<math>R</math>，满足：
:<math>A = BQ + R </math>
其中多项式<math>R</math>若非零多项式，則其次數严格小于<math>B</math>的次數。

作为特例，如果要计算某个多项式<math>P</math>除以一次多项式<math>X-a</math>得到的餘多项式，可以直接将<math>a</math>代入到多项式<math>P</math>中。<math>P</math>除以<math>X-a</math>的餘多项式是<math>P(a)</math>。

具体的计算可以使用类似直式除法的方式。例如，计算<math> X^3 - 12X^2 - 42</math>除以<math>X-3</math>，列式如下：
:<math>
\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}
</math>

因此，商式是<math>\ X^2 - 9X - 27 </math>，餘式是<math>\ -123 </math>。

==多项式的矩阵算法==
===乘法===
<math>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</math>

<math>
\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}
</math>

===除法===
令 <math>f(x)=1-x-2x^2+x^3+3x^4-x^5,g(x)=3-x+x^2-x^3</math>

則<math>f(x)=q(x)g(x)+r(x)</math>，应用多项式乘法的矩阵算法，越右側代表越高次項。

<math>
\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}
</math>

首先，從高次方作f(x)除以g(x)，求<math>
q(x)
</math>

<math>
\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}
</math>

<math>q(x)=-4-2x+x^2</math>

再求<math>
r(x)=f(x)-q(x)g(x)

</math>

<math>
\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}
</math>

<math>r(x)=13+x-3x^2</math><ref>{{cite web|url=http://www.cnki.com.cn/Article/CJFDTOTAL-SYJZ200501021.htm|title=多项式乘除法的矩阵算法|access-date=2015-08-18|archive-date=2019-05-02|archive-url=https://web.archive.org/web/20190502060029/http://www.cnki.com.cn/Article/CJFDTOTAL-SYJZ200501021.htm|dead-url=no}}</ref>


MATLAB程式實作<syntaxhighlight lang="matlab" line="1">
f = [1 -1 -2 1 3 -1];
g = [3 -1 1 -1];
zero_pad = zeros(1, length(f) - length(g));
g = toeplitz([3 zero_pad], [3 -1 1 -1 zero_pad]);

[row_len, col_len] = size(g);
q = f(end - row_len + 1 : end) / g(:, end - row_len + 1 : end)
r = f(1 : end - row_len) - q * g(:, 1 : end - row_len)
</syntaxhighlight>

== 因式分解 ==
{{main|因式分解}}
因式分解是指把一个多项式分解成几个（非常数的）多项式的乘积。其中的每一个多项式称为原多项式的'''因式'''。因式分解有助于理解多项式的性质，比如根的分布等等。因式分解的结果通常和多项式所在的系数域有关。如果要求因式分解後的每一个因式都在一定的系数域（比如[[有理数|有理数域]]）里面，那么结果可能和要求它们在另一个系数域（比如说[[复数 (数学)|复数域]]）里不同。比如多项式<math>P = X^6 -2X^4 + 2X^2 - 1</math>在有理数域内分解为：
<math display=block>P = \left(X+1\right)\left(X-1\right)\left(X^4 -X^2 + 1\right)</math>
在实数域内则可以进一步分解为：
<math display=block>P = \left(X+1\right)\left(X-1\right)\left(X^2 -\sqrt{3} X + 1\right)\left(X^2 + \sqrt{3} X + 1\right)</math>
在复数域内还可以再进一步分解：
<math display=block>P = \left(X+1\right)\left(X-1\right)\left(X - \frac{\sqrt{3} + i}{2}\right)\left(X - \frac{\sqrt{3} - i}{2}\right)\left(X + \frac{\sqrt{3} + i}{2}\right)\left(X + \frac{\sqrt{3} - i}{2}\right)</math>

如果给定了系数域，那么在不考虑因式排列顺序的情况下，因式分解是唯一的。如果（在给定的系数域上）一个多项式不能被表示为次数严格比它低的多项式的乘积，就称它为'''不可约多项式'''。因式分解一般是指将多项式分解到不可再分的多项式乘积，也就是不可约多项式的乘积，否则称其为不完全的因式分解。

对于一元多项式来说，所有复系数多项式都可以分解成若干个一次因式的乘积，这个结论等价于[[代数基本定理]]。所有实系数多项式都可以分解为次数不超过二次的多项式的乘积。比较复杂的是有理数系数多项式的因式分解。首先，给定一个有理系数多项式<math>P</math>，可以将其乘以一个特定的有理数<math>c</math>，将其变成一个整系数多项式，所以有理系数多项式和整系数多项式的因式分解是等价的。如果一个整系数多项式各项系数的[[最大公约数]]是<math>1</math>，就称其为'''本原多项式'''。不是本原多项式的整系数多项式<math>P</math>，假设其各项系数的最大公约数是<math>d</math>，那么可以将<math>P</math>的因式分解问题转化为本原多项式<math>P/d</math>的因式分解问题。所以有理数系数和整系数多项式的因式分解都等价于本原多项式的因式分解问题。利用本原多项式可以证明：整系数多项式如果能分解为有理系数多项式的乘积，那么也必然能分解成整系数多项式的乘积。[[艾森斯坦判别法]]给出了判定整系数多项式不可约的[[充分条件]]。另一个常用的准则与多项式的最高次项系数与常数项系数有关。如果某个多项式<math>P = a_0 + a_1 X + \cdots + a_n X^n</math>有某个有理数根<math>\frac{p}{q}</math>（既约形式），那么分子<math>p</math>必然[[整除]]常数项系数<math>a_0</math>，而分母<math>q</math>也必然整除最高次项系数<math>a_n</math>。

== 多項式函數 ==
多项式函数是指给多项式中的不定元赋值的[[映射]]。比如说一元多项式函数的普遍形式为：
:<math>f_P : \; \; \mathbb{A} \longrightarrow \mathbb{A} </math>
:::<math>x \; \; \mapsto a_0 + a_1 x + \cdots + a_n x^n = P(x) </math>
其中的<math>\mathbb{A}</math>是一个<math>R-</math>代数，可以是有理数、实数或复数。多项式函数是函数而不是多项式，但多项式函数之间也可以进行像多项式一般的加法、乘法运算，其结果仍旧是多项式函数。所以所有的多项式函数也构成一个环，而且这个环显然和多项式环<math>R[X]</math>[[同构]]。

与多元多项式对应的也有多元多项式函数。比如<math>f(x, y) = x^2 + y^2 - 1</math>就是一个与二元多项式对应的二元多项式函数。

所有多项式函数都是[[光滑函数]]（无限可微连续函数），因此可以定义其[[导数]]、[[原函数]]等概念。另外，当每个变量都趋于[[无穷大]]（[[绝对值]]）的时候，多项式函数的值（绝对值）也趋于无穷大。

如果把（一元）多项式中的所有系数全都约束為<math>0</math>到某个正整数<math>k\geq2</math>之間的整数（不包括<math>k</math>），再把<math>x=k</math>代入多项式函数计算，這其實相當於寫出一個<math>k</math>进制整数——按降幂排列，每一项系数（没有则补零）正是对应位置的数字。例如，<math>307</math>可看作<math>x=10</math>时的<math>3x^2+0x+7</math>。

=== 多项式方程 ===
多项式方程是指多项式函数构成的方程。给定多项式<math>P = a_0 + a_1 X + \cdots + a_n X^n</math>，则对应的多项式函数可以构造方程：
:<math>f_P(x) = a_0 + a_1 x + \cdots + a_n x^n = 0</math>。
例如：
:<math>x^3 + 3x - 4 = 0</math>
就是一个多项式方程。

如果某个<math>r \in \mathbb{A}</math>使得多项式方程<math>f_P(r) = 0</math>，那么就称<math>r</math>为多项式方程的'''解'''，或多项式函数的一个'''根'''或'''零点'''。多项式函数的根与多项式有如下关系：如果某个<math>r \in R</math>是多项式函数<math>f_P</math>的一个根，那么一次多项式<math>X - r</math>整除多项式<math>P</math>，也就是说存在多项式<math>Q</math>，使得：<math>P = (X - r)Q</math>；反之亦然。如果存在（一般来说大于<math>1</math>的）正整数<math>k</math>，使得<math>P = (X - r)^k Q</math>，那么称<math>r</math>是多项式函数的一个'''<math>k</math>重根'''。

多项式的根是否存在以及根的数目取决于多项式的系数域以及指定的根所在的域。代数基本定理说明，复系数多项式在复数域内必然有至少一个根。这可以推出，<math>n</math>次多项式函数必定有<math>n</math>个根。这里说的<math>n</math>个根指包括了重根的情况。另外可以证明，奇数次实系数多项式在实数域内至少有一个根。

==字典排列法==
<math>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}</math>是两个不同的项

若存在i使得<math>k_1=l_1,\dots,k_{i-1}=l_{i-1}</math>，但<math>k_i>l_i</math>，则<math>ax_1^{k_1}x_2^{k_2}\dots x_n^{k_n}</math>在<math>bx_1^{l_1}x_2^{l_2}\dots x_n^{l_n}</math>前

例如<math>f(x_1,x_2,x_3,x_4)=x_1^4+3x_1^2x_2^3x_3-x_1^2x_2^3x_4^2+x_3^2x_4</math>，这种排列法称为'''字典排列法'''。<ref>{{cite book|title=高等代数|author=郭龙先, 张毅敏, 何建琼|publisher=科學出版社|year=2011|isbn=9787030315991}}</ref>

== 多項式的分析特性 ==
多项式函数在[[分析学]]中有重要的作用。由于多项式函数有简洁明确的形式，很容易对其进行量化分析。比如，多项式函数
:<math>f_P(x) = a_0+a_1x + \cdots + a_n x^n = \sum_{k=0}^n a_k x^{k}</math>。
它的[[导数|导函数]]是：
:<math>f_P'(x) = a_1 + 2a_2 x + \cdots + n a_n x^{n-1} = \sum_{k=1}^n k  a_k x^{k-1}</math>。
它的[[原函数]]（族）是：
:<math>\int f_P (x) \; \mathrm{d} x = C + a_0x + \frac12 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}</math>。
这个定义可以类比到多项式本身，令多项式中也定义导数的概念。多项式<math>P = a_0+a_1 X + \cdots + a_n X^n</math>的导数多项式是：
:<math>\mathrm{D}( P) =  a_1 + 2a_2 X + \cdots + n a_n X^{n-1} = \sum_{k=1}^n k  a_k X^{k-1}</math>。
它的[[积分]]多项式则是：
:<math>\mathrm{I}(P) = a_0 X + \frac12 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}</math>。
一个<math>n</math>次多项式（<math>n</math>大于等于<math>1</math>）的导数多项式是一个<math>n-1</math>次多项式。常数多项式的导数多项式是零多项式。它的积分多项式则是一个<math>n+1</math>次多项式。<math>\mathrm{D}</math>和<math>\mathrm{I}</math>分别称为多项式的'''微分算子'''和'''积分算子'''。

== 任意環上的多項式 ==
多項式可以推廣到係數在任意一個[[环 (代数)|環]]的情形，請參閱條目[[多項式環]]。

== 参考文献 ==
{{Reflist}}

{{-}}
{{多項式}}

{{Authority control}}

[[Category:多項式| ]]
[[Category:函数]]