多項式與方程：尋找零點的千年探索

為什麼一支拋物線能困住整個古典代數

想像你站在橋上，把一顆石子斜斜往前丟出去。它的飛行軌跡是一條優雅的弧線，而「石子何時落地」這個問題，最後會收斂成一道你或許很熟悉的式子：$h(t) = -5t^2 + 20t + 1.5 = 0$。要回答這個問題，你不需要任何物理直覺，只需要會解一個二次方程式（quadratic equation）。

這正是多項式（polynomial）的魔力所在。從砲彈的彈道、貸款的複利、到工程上的訊號濾波，無數看似毫不相干的現象，最後都被「把某個多項式設為零」這件事串連起來。整個古典代數，某種意義上就是人類花了數百年想回答一個問題：給定一個多項式，它在哪裡等於零？ 這篇文章，我們就從這個核心問題出發。

多項式到底是什麼

先把語言講清楚。一個關於變數 $x$ 的多項式，是形如下式的表達式：

$$ p(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0 $$

其中 $a_n, a_{n-1}, \dots, a_0$ 是係數（coefficients），而 $n$（最高次項的指數，且 $a_n \neq 0$）稱為這個多項式的次數（degree）。例如：

• $p(x) = 3x^2 - 5x + 2$ 是二次多項式（degree 2）。
• $q(x) = x^3 - x$ 是三次多項式（degree 3）。
• 常數 $c \neq 0$ 是零次多項式；而 $0$ 本身的次數通常定義為 $-\infty$ 或不定義。

當我們把多項式設為零，$p(x) = 0$，就得到一個多項式方程（polynomial equation）。讓 $p(x) = 0$ 成立的那些 $x$ 值，稱為這個方程的根（root），也就是函數 $p(x)$ 的零點（zero）。

請特別留意一個常被混淆的點：「多項式」是一個表達式或函數，「方程」是一個等式，「根」是滿足等式的數值。三者分屬不同層次，後面的討論會反覆用到這個區分。

因式分解：把乘法反過來看

我們在國中就學過把 $(x-2)(x-3)$ 展開成 $x^2 - 5x + 6$。因式分解（factorization）就是這個過程的逆操作：把一個多項式寫成若干個較低次多項式的乘積。

$$ x^2 - 5x + 6 = (x-2)(x-3) $$

為什麼因式分解如此重要？因為它和「求根」是一體兩面。這裡有一條看似簡單卻極為關鍵的定理：

因式定理（Factor Theorem）：對於多項式 $p(x)$，$x = r$ 是它的根（即 $p(r) = 0$）的充分必要條件是 $(x - r)$ 是 $p(x)$ 的一個因式。

這條定理把「求根」和「分解」直接畫上等號。一旦你能寫出 $p(x) = (x-2)(x-3)$，根就立刻浮現：因為兩數相乘為零，必有其一為零，所以 $x = 2$ 或 $x = 3$。這個「乘積為零則因子為零」的性質，叫做零積性質（zero-product property），是我們解方程時最仰賴的工具。

看一個例子：用配方法導出二次公式

對二次方程 $ax^2 + bx + c = 0$（$a \neq 0$），我們可以用配方法（completing the square）親手把求根公式推導出來，而不是死背。先除以 $a$：

$$ x^2 + \frac{b}{a}x + \frac{c}{a} = 0 $$

把常數項移到右邊，再在兩邊加上 $\left(\dfrac{b}{2a}\right)^2$ 來「湊成完全平方」：

$$ x^2 + \frac{b}{a}x + \left(\frac{b}{2a}\right)^2 = \left(\frac{b}{2a}\right)^2 - \frac{c}{a} $$

左邊現在是一個完全平方：

$$ \left(x + \frac{b}{2a}\right)^2 = \frac{b^2 - 4ac}{4a^2} $$

兩邊開平方，整理後就得到家喻戶曉的二次公式（quadratic formula）：

$$ x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a} $$

根號裡的 $b^2 - 4ac$ 稱為判別式（discriminant），記為 $\Delta$。它不必算出根，就能告訴你根的「性質」：

• $\Delta > 0$：兩個相異實根。
• $\Delta = 0$：一個重根（兩根重合）。
• $\Delta < 0$：兩個共軛複數根，沒有實根。

舉個具體例子，回到開頭的落地問題 $-5t^2 + 20t + 1.5 = 0$。這裡 $a = -5$、$b = 20$、$c = 1.5$，於是

$$ \Delta = 20^2 - 4 \times (-5) \times 1.5 = 400 + 30 = 430 > 0, $$

$$ t = \frac{-20 \pm \sqrt{430}}{2 \times (-5)} = \frac{-20 \pm 20.74}{-10}. $$

兩個解約為 $t \approx -0.07$ 與 $t \approx 4.07$。負的時間沒有物理意義，所以石子在約 $4.07$ 秒後落地。判別式為正告訴我們「確實會落地」，公式則告訴我們「何時落地」。

高次多項式：根藏在哪裡

二次有公式，三次、四次其實也有（雖然繁複），但對於五次以上，故事急轉直下——稍後在研究所視角會揭曉。眼前我們需要更實用的工具來「猜根」與「驗根」。

有理根定理：縮小搜尋範圍

當係數都是整數時，有理根定理（Rational Root Theorem）幫我們把「可能的有理根」限縮成有限個候選。若

$$ p(x) = a_n x^n + \cdots + a_0 $$

有一個有理根 $\dfrac{p}{q}$（已化為最簡分數），則 $p$ 必整除常數項 $a_0$，$q$ 必整除最高次係數 $a_n$。

動手試試：分解一個三次多項式

來分解 $p(x) = x^3 - 6x^2 + 11x - 6$。最高次係數是 $1$、常數項是 $-6$，所以候選有理根是 $\pm 1, \pm 2, \pm 3, \pm 6$。逐一試代：

$$ p(1) = 1 - 6 + 11 - 6 = 0. $$

太好了，$x = 1$ 是一個根，由因式定理知 $(x-1)$ 是因式。用綜合除法（synthetic division）把它除掉：

$$ x^3 - 6x^2 + 11x - 6 = (x - 1)(x^2 - 5x + 6). $$

剩下的二次再分解：$x^2 - 5x + 6 = (x-2)(x-3)$。於是

$$ p(x) = (x-1)(x-2)(x-3), $$

三個根分別是 $x = 1, 2, 3$。注意整個過程的策略：先用有理根定理找出一個根，降次後再處理剩下的低次多項式。這種「逐步降次」是分解高次多項式的標準心法。

根與係數的隱藏關係

當你寫出 $p(x) = (x-1)(x-2)(x-3)$ 再展開回 $x^3 - 6x^2 + 11x - 6$，會發現係數和根之間藏著漂亮的對應：

• 三根之和 $1+2+3 = 6$，恰是 $x^2$ 項係數的相反數。
• 三根兩兩乘積之和 $1\cdot2 + 1\cdot3 + 2\cdot3 = 11$，恰是 $x$ 項係數。
• 三根乘積 $1\cdot2\cdot3 = 6$，恰是常數項的相反數。

這就是韋達定理（Vieta's formulas）。對首一（leading coefficient 為 1）的多項式

$$ x^n + c_{n-1}x^{n-1} + \cdots + c_0, $$

根 $r_1, \dots, r_n$ 滿足：根之和 $= -c_{n-1}$、所有兩兩乘積之和 $= c_{n-2}$、……、所有根之積 $= (-1)^n c_0$。韋達定理讓我們在「不解方程」的情況下，就能掌握根的對稱性質，這在許多競賽題與理論推導裡都極為好用。

重點回顧

• 多項式、方程、根是三個層次：多項式是表達式，把它設為零成為方程，使方程成立的數值即為根。
• 因式定理是橋樑：$x = r$ 是根 $\iff (x-r)$ 是因式。解方程與因式分解本質上是同一件事，靠零積性質連接。
• 二次公式由配方法導出：$x = \dfrac{-b \pm \sqrt{b^2 - 4ac}}{2a}$，判別式 $\Delta = b^2 - 4ac$ 決定根的實虛與重根與否，不需算根即可判斷。
• 高次分解靠逐步降次：用有理根定理縮小候選，找到一根後以綜合除法降次，再處理剩下的低次部分。
• 韋達定理連結根與係數：根的和、兩兩乘積和、總乘積，都能直接從係數讀出，揭示根的對稱結構。

深入探討（研究所視角）

把上面的故事拉高到大學與研究所的層次，會發現它通往幾條極深的脈絡。

代數基本定理（Fundamental Theorem of Algebra）。 我們前面總是擔心「找不到根」，但其實只要把舞台搬到複數域 $\mathbb{C}$，這個擔憂就消失了。代數基本定理斷言：任何次數 $n \geq 1$ 的複係數多項式，在 $\mathbb{C}$ 中恰有 $n$ 個根（重根按重數計）。換言之，每個多項式都能完全分解成一次因式的乘積：

$$ p(x) = a_n (x - r_1)(x - r_2) \cdots (x - r_n), \quad r_i \in \mathbb{C}. $$

「實根可能不存在」只是因為我們把自己困在實數域 $\mathbb{R}$ 裡；複數的引入讓代數變得「完備」。這條定理的所有已知證明，骨子裡都得用到分析或拓樸的工具（例如 Liouville 定理或繞數論證），這暗示了代數、分析、幾何之間出乎意料的深層聯繫。

為什麼五次方程沒有公式：Abel–Ruffini 與 Galois 理論。 二、三、四次方程都有用係數的加減乘除與開根號寫出的「根式解（solution by radicals）」，但 Abel 與 Ruffini 證明了：一般的五次以上方程不存在這樣的公式。Galois 進一步給出了根本理由——他把每個多項式對應到一個置換群（permutation group），即它的根之間的對稱性所構成的 Galois 群。一個方程可用根式求解，當且僅當它的 Galois 群是可解群（solvable group）。對一般五次方程，其 Galois 群是對稱群 $S_5$，而 $S_5$ 不可解（它的關鍵在於 $A_5$ 是非交換的單群）。於是「能不能寫出求根公式」這個極古老的代數問題，最終被翻譯成一個群論問題。這是抽象代數史上最華麗的轉折之一：方程的可解性，竟由對稱性的結構決定。

從根的求解到結構：環、理想與消去理論。 現代觀點不再把多項式僅僅看成「待求根的對象」，而是把所有多項式組成一個環（ring）$\mathbb{R}[x]$ 或 $\mathbb{C}[x]$ 來研究其代數結構。在這個框架下，因式定理升級為「$(x-r)$ 生成一個極大理想」之類的陳述。當變數增加到多個（$\mathbb{C}[x_1, \dots, x_n]$），求解多項式方程組的問題就進入代數幾何（algebraic geometry）的領域：方程組的解集合稱為代數簇（variety），而 Hilbert 的零點定理（Nullstellensatz）建立了「幾何的解集」與「代數的理想」之間的精確字典。今日工程與科學計算裡用來自動求解非線性方程組的 Gröbner 基演算法，正是這套理論的計算化身。

跨領域連結。 多項式求根遠不只是代數內部的遊戲。在數值分析中，求多項式的根等價於求伴隨矩陣（companion matrix）的特徵值——這就是為什麼許多軟體（如數值套件的 roots 函式）其實是在背後解一個特徵值問題：

$$ C = \begin{pmatrix} 0 & 0 & \cdots & -c_0 \\ 1 & 0 & \cdots & -c_1 \\ 0 & 1 & \cdots & -c_2 \\ \vdots & & \ddots & \vdots \\ 0 & 0 & \cdots & -c_{n-1} \end{pmatrix}, $$

其特徵多項式正是 $x^n + c_{n-1}x^{n-1} + \cdots + c_0$。在密碼學中，定義在有限體 $\mathbb{F}_p$ 上的多項式與其根，是橢圓曲線加密與糾錯碼（如 Reed–Solomon code）的數學基石。從一支拋物線的落點，到守護你網路交易的演算法，貫穿其間的，始終是那個最樸素的問題：多項式在哪裡等於零。