多項式是代數學中的基礎概念，是由稱為未知數的變數和稱為係數的常數透過有限次加減法、乘法以及自然數冪次的乘方運算得到的代數表示式。多項式是整式的一種。未知數只有一個的多項式稱為一元多項式；例如 x23x4 就是一個三項一元二次多項式。未知數不止一個的多項式稱為多元多項式，例如 x32y3z 就是一個三項三元三次多項式，一個多項式有幾次取決於最高的那個項的次數。（xy 屬於二次） 可以寫成只由一項構成的多項式也稱為單項式。如果一項中不含未知數，則稱之為常數項。 多項式在數學的很多分支中乃至許多自然科學以及工程學中都有重要作用。 定義 給定一個環 R（R 通常是交換環，可以是有理數、實數或者複數等等）以及一個未知數 X，則任何形同： a_0 a_1 X cdots a_n 1 Xn 1 a_n Xn 的代數表示式叫做 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 1X_1 X_2n_2 1 p_n_2 X_1 X_2n_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_1ldotsX_m 中，多項式的每一項都是形同 a X_1k_1 X_2k_2cdots X_mk_m 的乘積形式。其中 a 是係數，k_i 被稱為 X_i 在這一項中的次數。所有 k_i 之和稱為這一項的次數。比如在以下這一項： 5X3 Y 中，係數是 5，不定元 X 的次數是 3，Y 的次數是 1，這一項的次數是 4。可以寫成只由一項構成的多項式也稱為單項式。如果一項中不含未知數，則稱之為常數項。 次數 某個未知數 X_s 在多項式各項中最大的次數稱為多項式中未知數 X_s 的次數，擁有這樣次數的 X_s 的項被稱為 X_s 的最高次項。所有項的次數中最高的稱為多項式的次數。對於一元多項式來說，唯一的未知數的次數也稱為多項式的次數，未知數的最高次項也稱為多項式的最高次項。 例如多項式： XY32X503c 中 XY3 的次數最高，是 4，故此多項式的次數為四。因而此多項式可稱為三元四次四項式。 XY3 稱為四次項， 2X 、 03c 稱為一次項或線性項，而 5 是零次項或常數項。 多項式 P 的次數記作 deg P。約定零多項式沒有次數，也沒有未知數。常數多項式分為零次多項式（非零常數）和零多項式。一次多項式又稱為線性多項式。多項式中的一次項又稱為線性項。如果某個多項式的所有項都有相同次數，則稱其為齊次多項式。 一個一元多項式被稱為首一多項式，如果它的最高次項的係數是 R 的單位元。 多項式的升冪及降冪排列 選定一個未知數後，多項式可依各項中該未知數的次數以降序或升序排列。次數從低到高是升冪排列。次數從高到低是降冪排列。例如 2X5 Y2 7X3 Y4 8X1 Y6 是依 X 的次數降冪排列。 多項式的運算 多項式的加法 兩個多項式相加可以看作是對兩組單項式的和進行重組與合併同類項。透過加法結合律，可以將同類項放在一起，合併之後就得到了兩個多項式的和。例如以下的兩個多項式： begin align color BrickRed P color BrickRed 3X2 2X 5XY 2 color RoyalBlue Q color RoyalBlue 3X2 3X 4Y2 8 end align 它們的和是： color BrickRed P color RoyalBlue Q color BrickRed 3X2 2X 5XY 2 color RoyalBlue 3X2 3X 4Y2 8 化簡之後得到： P Q X 5XY 4Y2 6 多項式的減法 例：P color Red 36 x5 7 x4 66 x3 36 x2 66x 6 、Q color Violet 5 x5 73 x4 11 x3 11 x2 5 x 3 則 P Q 365 x5 773 x4 6611 x3 3611 x2 665 x 63 31x5 80x4 77 x3 47 x2 61 x 3 多項式乘法 例如以下的兩個多項式： begin align color BrickRed P color BrickRed2X 3Y 5 color RoyalBlue Q color RoyalBlue2X 5Y XY 1 end align 計算它們的乘積，步驟如下： begin arrayrccrcrcrcr color BrickRed Pcolor RoyalBlue Qcolor BrickRed 2Xcdot color RoyalBlue 2X color BrickRed 2Xcdot color RoyalBlue 5Ycolor BrickRed 2Xcdot color RoyalBlue XYcolor BrickRed 2Xcdot color RoyalBlue 1 color BrickRed 3Ycdot color RoyalBlue 2Xcolor BrickRed 3Ycdot color RoyalBlue 5Ycolor BrickRed 3Ycdot color RoyalBlue XY color BrickRed 3Ycdot color RoyalBlue 1 color BrickRed 5cdot color RoyalBlue 2Xcolor BrickRed 5cdot color RoyalBlue 5Y color BrickRed 5cdot color RoyalBlue XYcolor BrickRed 5cdot color RoyalBlue 1 end array 化簡之後得到： PQ 4X2 21XY 2X2Y 12X 15Y2 3XY2 28Y 5 多項式除法 和整數之間的帶餘除法類似。可以證明，設有多項式 A 和非零多項式 B，則存在唯一的多項式 Q 和 R，滿足： A BQ R 其中多項式 R 若非零多項式，則其次數嚴格小於 B 的次數。 作為特例，如果要計算某個多項式 P 除以一次多項式 Xa 得到的餘多項式，可以直接將 a 代入到多項式 P 中。P 除以 Xa 的餘多項式是 P a。 具體的計算可以使用類似直式除法的方式。例如，計算 X3 12X2 42 除以 X3，列式如下： begin matrix qquadqquadX29X27 qquadquad X3overline quad X3 12X2 0X 42 underline quadX3 3X2 qquadqquadqquad9X2 0X qquadqquadqquadunderline 9X2 27X qquadqquadqquadqquadqquadqquad27X 42 qquadqquadqquadqquadqquadqquadunderline 27X 81 qquadqquadqquadqquadqquadqquadqquadquad 123end matrix 因此，商式是 X2 9X 27 ，餘式是 123 。 多項式的矩陣演算法 乘法 f xsum_k0n a_k xkg xsum_k0m b_k xkf x g xsum_k0nm c_k xk begin pmatrix c_0 c_1 cdots c_nmend pmatrix begin pmatrix a_0 a_1 cdots a_nend pmatrix begin pmatrix b_0 b_1 cdots b_m 0 cdots 0 0 b_0 cdots b_m1 b_m cdots 0 cdots cdots cdots cdots cdots cdots cdots end pmatrix 除法 令 f x1x2x2x33x4x5g x3xx2x3 則 f xq x g xr x，應用多項式乘法的矩陣演算法，越右側代表越高次項。 begin pmatrix 1 1 2 1 3 1end pmatrix begin pmatrix q_0 q_1 q_2end 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 0end pmatrix 首先，從高次方作 f x 除以 g x，求 q x begin pmatrix q_0 q_1 q_2end pmatrix begin pmatrix 1 3 1end pmatrix begin pmatrix 1 0 0 1 1 0 1 1 1 end pmatrix1 begin pmatrix 4 2 1end pmatrix q x42xx2 再求 r xf xq x g x begin pmatrix r_0 r_1 r_2end pmatrix begin pmatrix 1 1 2end pmatrix begin pmatrix 4 2 1end pmatrix begin pmatrix 3 1 1 0 3 1 0 0 3 end pmatrix begin pmatrix 13 1 3end pmatrix r x13x3x2 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 因式分解 因式分解是指把一個多項式分解成幾個（非常數的）多項式的乘積。其中的每一個多項式稱為原多項式的因式。因式分解有助於理解多項式的性質，比如根的分佈等等。因式分解的結果通常和多項式所在的係數域有關。如果要求因式分解後的每一個因式都在一定的係數域（比如有理數域）裡面，那麼結果可能和要求它們在另一個係數域（比如說複數域）裡不同。比如多項式 P X6 2X4 2X2 1 在有理數域內分解為： P left X1rightleft X1rightleft X4 X2 1right 在實數域內則可以進一步分解為： P left X1rightleft X1rightleft X2 sqrt 3 X 1rightleft X2 sqrt 3 X 1right 在複數域內還可以再進一步分解： P left X1rightleft X1rightleft X frac sqrt 3 i2rightleft X frac sqrt 3 i2rightleft X frac sqrt 3 i2rightleft X frac sqrt 3 i2right 如果給定了係數域，那麼在不考慮因式排列順序的情況下，因式分解是唯一的。如果（在給定的係數域上）一個多項式不能被表示為次數嚴格比它低的多項式的乘積，就稱它為不可約多項式。因式分解一般是指將多項式分解到不可再分的多項式乘積，也就是不可約多項式的乘積，否則稱其為不完全的因式分解。 對於一元多項式來說，所有復係數多項式都可以分解成若干個一次因式的乘積，這個結論等價於代數基本定理。所有實係數多項式都可以分解為次數不超過二次的多項式的乘積。比較複雜的是有理數係數多項式的因式分解。首先，給定一個有理係數多項式 P，可以將其乘以一個特定的有理數 c，將其變成一個整係數多項式，所以有理係數多項式和整係數多項式的因式分解是等價的。如果一個整係數多項式各項係數的最大公約數是 1，就稱其為本原多項式。不是本原多項式的整係數多項式 P，假設其各項係數的最大公約數是 d，那麼可以將 P 的因式分解問題轉化為本原多項式 Pd 的因式分解問題。所以有理數係數和整係數多項式的因式分解都等價於本原多項式的因式分解問題。利用本原多項式可以證明：整係數多項式如果能分解為有理係數多項式的乘積，那麼也必然能分解成整係數多項式的乘積。艾森斯坦判別法給出了判定整係數多項式不可約的充分條件。另一個常用的準則與多項式的最高次項係數與常數項係數有關。如果某個多項式 P a_0 a_1 X cdots a_n Xn 有某個有理數根 frac pq（既約形式），那麼分子 p 必然整除常數項係數 a_0，而分母 q 也必然整除最高次項係數 a_n。 多項式函式 多項式函式是指給多項式中的不定元賦值的對映。比如說一元多項式函式的普遍形式為： f_P mathbb A longrightarrow mathbb A x mapsto a_0 a_1 x cdots a_n xn P x 其中的 mathbb A 是一個 R 代數，可以是有理數、實數或複數。多項式函式是函式而不是多項式，但多項式函式之間也可以進行像多項式一般的加法、乘法運算，其結果仍舊是多項式函式。所以所有的多項式函式也構成一個環，而且這個環顯然和多項式環 R X 同構。 與多元多項式對應的也有多元多項式函式。比如 f x y x2 y2 1 就是一個與二元多項式對應的二元多項式函式。 所有多項式函式都是光滑函式（無限可微連續函式），因此可以定義其導數、原函式等概念。另外，當每個變數都趨於無窮大（絕對值）的時候，多項式函式的值（絕對值）也趨於無窮大。 如果把（一元）多項式中的所有係數全都約束為 0 到某個正整數 kgeq2 之間的整數（不包括 k），再把 xk 代入多項式函式計算，這其實相當於寫出一個 k 進位制整數 按降冪排列，每一項係數（沒有則補零）正是對應位置的數字。例如，307 可看作 x10 時的 3x20x7。 多項式方程 多項式方程是指多項式函式構成的方程。給定多項式 P a_0 a_1 X cdots a_n Xn，則對應的多項式函式可以構造方程： f_P x a_0 a_1 x cdots a_n xn 0。 例如： x3 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 rk Q，那麼稱 r 是多項式函式的一個 k 重根。 多項式的根是否存在以及根的數目取決於多項式的係數域以及指定的根所在的域。代數基本定理說明，復係數多項式在複數域內必然有至少一個根。這可以推出，n 次多項式函式必定有 n 個根。這裡說的 n 個根指包括了重根的情況。另外可以證明，奇數次實係數多項式在實數域內至少有一個根。 字典排列法 ax_1k_1 x_2k_2dots x_nk_nbx_1l_1 x_2l_2dots x_nl_n 是兩個不同的項 若存在 i 使得 k_1l_1dotsk_i1l_i1，但 k_il_i，則 ax_1k_1 x_2k_2dots x_nk_n 在 bx_1l_1 x_2l_2dots x_nl_n 前 例如 f x_1x_2x_3x_4x_143x_12x_23x_3x_12x_23x_42x_32x_4，這種排列法稱為字典排列法。 多項式的分析特性 多項式函式在分析學中有重要的作用。由於多項式函式有簡潔明確的形式，很容易對其進行量化分析。比如，多項式函式 f_P x a_0a_1x cdots a_n xn sum_k0n a_k xk。 它的導函式是： f_Px a_1 2a_2 x cdots n a_n xn1 sum_k1n k a_k xk1。 它的原函式（族）是： int f_P x mathrm d x C a_0x frac12 a_1 x2 cdots frac 1n1 a_n xn1 C sum_k0n frac 1k1 a_k xk1。 這個定義可以類比到多項式本身，令多項式中也定義導數的概念。多項式 P a_0a_1 X cdots a_n Xn 的導數多項式是： mathrm DP a_1 2a_2 X cdots n a_n Xn1 sum_k1n k a_k Xk1。 它的積分多項式則是： mathrm IP a_0 X frac12 a_1 X2 cdots frac 1n1 a_n Xn1 sum_k0n frac 1k1 a_k Xk1。 一個 n 次多項式（n 大於等於 1）的導數多項式是一個 n1 次多項式。常數多項式的導數多項式是零多項式。它的積分多項式則是一個 n1 次多項式。mathrm D 和 mathrm I 分別稱為多項式的微分運算元和積分運算元。 任意環上的多項式 多項式可以推廣到係數在任意一個環的情形，請參閱條目多項式環。 參考文獻 Category 函式