多项式

多项式（）是代数学中的基础概念，是由称为未知数的变量和称为系数的常数通过有限次加减法、乘法以及自然数幂次的乘方运算得到的代数表达式。多项式是整式的一种。未知数只有一个的多项式称为一元多项式；例如formula_1就是一个三项一元二次多项式。未知数不止一个的多项式称为多元多项式，例如formula_2就是一个三项三元三次多项式，一个多项式有几次取决于最高的那个项的次数（xy属于二次）。
可以写成只由一项构成的多项式也称为单项式。如果一项中不含未知数，则称之为常数项。
多项式在数学的很多分支中乃至许多自然科学以及工程学中都有重要作用。
定义.
给定一个环formula_3（formula_3通常是交换环，可以是有理数、实数或者复数等等）以及一个未知数formula_5，则任何形同：
的代数表达式叫做formula_3上的一元多项式。其中formula_8是formula_3中的元素。未知数不代表任何值，但环formula_3上的所有运算都对它适用。在不至于混淆的情形下，一般将一元多项式简称为多项式。可以证明，两个多项式的和、差与积仍然是多项式，即多项式组成一个环formula_11，称为formula_3上的（一元）多项式环。而所有的二元多项式则可以定义为所有以一元多项式为系数的多项式，即形同
的代数表达式。其中formula_14都是formula_15中的元素。全体这样的表达式也构成一个环，记为formula_16。以此类推，可以定义所有formula_17元多项式集合：formula_18
多项式总可以表示为有限个元素的和，其中每个元素都是未知数与formula_3中一个常数的乘积，这样的元素称为多项式的项，其中的常数称为该项的系数。在formula_20中，多项式的每一项都是形同formula_21的乘积形式。其中formula_22是系数，formula_23被称为formula_24在这一项中的次数。所有formula_23之和称为这一项的次数。比如在以下这一项：
中，系数是formula_27，不定元formula_5的次数是formula_29，formula_30的次数是formula_31，这一项的次数是formula_32。可以写成只由一项构成的多项式也称为单项式。如果一项中不含未知数，则称之为常数项。
次数.
某个未知数formula_33在多项式各项中最大的次数称为多项式中未知数formula_33的次数，拥有这样次数的formula_33的项被称为formula_33的最高次项。所有项的次数中最高的称为多项式的次数。对于一元多项式来说，唯一的未知数的次数也称为多项式的次数，未知数的最高次项也称为多项式的最高次项。
例如多项式：formula_37中formula_38的次数最高，是formula_32，故此多项式的次数为四。因而此多项式可称为三元四次四项式。formula_38称为四次项，formula_41、formula_42称为一次项或线性项，而formula_43是零次项或常数项。
多项式formula_44的次数记作formula_45。约定零多项式没有次数，也没有未知数。常数多项式分为零次多项式（非零常数）和零多项式。一次多项式又称为线性多项式。多项式中的一次项又称为线性项。如果某个多项式的所有项都有相同次数，则称其为齐次多项式。
一个一元多项式被称为首一多项式，如果它的最高次项的系数是formula_3的单位元。
多项式的升幂及降幂排列.
选定一个未知数后，多项式可依各项中该未知数的次数以降序或升序排列。次数从低到高是升幂排列。次数从高到低是降幂排列。例如
是依"X"的次数降幂排列。
多项式的运算.
多项式的加法.
两个多项式相加可以看作是对两组单项式的和进行重组与合并同类项。通过加法结合律，可以将同类项放在一起，合并之后就得到了两个多项式的和。例如以下的两个多项式：
它们的和是：
化简之后得到：
多项式的减法.
例：formula_51、formula_52则
formula_53
多项式乘法.
例如以下的两个多项式：
计算它们的乘积，步骤如下：
化简之后得到：
多项式除法.
和整数之间的带余除法类似。可以证明，设有多项式formula_57和非零多项式formula_58，则存在唯一的多项式formula_59和formula_3，满足：
其中多项式formula_3若非零多项式，则其次数严格小于formula_58的次数。
作为特例，如果要计算某个多项式formula_44除以一次多项式formula_65得到的余多项式，可以直接将formula_22代入到多项式formula_44中。formula_44除以formula_65的余多项式是formula_70。
具体的计算可以使用类似直式除法的方式。例如，计算formula_71除以formula_72，列式如下：
因此，商式是formula_74，余式是formula_75。
多项式的矩阵算法.
乘法.
formula_76
formula_77
除法.
令 formula_78
则formula_79，应用多项式乘法的矩阵算法，越右侧代表越高次项。
formula_80
首先，从高次方作f(x)除以g(x)，求formula_81
formula_82
formula_83
再求formula_84
formula_85
formula_86
MATLAB程式实作
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)
因式分解.
因式分解是指把一个多项式分解成几个（非常数的）多项式的乘积。其中的每一个多项式称为原多项式的因式。因式分解有助于理解多项式的性质，比如根的分布等等。因式分解的结果通常和多项式所在的系数域有关。如果要求因式分解后的每一个因式都在一定的系数域（比如有理数域）里面，那么结果可能和要求它们在另一个系数域（比如说复数域）里不同。比如多项式formula_87在有理数域内分解为：
formula_88
在实数域内则可以进一步分解为：
formula_89
在复数域内还可以再进一步分解：
formula_90
如果给定了系数域，那么在不考虑因式排列顺序的情况下，因式分解是唯一的。如果（在给定的系数域上）一个多项式不能被表示为次数严格比它低的多项式的乘积，就称它为不可约多项式。因式分解一般是指将多项式分解到不可再分的多项式乘积，也就是不可约多项式的乘积，否则称其为不完全的因式分解。
对于一元多项式来说，所有复系数多项式都可以分解成若干个一次因式的乘积，这个结论等价于代数基本定理。所有实系数多项式都可以分解为次数不超过二次的多项式的乘积。比较复杂的是有理数系数多项式的因式分解。首先，给定一个有理系数多项式formula_44，可以将其乘以一个特定的有理数formula_92，将其变成一个整系数多项式，所以有理系数多项式和整系数多项式的因式分解是等价的。如果一个整系数多项式各项系数的最大公约数是formula_31，就称其为本原多项式。不是本原多项式的整系数多项式formula_44，假设其各项系数的最大公约数是formula_95，那么可以将formula_44的因式分解问题转化为本原多项式formula_97的因式分解问题。所以有理数系数和整系数多项式的因式分解都等价于本原多项式的因式分解问题。利用本原多项式可以证明：整系数多项式如果能分解为有理系数多项式的乘积，那么也必然能分解成整系数多项式的乘积。艾森斯坦判别法给出了判定整系数多项式不可约的充分条件。另一个常用的准则与多项式的最高次项系数与常数项系数有关。如果某个多项式formula_98有某个有理数根formula_99（既约形式），那么分子formula_100必然整除常数项系数formula_101，而分母formula_102也必然整除最高次项系数formula_103。
多项式函数.
多项式函数是指给多项式中的不定元赋值的映射。比如说一元多项式函数的普遍形式为：
其中的formula_106是一个formula_107代数，可以是有理数、实数或复数。多项式函数是函数而不是多项式，但多项式函数之间也可以进行像多项式一般的加法、乘法运算，其结果仍旧是多项式函数。所以所有的多项式函数也构成一个环，而且这个环显然和多项式环formula_11同构。
与多元多项式对应的也有多元多项式函数。比如formula_109就是一个与二元多项式对应的二元多项式函数。
所有多项式函数都是光滑函数（无限可微连续函数），因此可以定义其导数、原函数等概念。另外，当每个变量都趋于无穷大（绝对值）的时候，多项式函数的值（绝对值）也趋于无穷大。
如果把（一元）多项式中的所有系数全都约束为formula_110到某个正整数formula_111之间的整数（不包括formula_112），再把formula_113代入多项式函数计算，这其实相当于写出一个formula_112进制整数——按降幂排列，每一项系数（没有则补零）正是对应位置的数字。例如，formula_115可看作formula_116时的formula_117。
多项式方程.
多项式方程是指多项式函数构成的方程。给定多项式formula_98，则对应的多项式函数可以构造方程：
例如：
就是一个多项式方程。
如果某个formula_121使得多项式方程formula_122，那么就称formula_123为多项式方程的解，或多项式函数的一个根或零点。多项式函数的根与多项式有如下关系：如果某个formula_124是多项式函数formula_125的一个根，那么一次多项式formula_126整除多项式formula_44，也就是说存在多项式formula_59，使得：formula_129；反之亦然。如果存在（一般来说大于formula_31的）正整数formula_112，使得formula_132，那么称formula_123是多项式函数的一个formula_112重根。
多项式的根是否存在以及根的数目取决于多项式的系数域以及指定的根所在的域。代数基本定理说明，复系数多项式在复数域内必然有至少一个根。这可以推出，formula_135次多项式函数必定有formula_135个根。这里说的formula_135个根指包括了重根的情况。另外可以证明，奇数次实系数多项式在实数域内至少有一个根。
字典排列法.
formula_138是两个不同的项
若存在i使得formula_139，但formula_140，则formula_141在formula_142前
例如formula_143，这种排列法称为字典排列法。
多项式的分析特性.
多项式函数在分析学中有重要的作用。由于多项式函数有简洁明确的形式，很容易对其进行量化分析。比如，多项式函数
它的导函数是：
它的原函数（族）是：
这个定义可以类比到多项式本身，令多项式中也定义导数的概念。多项式formula_147的导数多项式是：
它的积分多项式则是：
一个formula_135次多项式（formula_135大于等于formula_31）的导数多项式是一个formula_153次多项式。常数多项式的导数多项式是零多项式。它的积分多项式则是一个formula_154次多项式。formula_155和formula_156分别称为多项式的微分算子和积分算子。
任意环上的多项式.
多项式可以推广到系数在任意一个环的情形，请参阅条目多项式环。