數系與數論初步：從數羊到守護密碼的質數

為什麼有些方程式，宇宙就是不准你解？

想像你在課堂上玩一個遊戲：我給你一個方程式，你只准用「目前手上的數」來回答。我們從最樸素的工具開始——只有 $1, 2, 3, \dots$ 這些用來數羊、數人頭的自然數（natural numbers）。

我問你：$x + 3 = 5$。簡單，$x = 2$。

我再問：$x + 5 = 3$。你卡住了。在自然數的世界裡，這個方程式無解——因為答案要是 $-2$，而負數還沒被「發明」出來。

數系（number systems）的整部歷史，幾乎就是人類一次又一次被方程式逼到牆角，然後被迫擴張數的疆界的故事。每一次「無解」的窘境，都催生出一種新的數。這篇文章，我們就沿著這條被方程式逼出來的路，從自然數一路走到複數，再潛入整除與質數那個既古老又前沿的離散世界。

數系的層層擴張：每一層都在補一個洞

讓我們把這趟旅程整理成一個清楚的包含關係：

$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$

每一個符號代表一次擴張，而每一次擴張都在回應一個「原本做不到」的運算。

自然數 $\mathbb{N}$：用來計數的 $\{1, 2, 3, \dots\}$（有些教科書把 $0$ 也納入，這是約定問題，無關對錯）。在這裡加法與乘法暢通無阻，但減法會出事。

整數 $\mathbb{Z}$：為了讓 $x + 5 = 3$ 有解，我們補上負數與零，得到 $\{\dots, -2, -1, 0, 1, 2, \dots\}$。符號 $\mathbb{Z}$ 來自德文 Zahlen（數）。現在加減乘都封閉了，但除法還是會出事。

有理數 $\mathbb{Q}$：為了讓 $2x = 1$ 有解，我們補上分數，得到所有可寫成 $\frac{p}{q}$（$p, q \in \mathbb{Z}$，$q \neq 0$）的數。符號 $\mathbb{Q}$ 來自 Quotient（商）。現在四則運算（除以零除外）全部封閉，看似完美——直到畢達哥拉斯學派發現了一件令人不安的事。

實數 $\mathbb{R}$：邊長為 $1$ 的正方形，對角線長是多少？由畢氏定理，$x^2 = 1^2 + 1^2 = 2$，所以 $x = \sqrt{2}$。但 $\sqrt{2}$ 無法寫成任何分數——它是無理數（irrational number）。

小證明（反證法）：假設 $\sqrt{2} = \frac{p}{q}$ 且為最簡分數（$p, q$ 互質）。兩邊平方得 $2q^2 = p^2$，所以 $p^2$ 是偶數，故 $p$ 是偶數，寫 $p = 2k$。代回得 $2q^2 = 4k^2$，即 $q^2 = 2k^2$，所以 $q$ 也是偶數。但 $p, q$ 同時是偶數，與「最簡分數」矛盾。故 $\sqrt{2}$ 不是有理數。$\blacksquare$

把有理數與無理數合起來，就是實數 $\mathbb{R}$，對應數線上每一個點。現在連續性的洞補好了，但還有最後一道牆。

複數 $\mathbb{C}$：方程式 $x^2 + 1 = 0$ 在實數中無解，因為沒有任何實數平方後會是負的。於是我們大膽定義一個新數 $i$，滿足 $i^2 = -1$，所有形如 $a + bi$（$a, b \in \mathbb{R}$）的數就構成複數 $\mathbb{C}$。看似憑空捏造，卻成了現代物理與工程不可或缺的語言。

整除：離散世界的第一塊基石

當我們把目光從「連續的數線」轉回「一顆一顆的整數」，就進入了數論（number theory）的地盤。這裡最核心的關係不是大小，而是整除（divisibility）。

我們說整數 $a$ 整除 $b$（記作 $a \mid b$），意思是存在整數 $k$ 使得 $b = a \cdot k$。例如 $3 \mid 12$，因為 $12 = 3 \times 4$；但 $3 \nmid 7$。

即使不能整除，我們仍有帶餘除法（division algorithm）這個強力工具：對任意整數 $a$ 與正整數 $b$，存在唯一的商 $q$ 與餘數 $r$，使得

$$a = bq + r, \qquad 0 \le r < b.$$

例如 $17 = 5 \times 3 + 2$，這裡 $q = 3$、$r = 2$。餘數被牢牢限制在 $0$ 到 $b-1$ 之間——這個看似平凡的限制，正是後面所有模運算與密碼學的源頭。

質數：數的原子

在整除關係下，有一群數特別「孤僻」：除了 $1$ 和自己以外，沒有任何正整數能整除它們。這就是質數（prime number）：$2, 3, 5, 7, 11, 13, \dots$。其餘大於 $1$ 的整數稱為合數（composite number）。

（注意常見迷思：$1$ 不是質數。把 $1$ 排除在外不是任意規定，而是為了讓下面這條定理成立。）

算術基本定理（Fundamental Theorem of Arithmetic）告訴我們：每個大於 $1$ 的整數，都可以唯一地分解成質數的乘積（不計次序）。例如：

$$360 = 2^3 \times 3^2 \times 5.$$

這就是為什麼質數被稱為「數的原子」——任何整數都是質數搭出來的，而且搭法唯一。若我們把 $1$ 也算質數，唯一性就毀了（$6 = 2\times 3 = 1 \times 2 \times 3 = \dots$），這正是 $1$ 被排除的理由。

質數有多少個？答案是無窮多，這是歐幾里得（Euclid）兩千多年前就證明的：

假設質數只有有限個 $p_1, p_2, \dots, p_n$。考慮 $N = p_1 p_2 \cdots p_n + 1$。$N$ 除以任何一個 $p_i$ 都餘 $1$，所以 $N$ 不被任何已知質數整除。那麼 $N$ 要嘛本身是新質數，要嘛有一個不在清單上的質因數——無論哪種情況，都與「質數只有這 $n$ 個」矛盾。$\blacksquare$

看一個例子：用輾轉相除法求最大公因數

求兩數的最大公因數（greatest common divisor, GCD）有個不必先做質因數分解的高效方法——歐幾里得演算法（Euclidean algorithm），核心就是反覆使用帶餘除法。

我們來算 $\gcd(252, 198)$：

$$ \begin{aligned} 252 &= 1 \times 198 + 54 \\ 198 &= 3 \times 54 + 36 \\ 54 &= 1 \times 36 + 18 \\ 36 &= 2 \times 18 + 0 \end{aligned} $$

當餘數變成 $0$ 時，前一步的餘數就是答案：$\gcd(252, 198) = 18$。

它為什麼有效？關鍵性質是 $\gcd(a, b) = \gcd(b, r)$，其中 $r$ 是 $a$ 除以 $b$ 的餘數。因為任何同時整除 $a$ 與 $b$ 的數，必定也整除 $r = a - bq$，反之亦然，所以兩組公因數完全一樣，最大者自然相等。每做一步餘數嚴格變小，最終必停在 $0$，因此演算法保證終止。

動手試試：模運算與時鐘

請你思考：現在是 $14$ 點，再過 $25$ 小時是幾點？

你會自然地算 $14 + 25 = 39$，然後 $39 - 24 = 15$，得到 $15$ 點。你剛剛做的，就是模運算（modular arithmetic）：

$$14 + 25 \equiv 15 \pmod{24}.$$

記號 $a \equiv b \pmod{m}$ 讀作「$a$ 與 $b$ 對模 $m$ 同餘」，意思是 $m \mid (a - b)$，也就是兩者除以 $m$ 餘數相同。時鐘是模 $12$ 或模 $24$，星期是模 $7$。

再試一題：今天星期六，$100$ 天後是星期幾？把星期日到星期六編號 $0$ 到 $6$，星期六是 $6$。計算 $6 + 100 = 106$，而 $106 = 7 \times 15 + 1$，所以 $106 \equiv 1 \pmod 7$，對應星期一。模運算讓「繞圈圈」的計算變得乾淨俐落。

重點回顧

• 數系是被方程式逼出來的：$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$，每次擴張都是為了讓某類原本無解的方程式有解（減法 $\to \mathbb{Z}$，除法 $\to \mathbb{Q}$，開方/連續性 $\to \mathbb{R}$，$x^2 = -1 \to \mathbb{C}$）。
• 帶餘除法是離散數論的引擎：$a = bq + r$ 且 $0 \le r < b$，商與餘數唯一存在。
• 質數是數的原子：由算術基本定理，每個大於 $1$ 的整數都有唯一的質因數分解；$1$ 不是質數正是為了保住這個唯一性。
• 質數有無窮多個（歐幾里得證明），且歐幾里得演算法能不靠分解就快速求出 GCD。
• 模運算把「循環」結構數學化（$a \equiv b \pmod m$），是時鐘、星期，乃至現代密碼學的共同語言。

深入探討（研究所視角）

從研究所的角度回望，這篇文章的每個概念都是更深層結構的入口。

從數系到代數結構。 抽象代數（abstract algebra）告訴我們，$\mathbb{Z}$ 之所以「乖巧」，是因為它是一個整環（integral domain）；$\mathbb{Q}, \mathbb{R}, \mathbb{C}$ 則是體（field）——每個非零元素都有乘法反元素。$\mathbb{C}$ 還有個無可取代的地位：代數基本定理（Fundamental Theorem of Algebra）說，任何 $n$ 次多項式 $p(z) = a_n z^n + \dots + a_0$（$a_n \neq 0$）在 $\mathbb{C}$ 中恰有 $n$ 個根（計重數）。也就是說，數系擴張到 $\mathbb{C}$ 之後，「方程式無解」的窘境永遠消失了——$\mathbb{C}$ 是代數封閉（algebraically closed）的。我們不需要再發明任何新數。這也解釋了複數的歐拉公式 $e^{i\theta} = \cos\theta + i\sin\theta$ 為何能優雅統一三角、指數與旋轉。

模運算的真身：商環。 同餘關係 $a \equiv b \pmod m$ 把 $\mathbb{Z}$ 切成 $m$ 個等價類，構成商環 $\mathbb{Z}/m\mathbb{Z}$。一個深刻的事實是：$\mathbb{Z}/m\mathbb{Z}$ 是體，若且唯若 $m$ 是質數。當 $m = p$ 為質數時，每個非零元素 $a$ 都存在乘法反元素，這由費馬小定理（Fermat's Little Theorem）保證：

$$a^{p-1} \equiv 1 \pmod p, \qquad \gcd(a, p) = 1.$$

其推廣歐拉定理 $a^{\varphi(n)} \equiv 1 \pmod n$（$\varphi$ 為歐拉函數）正是 RSA 公鑰密碼系統的數學心臟。你每次刷卡、登入 HTTPS 網站，背後都在做大數的模指數運算——整除與質數這套兩千年的古老理論，撐起了當代數位文明的資安基礎。

質數分布的未竟之謎。 質數雖然「處處可見」卻分布得極不規則。質數定理（Prime Number Theorem）給出宏觀規律：不超過 $x$ 的質數個數 $\pi(x)$ 近似於

$$\pi(x) \sim \frac{x}{\ln x}.$$

而質數分布的精細結構，則纏繞在數學界最著名的未解問題——黎曼猜想（Riemann Hypothesis）之上，它斷言黎曼 $\zeta$ 函數所有非平凡零點的實部都是 $\tfrac{1}{2}$。這個猜想若被證明，將一舉鎖定質數計數函數的誤差項，是克雷數學研究所七大千禧年難題之一。

跨領域連結。 數論的觸角遠超純數學：橢圓曲線（elliptic curves）支撐著比特幣與現代密碼學；快速傅立葉變換（FFT）背後是 $\mathbb{C}$ 上的單位根結構；量子計算的 Shor 演算法之所以令人震撼，正是因為它能在多項式時間內做質因數分解，直接威脅 RSA。從數羊的自然數，到守護全球通訊的質數——這趟旅程提醒我們，最抽象的純數學概念，往往在最意想不到的地方，成為支撐真實世界的隱形樑柱。