跳轉到

1958 · Roth 定理：用「指數落差」量化無理數的乖張#

1958 費爾茲獎（愛丁堡 ICM）：Klaus Roth，表彰有理逼近之 Roth 定理

案情提要#

任何無理數都能被無窮多個有理數逼近到「不錯」的程度（狄利克雷：|α − p/q| < 1/q² 有無窮多解）。但代數數該有多乖？1830s Liouville 已證：對 d 次代數數 α，

|α − p/q| > C/q^d

——代數數不能被逼近得太好（這正是 Liouville 造超越數的方法）。1909 年 Thue 改進到 q^{d/2+1+ε}；1955 年 Siegel 與 Gelfond 給出 2√d + ε。懸案：最優的指數到底是多少？ Roth 1955 年給出震撼答案：2。

前因#

年份 事件
1844 Liouville 定理
1909 Thue–Siegel 方法成形（但常數不可有效計算）
1921 Siegel 指數改進；Gelfond 獨立結果
1955 Roth 發表論文

調查：Roth 定理#

對任何無理代數數 α 與任何 ε > 0，不等式

|α − p/q| < q^{−2−ε}

只有有限多個有理解 p/q。

  • 指數 2 是不可再降的極限：狄利克雷定理保證指數 2 有無窮多解，Roth 證明「超過 2 一點點」就只剩有限解——卡在最優值上，這是此案被譽為「數論最漂亮結果之一」的原因。
  • 證明結構（Roth 的「平均化消元法」）：
  • 假設有無窮多好逼近，構造多個同時逼近（auxiliary polynomial 輔助多項式）。
  • 以 Wronskian 與最大公因式技術證明輔助多項式在 α 處「異常高階為零」。
  • 由高階零點推出 Pade 逼近過好，與 Liouville 型下界矛盾——以「太多」證明「太少」。

理論裁決#

  • 不可有效計算性：Roth 定理的常數不可有效計算（「有窮」但不知何時結束）——這是該方法的結構性缺陷（與 Baker 1970 費爾茲獎的有效超越數論形成正反兩案）。
  • 直接推論：Thue 方程 f(x,y) = m（f 為不可約三次以上齊次）只有有限多解——丟番圖方程的有限性判定。
  • 1970 年 Schmidt 的 Subspace theorem 把 Roth 定理推廣到多元與聯立逼近——本案是「乘積定理時代」的開端。

後果#

層面 影響
數論 丟番圖逼近成為獨立學科；Faltings（1986-Faltings與Mordell猜想）的論證以 Roth 型定理為元件
計算 RSA 等密碼學中代數數逼近的安全邊界（低精度攻擊的理論界限）
未解 abc 猜想若成立，將是 Roth 的全面升級（Szpiro 比例的「q^{2+ε}」類比）——Mochizuki 2012 年聲稱的證明至今未被普遍接受，是本案的「二審」
教訓 「正確的指數」有時比「更好的指數」重要——最優值往往揭示結構

關聯#