## Heilbronn 问题要求什么

Heilbronn 问题是一个离散几何优化挑战：给定一个单位面积的区域——正方形、等边三角形或任何凸形状——放置 *n* 个点，使得由这些点中任意三点确定的最小三角形面积尽可能大。这个最大的可能最小三角形面积的值记为 *A*(*n*)。

该问题最早由 Hans Heilbronn 在 1950 年代研究，处于组合几何和计算优化的交汇点。对于每种容器形状和每个 *n*，目标是找到一种点配置，使 *A*(*n*) 高于任何先前已知的排列。证明某种配置是真正的最优解（而非仅仅是目前找到的最好结果）是一个独立且通常更难的任务。

## 带有可验证记录的实时排行榜

网站 **math.tejstead.com/heilbronn/** 作为三个经典容器的最佳已知配置的动态存档：单位正方形、单位等边三角形以及每个 *n* 的最优凸区域。每条条目列出：

- *n* 个点的精确坐标 - 配置的对称性和全等分析 - 已建立最优性的已发表证明的引用 - 一个**浏览器内有理数算术验证器**，允许任何人精确重新计算最小三角形面积，而不会产生浮点数舍入误差

当某种配置被证明为最优时，该网站会用 ▲ 符号标记。对于大多数 *n* 和大多数容器，列出的值仍属于“最佳已知”而非“已证最优”。

## 最近的纪录改进（2026 年 9 月至 10 月）

自 2026 年 9 月下旬以来，排行榜出现了一系列新纪录，几乎全部由在传统学术渠道之外工作的独立研究人员贡献：

| 日期 | 容器 | *n* | 新 *A*(*n*) | 增幅 | 贡献者 | |------|-----------|-----|--------------|------|-------------| | 2026-10-01 | 三角形 | 20 | 0.01260939 | +2.37% | Rob Gardiner | | 2026-10-01 | 正方形 | 23 | 0.00975728 | +1.18% | Rob Gardiner | | 2026-09-28 | 正方形 | 21 | 0.01147376 | +1.85% | Rob Gardiner | | 2026-09-28 | 正方形 | 23 | 0.00964331 | +1.97% | Rob Gardiner | | 2026-09-28 | 正方形 | 25 | 0.00823006 | +3.74% | Rob Gardiner | | 2026-09-28 | 正方形 | 35 | 0.00443228 | +0.53% | Rob Gardiner | | 2026-09-25 | 凸区域 | 31 | 0.00630967 | +3.46% | Alexandar Lackovic (借助 Opus 5.5) | | 2026-09-25 | 凸区域 | 33 | 0.00547013 | +3.21% | Alexandar Lackovic (借助 Opus 5.5) | | 2026-09-23 | 三角形 | 19 | 0.01348189 | +0.21% | Marc-Emmanuel Coupvent des Graviers | | 2026-09-23 | 三角形 | 29 | 0.00612369 | +2.55% | Marc-Emmanuel Coupvent des Graviers |

该网站的创建者指出，“最近有一波由业余数学家提交的新纪录。” Lackovic 在凸区域记录中涉及的 AI 辅助（Opus 5.5）标志着计算搜索开展方式的一个显著发展。

## 不同容器之间的数值对比

最佳已知值表（截断至小数点后八位）显示了可实现的最小三角形面积如何随着 *n* 的增长而缩小，以及容器形状的重要性：

- 对于 *n* = 3，正方形和三角形均达到 *A*(3) = 0.5（即三角形本身），而最优凸区域达到 1.0（整个区域）。 - 到 *n* = 10 时，正方形领先于 ~0.0465，其次是凸区域 ~0.0520，三角形为 ~0.0434。 - 在 *n* = 35 时，正方形达到 ~0.00443，凸区域 ~0.00477，而三角形条目尚未列入表。

正如预期的那样，凸区域在较大的 *n* 下始终优于固定的正方形和三角形——优化容器形状本身增加了一个自由度。

## 开放问题和已知限制

**渐近行为。** 提交线程上的一个评论简述了一个简单的鸽巢原理，给出了正方形大约为 1/*n* 的上界：将单位正方形分为 *n*/3 个垂直条带；其中一个条带必然包含三个点，且任何其中的三角形面积最多为条带面积（~1/*n*）。目前已知的最佳*下*界在 (log *n*)/*n*² 数量级——这是一个巨大的差距。主要来源未讨论这些渐近界限；它们仍是活跃的研究领域（特别是由 Komlós、Pintz 和 Szemerédi 推进的）。

**纳入标准。** 该网站未明确说明将其配置列为当前最佳已知值的标准。排行榜是有限的，因为只有改进了所有先前已发表结果的配置才会被记录；读者可能会想象的“无限长”列表将由那些*不是*改进的配置组成。

**已证最优性。** 只有少数条目带有 ▲ 标记。对于绝大多数 (*n*, 容器) 对，真实的优化值仍是未知的。有理数算术验证器确认提交的配置达到了声称的 *A*(*n*)，但它并不能证明不存在更好的配置。

## 为什么这很重要

Heilbronn 问题是一个罕见的根本几何优化问题的例子，其中：

1. **搜索空间是连续且高维的**（2*n* 个坐标），然而 2. **精确验证是可能的**，可通过有理数算术实现，并且 3. **拥有计算工具的非专家仍能推进前沿。**

最近涌现的新纪录表明，该问题在经验上仍保持活跃。1/*n* 上界与 (log *n*)/*n*² 下界之间的差距是否最终会缩小——或者真实的渐近阶数是否位于两者之间——仍是该问题的核心谜团之一。