Erdős 單位距離問題：平面上最多有幾多對距離等於1的點？

呢個猜想主要來自一個直觀例子：方格點（square lattice）。

例如將點擺成大約 (\sqrt{n} \times \sqrt{n}) 嘅整數格點網格，橫向同縱向都會產生大量距離為 1 嘅點對，因此可以得到比純線性稍多嘅單位距離數量。

目前最好的數學結果

到目前為止，數學家只知道上下界，但兩者之間仲有差距。

已知下界：

[
U(n) \ge n^{1+\Omega(1/\log\log n)}
]

呢個來自 Erdős 最早嘅格點構造。

已知上界：

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

呢個重要結果由 Spencer、Szemerédi 同 Trotter 喺 1984 年證明。

簡單整理如下：

lower bound:  n^(1 + Ω(1/log log n))
upper bound:  O(n^(4/3))
conjecture:   n^(1+o(1))

點解咁難？

問題困難嘅原因係：

• 點可以自由擺放
• 單位距離會形成複雜嘅幾何與組合結構
• 分析通常要用到**incidence geometry（點線關係理論）**等高級工具

雖然呢條問題研究咗接近 80 年，但上界自 1984 年以來都未被大幅改進。

一個直觀小例子

如果你將點排成正方形格，例如：

• 橫向相鄰點距離 = 1
• 縱向相鄰點距離 = 1

咁就會產生大量單位距離。

呢類格點結構正正係 Erdős 用嚟支持佢猜想嘅主要例子。

總結

Erdős 單位距離問題目前嘅情況係：

• 問題：n 個點最多可以產生幾多條長度 1 的距離
• 已知上界：(O(n^{4/3}))
• 已知下界：約 (n^{1+Ω(1/\log\log n)})
• Erdős 猜想：接近 (n^{1+o(1)})

完整證明至今仍未出現，因此依然係離散幾何其中一條著名未解問題。