埃尔德什单位距离问题：简单提问，近80年仍未解

在离散几何中，有一个非常著名但看似简单的问题，叫做埃尔德什单位距离问题（Erdős unit distance problem）。

问题本身

问题是这样的：

给定平面上的 (n) 个点，恰好距离为 1 的点对最多可以有多少个？

换句话说，如果把每一对距离为 1 的点连一条边，就得到一个“单位距离图”。问题等价于：在含有 (n) 个顶点的这种图中，最多能有多少条边。

埃尔德什的猜想

匈牙利数学家 保罗·埃尔德什（Paul Erdős） 在 1946 年提出这个问题，并猜想最大值非常接近线性规模：

[
U(n) = n^{1+o(1)}
]

这个猜想的依据来自格点构造。例如把点放在一个 (\sqrt{n} \times \sqrt{n}) 的整数方格网格上。许多相邻点之间的水平或垂直距离正好是 1，因此可以产生大量单位距离对 。

这种构造表明：单位距离的数量可以略多于线性规模。

目前已知的最好上界

尽管问题提出已经几十年，目前最好的普遍上界仍然是：

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

这个结果由 Spencer、Szemerédi 和 Trotter 在 1984 年证明，是通过几何与组合中的“点—直线关联理论”得到的重要结论 。

目前的数学进展（上下界）

综合已知研究结果：

• 下界： (n^{1 + O(1/\log\log n)})
• 上界： (O(n^{4/3}))
• 猜想： (n^{1+o(1)})

也就是说，数学家已经证明单位距离的数量不会超过大约 (n^{4/3})，但也知道至少可以达到接近线性的规模。这两者之间仍存在明显差距 。

为什么这个问题重要？

这个问题不仅仅是关于“点之间的距离”。它与多个数学领域密切相关，例如：

• 离散几何
• 组合数学
• 图论
• 点—线关联理论（incidence geometry）

许多后来发展的方法，例如交叉数方法和多项式方法，也与这些问题的研究密切相关。

结论

如果你的问题是在寻找埃尔德什单位距离猜想的完整证明，目前的答案是：

尚未证明。

尽管经过数十年的研究，这个问题仍然是离散几何中最著名的开放问题之一 。