Erdős 單位距離問題：平面上 n 個點最多能形成多少個單位距離？

其中一個直觀例子是把點放在 √n × √n 的整數格點 上：

• 每個點與左右或上下的鄰居距離為 1
• 因此會產生大量的單位距離

這些構造能達到大約

n^{1 + O(1 / log log n)}

的數量級。

目前最好的上界

儘管問題看起來簡單，但數學家已經研究了數十年。

目前最重要的結果來自 Spencer、Szemerédi 和 Trotter（1984），他們證明：

U(n) = O(n^{4/3})

也就是說，任何 n 個點的配置，單位距離的數量都不可能超過這個級別。

目前已知的範圍

因此，今天我們對這個問題只知道上下界：

下界： n^(1 + O(1 / log log n))
上界： O(n^(4/3))
猜測： n^(1 + o(1))

上下界之間仍存在相當大的差距。

為什麼這個問題重要？

Erdős 的距離問題是**組合幾何（combinatorial geometry）**的重要核心問題之一。它與多個領域密切相關，例如：

• 幾何組合學
• 點與直線的關係（incidence geometry）
• 圖論
• 多項式方法（polynomial method）

許多現代幾何工具與技巧，都是在研究這類問題時發展出來的。

結論

目前數學界的共識是：

Erdős 單位距離猜想仍然沒有被證明。

雖然我們知道一些非常好的上下界，但距離真正的答案仍有一段距離。這也讓它成為離散幾何中最經典、也最耐人尋味的未解問題之一。