主題
Search

多項式根


多項式 P(z) 的根是一個數 z_i,使得 P(z_i)=0代數基本定理指出,一個 多項式 P(z),其次數為 n,有 n 個根,其中一些可能是重根。例如,多項式

 x^3-2x^2-x+2=(x-2)(x-1)(x+1)
(1)

的根是 -1、1 和 2。因此,求多項式的根等價於將多項式 因式分解 為 1 次因式。

任何 多項式 都可以進行數值因式分解,儘管不同的 演算法 有不同的優點和缺點。

多項式方程的根可以在 Wolfram 語言 中使用以下命令精確找到:Roots[lhs==rhs, var],或者使用以下命令進行數值求解:NRoots[lhs==rhs, var]。一般而言,多項式 P(x)=x^n+a_(n-1)x^(n-1)+...+a_0 的給定根表示為Root[#^n+a[n-1]#^(n-1)+...+a[0]&, k],其中 k=1, 2, ..., n 是標識特定根的索引,而純函式多項式是 不可約的。請注意,在 Wolfram 語言 中,根的排序在以下每個命令中都不同Roots, NRoots, 以及Table[Root[p, k], {k, n}]。

Wolfram 語言 中,涉及Root物件的代數表示式可以使用以下命令組合成新的Root物件:RootReduce.

在這項工作中,多項式 P(x) 的第 n 個根在 Wolfram 語言Root物件的排序中表示為 (P(x))_n,其中 x 是一個啞變數。在這種排序中,實根排在復根之前,並且 複共軛 根對是相鄰的。例如,

(x^2+x+1)_1=1/2(-1-isqrt(3))
(2)
(x^2+x+1)_2=1/2(-1+isqrt(3))
(3)

(x^3+x+1)_1 approx -0.68232
(4)
(x^3+x+1)_2 approx 0.34116-1.1615i
(5)
(x^3+x+1)_3 approx 0.34116+1.1615i.
(6)

設多項式

 P(x)=a_nx^n+a_(n-1)x^(n-1)+...+a_1x+a_0
(7)

表示為 r_1r_2、 ...、 r_n。那麼 韋達定理 給出

sum_(i=1)^(n)r_i=-(a_(n-1))/(a_n)
(8)
sum_(i,j; i<j)^(n)r_ir_j=(a_(n-2))/(a_n)
(9)
sum_(i_1,i_2,...,i_k; i_1<i_2<...<i_k)^(n)r_(i_1)r_(i_2)...r_(i_k)=(-1)^k(a_(n-k))/(a_n).
(10)

這些可以透過寫出

 P(x)=a_n(x-r_1)(x-r_2)...(x-r_n),
(11)

展開,然後將係數與 (◇) 進行比較來推匯出來。

給定一個 n 次多項式 a_nx^n+...+a_1x+a_0,可以透過找到 矩陣

 [-a_1/a_0 -a_2/a_0 -a_3/a_0 ... -a_n/a_0; 1 0 0 ... 0; 0 1 0 ... 0; | | 1 ... 0; 0 0 0 ... 0]
(12)

特徵值 lambda_i 來找到 ,並取 r_i=1/lambda_i。這種方法計算量可能很大,但對於查詢接近和多重根非常穩健。

如果 多項式

 d_nx^n+d_(n-1)x^(n-1)+...+d_0=0
(13)

係數 被指定為 整數,那麼有理根的 分子 必須是 d_0 的因子,而 分母 必須是 d_n 的因子(符號可以是正負)。這被稱為 多項式餘數定理

如果一個 多項式 沒有 (可以透過 笛卡爾符號法則 確定),那麼 最大下界 為 0。否則,寫出 係數,設 n=-1,並計算下一行。現在,如果任何 係數 為 0,則將它們設定為負的下一個更高階 係數 的符號,從第二高階 係數 開始。如果所有符號交替,則 n 是最大下界。如果不是,則從 n 中減去 1,並計算另一行。例如,考慮 多項式

 y=2x^4+2x^3-7x^2+x-7.
(14)

執行上述 演算法 然後給出

022-71-7
-120-78-15
--2-1-78-15
-22-2-37-21
-32-45-1435

因此,最大下界是 -3

如果一個 多項式 沒有 (可以透過 笛卡爾符號法則 確定),那麼 最小上界 為 0。否則,寫出 多項式係數,必要時包括零。設 n=1。在下一行,寫出最高階 係數。從第二高階 係數 開始,將 n 乘以剛剛寫出的數字加到原始的第二個 係數,並將其寫在第二個 係數 下面。繼續到零階。如果所有 係數 都是 非負的,則最小上界是 n。如果不是,則將 x 加一,然後再次重複該過程。例如,取 多項式

 y=2x^4-x^3-7x^2+x-7.
(15)

執行上述 演算法 給出

02-1-71-7
121-6-5-12
223-1-1-9
32582568

因此,最小上界 是 3。

PolynomialRoots

在複平面上繪製所有次數不超過某個次數且整數係數的絕對值小於某個截止整數的多項式的根,顯示了上面所示的美麗結構(Trott 2004,第 23 頁)。

PolynomialRootsLoki

透過繪製所有係數為 +/-1 且次數高達 n 的所有多項式的根,可以獲得更令人驚歎的圖形(Borwein 和 Jörgenson 2001;Pickover 2002;Bailey 等人 2007,第 18 頁)。


另請參閱

代數方程, 代數數, Bairstow 方法, Berlekamp-Zassenhaus 演算法, 共軛元素, 笛卡爾符號法則, 高斯根定理, Graeffe 方法, 不可約多項式, Jenkins-Traub 方法, Jensen 定理, Laguerre 方法, Lehmer-Schur 方法, Lucas 根定理, Maehly 程式, Muller 方法, 多項式判別式, 多項式因式分解, 結式, , 韋達定理

相關的 Wolfram 站點

http://functions.wolfram.com/ElementaryFunctions/Root/

使用 探索

參考文獻

Bailey, D. H.; Borwein, J. M.; Calkin, N. J.; Girgensohn, R.; Luke, D. R.; 和 Moll, V. H. Experimental Mathematics in Action. Wellesley, MA: A K Peters, 2007.Bharucha-Reid, A. T. 和 Sambandham, M. Random Polynomials. New York: Academic Press, 1986.Borwein, P. 和 Jörgenson, L. "Visible Structures in Number Theory." Amer. Math. Monthly 108, 897-911, 2001.Borwein, P. Computational Excursions in Analysis and Number Theory. New York: Springer-Verlag, 2002.Odlyzko, A. M.; 和 Poonen, B. "Zeros of Polynomials with 0,1 Coefficients." L'Enseignement Math. 39, 317-348, 1993.Pan, V. Y. "Solving a Polynomial Equation: Some History and Recent Progress." SIAM Rev. 39, 187-220, 1997.Pickover, C. A. The Mathematics of Oz: Mental Gymnastics from Beyond the Edge. New York: Cambridge University Press, pp. 286-287, 2002.Trott, M. The Mathematica GuideBook for Programming. New York: Springer-Verlag, 2004. http://www.mathematicaguidebooks.org/.

在 上被引用

多項式根

請這樣引用

Weisstein, Eric W. "Polynomial Roots." 來自 --一個 資源。 https://mathworld.tw/PolynomialRoots.html

學科分類