丟番圖分析是數論的一個分支。最經典的丟番圖逼近主要用於有理數逼近實數，亦即實數的有理逼近相關問題。其中有理數一般用分數形式表達，且一律要求分子為整數，分母為正整數，通常要求是既約分數。 丟番圖逼近的名稱源於古希臘數學家丟番圖。這是因為有理逼近可以歸結為求不等式整數解的問題，而求方程整數解的問題一般稱為丟番圖方程（或不定方程），故而得名。事實上，丟番圖逼近與不定方程的研究確有頗多相關。 丟番圖逼近的首要問題是尋求實數的最佳（有理）丟番圖逼近，簡稱最佳逼近。具體來說，對於一個實數 alpha，希望找到一個 最優 的有理數 pq 作為 alpha 的近似，使在分母不超過 q 的所有有理數中，pq 與 alpha 的距離最小。這裡的 距離 可以是歐氏距離，即兩數之差的絕對值；也可以用 qalphap 等方式度量。滿足此類要求的有理數 pq 稱為實數 alpha 的一個最佳逼近。關於如何尋找實數的最佳逼近及相關論題，已於 18 世紀隨著連分數理論的發展得到基本解決。 其後，該領域的主要注意力轉向對有理逼近的誤差進行估計、度量，以給出儘可能精確的上下界（一般用分母的函式表示）。作為分母的函式，這種上下界的階與 alpha 的性質密切相關。當 alpha 分別為有理數、代數數、超越數時，其最佳逼近誤差下界的階是不同的。基於這種思想，劉維爾在 1844 年建立了有關代數數逼近的一個基本結論，並由此具體地構造出了一個超越數（參見劉維爾數），證明了它的超越性。這在人類歷史上尚屬首次。由此可見，丟番圖逼近與數論的另一分支 超越數論緊密相關。 除了上述最經典的單個實數的有理逼近問題，該領域還包括多個實數的聯立逼近，非齊次逼近，實數的代數數逼近，一致分佈（均勻分佈）等方面。甚至連 p 進數上的丟番圖逼近也有頗多研究。 實數的最佳丟番圖逼近 有理數與實數的距離 無論何種丟番圖逼近問題，都需要定義 距離。對於實數的有理逼近，要考慮的是有理數 pq 與實數 alpha 的距離。對此一般有兩種定義方式，其一是非常自然的歐氏距離 alpha pq，其二是 qalphap 第二種定義方式是有理數所獨有的，在丟番圖逼近的理論和實踐中都很常用，不過這樣定義的距離並非一個度量。 這兩種距離也可看作只由分母 q 決定的。此時，上述第二種定義變為 min pinmathbb Zqalpha pqalpha 上式右端的記號在丟番圖逼近中很常用。沿用此記號，第一種定義變為 min pinmathbb Zalpha pqqalphaq 此時不要求 pq 互素。 對於實數的最佳逼近問題，依 距離 的定義不同，有第一類和第二類之分，二者的結論有所不同。未加限定時，最佳逼近 一詞一般指的是第一類最佳逼近。 問題的提法 在本節中，對有理數 pq，我們用 優 一詞形容它與給定實數 alpha 的距離更接近，此處的 距離 一般是按照 11 節給出的兩種定義方式之一。當 alpha 為無理數時，無論按上述哪一種距離，只要分母 q 足夠大，pq 總能與 alpha 任意接近。因此，單純討論 最優（意即與 alpha 最接近的）有理數意義不大，還需要對有理數的範圍，主要是分母的範圍加以限制。這樣，給定一個實數 alpha 後，就產生了以下三個自然的問題： 對於哪些有理數 pq，其在分母不超過 q 的所有有理數中是最優的？ 對於給定的正整數，在分母不超過它的所有有理數中，最優的是哪個？（如果有多個，一般取分母最小者） 對於一個有理數（通常考慮的是最佳逼近），比它更優的有理數中分母最小的是哪個？ 問題 1 正是經典丟番圖逼近領域的一個核心問題，也是後兩個問題的基礎；問題 2 可視作問題 1 的擴充套件，從某些角度看它的提法甚至更為自然；問題 3 則可看作問題 2 的某種反問題。 丟番圖逼近領域的最佳逼近一詞，一般就指符合問題 1 中條件的有理數。兩種距離都可以考慮，分別對應兩類最佳逼近。具體來說，給定一個實數 alpha，稱有理數 pq 為 alpha 的第一類最佳逼近，當且僅當對每個與 pq 不同的有理數 pq，在 qleq q 時恆有 alpha pq alpha pq 如果其餘條件不變，最後的不等式變為 leftqalpha pright leftqprimealpha pprimeright 則稱 pq 為 alpha 的第二類最佳逼近。顯然，第二類最佳逼近一定是第一類的，反之則未必。例如對於 23 來說，12 是第一類最佳逼近，但不是第二類的。 對於問題 2 3，依 距離 的定義不同，也有類似的第一類和第二類之分。問題 1 解決後，不難得到問題 2 3 的結論。事實上，後兩個問題中所求的有理數一定是一個最佳逼近。 結論 實數最佳逼近問題與連分數理論有密切聯絡，後者提供了計算最佳逼近的理論依據和具體演算法。下面總假設實數 alpha 的簡單連分數表示式為 alphaa_0 a_1 a_2 ldots a_nldots 再設 Ck pkqk 為 alpha 的 k 階漸進分數（即收斂子），Ck t pk tqk t 的第 t 個 k 階中間漸近分數（簡稱中間分數，又名半收斂子，參見連分數 半收斂子），其中 p_kttp_k1p_k2 q_kttq_k1q_k2 C_ktp_ktq_kta_0 a_1 ldots a_k1t 習慣上認為中間分數不包括漸近分數，因此，上述記號中一般要求 ta_k tin mathbb N 此時 C_k t 總在 C_k1 和 C_k 之間。 第二類最佳逼近 第二類最佳逼近的結論比較簡單：實數的第二類最佳逼近恰是它的簡單連分數的所有漸近分數。此時需要注意：alpha 為有理數時，它的簡單連分數展開要取最後一位不是 1 的那個。例如 23 的連分數要寫成 0 1 2 而不是 0 1 1 1，故此時 0 1 112 不是 23 的漸近分數。事實上，12 確實不是 23 的第二類最佳逼近。另外，此論斷有一個平凡的例外：若 a_k1 ，alpha 的第 0 個漸近分數並非第二類最佳逼近。 對於問題 2，給定正整數 M1 ，設 q_k1leq Mq_k，則在分母不超過 M 的有理數中，最優的是第 k1 個漸近分數 C_k1 對於問題 3，給定一個第二類最佳逼近，它一定是某個漸近分數 C_k1 （alpha 為半整數時有例外，此時 a_01 也第二類最佳逼近，但對結論沒有本質影響），那麼比它更優的有理數中分母最小的是 C_k 。 第一類最佳逼近 對於第一類最佳逼近，問題要複雜一些。此時漸近分數當然仍是最佳逼近，但某些中間分數亦是。具體來說， ta_k2 時，C_kt 是第一類最佳逼近； ta_k2 時，C_kt 不是第一類最佳逼近； ta_k2inmathbb N 時，僅考慮連分數的前 k 項已不足以判斷，需要特殊的判定準則。此時， C_kt 是第一類最佳逼近，當且僅當 a_k1 a_k2ldotsq_k1q_k2 另一方面，第一類最佳逼近一定是漸近分數或中間分數。為使此論斷無例外，需補充定義 1 階漸進分數為 10，這樣可以考慮 0 階的中間分數。這裡還需要特別注意： alpha 為有理數時，它的簡單連分數展開要取最後一位是 1 的那個。例如 23 的連分數要寫成 01 1 1 而不是 01 2，故此時 0 1 112 是 23 的漸近分數。事實上，12 確實是 23 的第一類最佳逼近。 總結起來，alpha 的第一類最佳逼近恰有三類： 漸近分數 C_k a_11 時不包含 C_0 ； 中間分數 C_kt 其中 tin mathbb N a_k 2 t a_k 中間分數 C_ka_k 2 其中 a_k2inmathbb N a_k1 a_k2ldotsq_k1q_k2 問題 2 3 的結論與上一小節類似。 例子 考慮自然對數底 e2718281828459045235，其連分數表示式為 2121141161181ldots 它的第二類最佳逼近依次是： 3 frac 83 frac 114 frac 197 frac 8732 ldots 它的第一類最佳逼近依次是： 3 frac 52 frac 83 frac 114 frac 197 frac 3011 frac 4918 frac 6825 frac 8732 frac 10639 ldots 和漸近分數一樣，最佳逼近一般也按分母由小到大排列。 又如圓周率 π3145926535897，其連分數表示式為 37151292111213114ldots 它的前幾個漸近分數如下： 3 frac 227 frac 333106 frac 355113 frac 10399333102 其中的 227 正是約率，而 355113 正是密率。按上面的結論，由於 292 為偶數，且 11121314ldots11132113106 故 355113 之後的下一個第一類最佳逼近是 C_4 29225216316604 。這說明 355113 比分母小於 16604 的任何有理數都更接近 π（依歐氏距離），可見密率的精確性。 劉維爾定理與 Roth 定理 丟番圖逼近理論的基礎之一是劉維爾的一個關於代數數逼近的定理： 定理：設無理數 alpha 是一個整係數 n 次多項式的根，則存在常數 A0，使得對任意兩整數 pq 0 恆有 left alpha frac pq right frac Aqn 劉維爾定理可用於構造超越數。在這之前，數學家們已利用連分數匯出關於平方根與其它二次無理數的許多逼近性質。這個結果後來由 Axel Thue 等人改進，並導致 Roth 定理：對於代數數 alpha，將劉維爾定理中的指數由其次數 n 縮至任意的 2epsilon（其中 epsilon0）。之後 Schmidt 又將此結果推廣到一致逼近。這些命題的證明頗為困難，而且不能得到 A 的確切數值，在應用上有所缺憾。 均勻分佈 另一個主題是模 1 的均勻分佈理論。取一實數序列 a_1 a_2 ldots 並考慮其真分數部分；或抽象地說，將其看作 mathbb Rmathbb Z，即拓撲學中所說的一維圓環 mathbb S1 上的數列。對圓環上的任一段區間，我們研究有限集 a_n n leq N 中有多大比例落在該區間內，並考慮這個比例與區間長度之間的關係。一個序列均勻分佈意味著當 N rightarrow infty 時，此比例收斂於我們所 期望 的值。赫爾曼外爾證明了一個基本結論：均勻分佈等價於該序列元素的指數和有上界。這表明丟番圖逼近與指數和相消的一般問題密切相關，而後者在解析數論的誤差項估計中無處不在。 其它 在 Roth 定理以後，丟番圖逼近論的主要進展與超越理論相關。均勻分佈關乎分佈的不規則性，因而帶有組合學的本性。丟番圖逼近論中仍有陳述簡單卻懸而未解的問題，例如李特爾伍德猜想：對任意兩個實數 alpha beta liminf_ntoinfty nVert nalphaVert Vert nbetaVert 0 其中 Vert Vert 表示到最近整數的距離。 文獻