结果族 191：A power improvement in the Heilbronn triangle lower bound · 学科：Combinatorics · 验证状态：暂无形式化证明，请以社区核验为准
在一块边长为 1 的方桌布上钉 n 枚图钉，任何三枚钉子都会围出一个三角形；怎么钉，才能让”最扁的那个三角形”尽量不扁？这就是海尔布伦在 1950 年代提出的三角形问题。随手乱撒大概率撞出很扁的三角形，所以必须精心设计位置。本文给出惊人构造：能让每个三角形的面积都不小于 @@M@@c_1 n^{-2+\eta}@@——指数上真正前进了一步。
关键词卡片
@@M@@n@@ 个点放入单位正方形，最大化最小三角形面积，记作 @@M@@\Delta(n)@@。@@M@@n^{-2}@@ 量级提高到 @@M@@n^{-2+\eta}@@，@@M@@\eta>0@@ 是固定小常数。@@M@@\log n@@，增长极慢，只算”半个”进步。@@M@@n^{-2}@@“的上界表述。看个具体例子
数字对比：取 @@M@@\varepsilon=\eta/2@@，则 @@M@@c_1 n^{-2+\eta}\div\bigl(C_\varepsilon n^{-2+\varepsilon}\bigr)\to\infty@@，故”对每个 @@M@@\varepsilon@@ 都有 @@M@@\Delta(n)\le C_\varepsilon n^{-2+\varepsilon}@@“的表述必假。注意 @@M@@\eta=2/(45435k+16)@@ 小到天文级，作者明言未做优化。
为什么值得关心
这是 1982 年对数改进之后的第一个幂次级改进，直接宣判了流行几十年的”几乎 @@M@@n^{-2}@@“猜想死刑。@@M@@\eta@@ 虽小到天文级，但在数学上”指数动了一丝”就是质的飞跃：它说明 @@M@@n^{-2}@@ 绝不是这个问题的最终答案。上界方向目前最好约为 @@M@@n^{-7/6+\varepsilon}@@，与下界之间仍隔着巨大鸿沟，本文让天平向下界一侧倾斜。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的比喻是”钉图钉”：在边长为 1 的方桌布上钉 n 枚钉子，任何三枚都围出一个三角形，怎样布置才能让最扁的那个尽量不扁？换掉比喻但暂不用符号：对象是单位正方形内的 n 个点，关心它们组合出的所有三角形中面积最小的那个；要做的是给出一套摆放方案，并证明该方案下最小面积不可能太小。
第二级台阶
用本科数学语言精确化：记 Δ(P) 为点集 P 中所有三点组所成三角形的最小面积，Δ(n) 为一切 n 点配置中此量的最大值；三角形面积由行列式给出——三点坐标差构成的行列式绝对值之半。问题即估计 Δ(n) 的衰减阶：下界已知约 n^{-2}（Erdős 的有限域抛物线构造），上界最好约 n^{-7/6+ε}（Cohen–Pohoata–Zakharov）。
第三级台阶
定理断言：存在绝对常数 η, c₁ > 0，使一切充分大的 n 满足 Δ(n) ≥ c₁·n^{-2+η}。这是纯构造性结果——给出显式随机化方案并证明小面积三元组稀少到可删。指数 η = 2/(45435k+16)（由 d=41 等固定参数定出）小到天文级且未经优化，但任何正的 η 都足以击穿”对每个 ε>0 有 Δ(n) ≤ C_ε·n^{-2+ε}”的几乎 n^{-2} 表述，宣告问题的真答案严格超出 n^{-2} 量级。
第一级台阶
导读的比喻是”钉图钉”：在边长为 1 的方桌布上钉 n 枚钉子，任何三枚都围出一个三角形，怎样布置才能让最扁的那个尽量不扁？换掉比喻但暂不用符号：对象是单位正方形内的 n 个点，关心它们组合出的所有三角形中面积最小的那个；要做的是给出一套摆放方案，并证明该方案下最小面积不可能太小。
第二级台阶
用本科数学语言精确化：记 Δ(P) 为点集 P 中所有三点组所成三角形的最小面积，Δ(n) 为一切 n 点配置中此量的最大值；三角形面积由行列式给出——三点坐标差构成的行列式绝对值之半。问题即估计 Δ(n) 的衰减阶：下界已知约 n^{-2}（Erdős 的有限域抛物线构造），上界最好约 n^{-7/6+ε}（Cohen–Pohoata–Zakharov）。
第三级台阶
定理断言：存在绝对常数 η, c₁ > 0，使一切充分大的 n 满足 Δ(n) ≥ c₁·n^{-2+η}。这是纯构造性结果——给出显式随机化方案并证明小面积三元组稀少到可删。指数 η = 2/(45435k+16)（由 d=41 等固定参数定出）小到天文级且未经优化，但任何正的 η 都足以击穿”对每个 ε>0 有 Δ(n) ≤ C_ε·n^{-2+ε}”的几乎 n^{-2} 表述，宣告问题的真答案严格超出 n^{-2} 量级。
论文证明存在绝对常数 @@M@@\eta,c_1>0@@：当 @@M@@n@@ 充分大时，可在单位正方形内放置 @@M@@n@@ 个点，使它们决定的任何三角形面积都不小于 @@M@@c_1n^{-2+\eta}@@。这一幂次（power）改进推翻了海尔布伦三角形问题的”几乎 @@M@@n^{-2}@@“上界猜想。
海尔布伦三角形问题（Heilbronn’s triangle problem）问：在单位正方形内放 @@M@@n@@ 个点，它们决定的 @@M@@n \choose 3@@ 个三角形中最小面积最大能到多少？记该量为 @@M@@\Delta(n)@@。海尔布伦在 1950 年代猜想 @@M@@\Delta(n)=O(n^{-2})@@（见 Roth 1951 年论文）。两个初等构造——Erdős 的有限域抛物线与”随机取样再删点”——都能达到 @@M@@n^{-2}@@ 量级；1982 年 Komlós、Pintz 与 Szemerédi 用随机超图方法把它改进为 @@M@@\Delta(n)\gg(\log n)/n^2@@，从而否定了原猜想，但只多出一个对数因子。此后学界转而关注更弱的”几乎 @@M@@n^{-2}@@“（almost @@M@@n^{-2}@@）表述：对每个 @@M@@\varepsilon>0@@ 是否都有 @@M@@\Delta(n)\le C_\varepsilon n^{-2+\varepsilon}@@？Zakharov 2026 年的综述讨论了这一表述。上界方面，Roth 的密度增量方法经多轮推进，目前最好结果为 Cohen–Pohoata–Zakharov 的 @@M@@\Delta(n)\ll_\varepsilon n^{-7/6+\varepsilon}@@。本文证伪了上述几乎 @@M@@n^{-2}@@ 表述。
定理：存在绝对常数 @@M@@\eta,c_1>0@@ 与整数 @@M@@n_0@@，使对一切 @@M@@n\ge n_0@@ 有 @@M@@\Delta(n)\ge c_1n^{-2+\eta}@@。指数是显式的：取固定奇数 @@M@@d=41@@，@@M@@M=\binom{4d-1}{d}@@，@@M@@T=\binom{M}{3}@@，@@M@@k=T^2+1@@，则 @@M@@\eta=2/(45435k+16)@@——一个天文数字级别的小正数，作者明言未做任何优化。取 @@M@@\varepsilon=\eta/2@@，定理下界与 @@M@@C_\varepsilon n^{-2+\varepsilon}@@ 之比为 @@M@@c_1n^{\eta/2}\to\infty@@，矛盾由此而来。就论文所引文献而言，这是自 1982 年对数改进之后的第一个幂次量级改进。
把面积化为行列式是核心：整数列 @@M@@u=(u_1,u_2,u_3)^{\mathsf T}@@（@@M@@0\le u_1,u_2<N\le u_3<2N@@）投影为 @@M@@\pi(u)=(u_1/u_3,u_2/u_3)@@，三列成阵 @@M@@A@@ 时三角形面积恰为 @@M@@|\det A|/(2A_{31}A_{32}A_{33})@@，故只需让小行列式三元组（@@M@@|\det|\le\tau@@）稀少到可删。
第一重同余条件设在主模 @@M@@h=B^k@@ 上。每列带独立均匀标签 @@M@@\xi\in\mathbb F_{r^d}@@（@@M@@d=41@@ 固定，素数 @@M@@r\to\infty@@）；Erdős 有限域抛物线 @@M@@(1,\xi,\xi^2)^{\mathsf T}@@ 标签互异时行列式非零（Vandermonde）。取域范数（field norm）降到 @@M@@\mathbb F_r@@，得交错多项式 @@M@@\mathcal N@@，分解为 @@M@@T@@ 个单项式行列式之和，编码进列的 @@M@@B@@ 进制指定数位，使行列式多项式的 @@M@@Y^{k-1}@@ 系数恰为 @@M@@\mathcal N@@ 在三标签处的值（模 @@M@@r@@），标签互异时非零，系数至少为 1。配合 Salem–Spencer/Behrend 大底数进位控制，行列式剩余类在 @@M@@[-\tau,\tau]@@（@@M@@\tau\approx B^{k-1}/2@@）内便无整数代表，此即”行列式障碍”。
共享随机元 @@M@@G_h\in\operatorname{SL}_3(\mathbb Z/h\mathbb Z)@@ 混合三行而不变行列式；条件化后剩余类在特殊线性轨道（special-linear orbit）上均匀，提升的行落入指标 @@M@@I@@ 的格（lattice），其中行列式为固定非零值的矩阵仅 @@M@@\ll(\log X)^2X^6/I^2@@ 个（各向异性格点计数）。
行列式为零（共线）时启用第二重同余条件：在独立素数 @@M@@q\approx h^{100}@@ 取椭圆二次曲面上无三点共线的帽集（cap），经受限随机平移与可逆线性映射均匀化并排除短整数关系；秩亏情形则按本原零向量给出的秩二行格求和。中国剩余定理（Chinese remainder theorem）合并两重条件后提升，坏三元组必须标签重复，概率 @@M@@\le 3r^{-d}@@。
最后是初等删除（alteration）：取 @@M@@2n_r@@ 个样本（@@M@@n_r=\lfloor r\sqrt{N^3/\tau}\rfloor@@），坏事件期望为 @@M@@o(n_r)@@（线性性估计），不需事件独立性，也不用 KPS 超图独立引理；每坏组删一个指标后保留 @@M@@n_r@@ 列，三角形面积均 @@M@@\ge\tau/(16N^3)@@。由 @@M@@n_r\asymp r^\alpha@@（@@M@@\alpha=45435k+16@@）得 @@M@@\Delta\ge c_1n^{-2+\eta}@@，@@M@@\eta=2/\alpha@@；一般大的 @@M@@n@@ 由贝特朗公设（Bertrand’s postulate）选素数 @@M@@r@@ 使 @@M@@n\le n_r\le C_kn@@，弃去多点即得定理。
本文主结果暂无 Lean 形式化证明，请以社区核验为准；论文自含全部初等证明，指数 @@M@@\eta@@ 显式可查，便于逐步复核。值得留意的是，引言专门指出了此前声称更强下界的两份预印本（Ellmann 第 12 版、Agama 第 13 版）的具体漏洞，可见作者对同类构造的审慎态度。本结果族目前仅此一篇，暂无姊妹篇互相支撑。按 OpenAI 官方声明，未经形式化的结果可能存在问题。
问 1：证明中最关键的一步是什么？
| 答：把”小行列式”变成同余障碍。整数列投影为平面点后，三角形面积即 | det A | /(2A₃₁A₃₂A₃₃)，故只需让 | det | ≤τ 的三元组稀少。机关是：给每列配 F_{r^d} 标签，Erdős 抛物线保证标签互异则行列式非零，再取域范数得交错多项式、分解为单项式行列式之和并编码进 B 进制数位，使行列式多项式的指定系数在标签互异时非零——模 h=B^k 后，小行列式剩余类里没有整数代表。 |
问 2：最脆弱的一环在哪里？
答：特殊线性轨道的格点计数。共享随机元 G_h ∈ SL₃(Z/hZ) 混合三行而不变行列式；条件化后须证整数提升落入某指标的格，固定非零行列式的矩阵只有 ≪(log X)²X⁶/I² 个（各向异性格点计数），行列式为零与标签重合的情形另按本原零向量、秩二行格单独求和。指标换算稍有差池，删除阶段的期望估计就不够用。
问 3：为什么必须两重同余条件，去掉一行不行吗？
答：第一重模 h=B^k 只拦非零小行列式；行列式为零（共线）时三行可同落一个整平面，非零计数完全不覆盖。故在独立素数 q 上取仿射二次曲面的无三点共线帽集作第二重条件，经受限随机平移与可逆线性映射均匀化，再用中国剩余定理合并。两重条件的独立性靠 q 与 h 互素等安排显式保证。
问 4：与已有工作相比真正的新意是什么？
答：这是 1982 年 Komlós–Pintz–Szemerédi 的 (log n)/n² 之后首个幂次改进，且改进来自采样点的算术分布而非超图独立引理——删除阶段只用期望线性性。引言还具体点破此前声称更强下界的预印本的漏洞（Ellmann 依赖未证的局部一致性、Agama 把中心点与边界点同数致共线），本文正是绕开这两类陷阱的产物。
问 5：AI 生成证明最可能出错的模式？
答：多层参数簿记与条件化均匀性的隐蔽失效。构造牵涉 d=41、M、T、k=T²+1 一长串常数与 B 进制进位控制；最危险的典型错误是把”标签重合时数位仍够随机”“两重条件独立”这类条件化均匀性当成显然。作者把 η 显式列出、证明全部自含初等，可逐层复核，但未形式化前任何一层常数错位都可能让幂次增益悄然归零。
问 6：谁会用到它，下一步在哪？
答：离散几何与上界方法圈层——”几乎 n^{-2}”表述被证伪后，相关综述与上界讨论须改写；与 n^{-7/6+ε} 的上界之间仍隔巨大鸿沟。显然的下一步是优化天文级的 η 或把行列式障碍技术推广到高维单纯形，论文未展开这些外推。
总评
四十余年来第一次让 Heilbronn 下界的指数真正移动，分量很重；但增益小到近乎象征性，且构造依赖层层嵌套的算术簿记，未经形式化前最可能败在条件化均匀性的某处细节。
问 1：证明中最关键的一步是什么？
| 答：把”小行列式”变成同余障碍。整数列投影为平面点后，三角形面积即 | det A | /(2A₃₁A₃₂A₃₃)，故只需让 | det | ≤τ 的三元组稀少。机关是：给每列配 F_{r^d} 标签，Erdős 抛物线保证标签互异则行列式非零，再取域范数得交错多项式、分解为单项式行列式之和并编码进 B 进制数位，使行列式多项式的指定系数在标签互异时非零——模 h=B^k 后，小行列式剩余类里没有整数代表。 |
问 2：最脆弱的一环在哪里？
答：特殊线性轨道的格点计数。共享随机元 G_h ∈ SL₃(Z/hZ) 混合三行而不变行列式；条件化后须证整数提升落入某指标的格，固定非零行列式的矩阵只有 ≪(log X)²X⁶/I² 个（各向异性格点计数），行列式为零与标签重合的情形另按本原零向量、秩二行格单独求和。指标换算稍有差池，删除阶段的期望估计就不够用。
问 3：为什么必须两重同余条件，去掉一行不行吗？
答：第一重模 h=B^k 只拦非零小行列式；行列式为零（共线）时三行可同落一个整平面，非零计数完全不覆盖。故在独立素数 q 上取仿射二次曲面的无三点共线帽集作第二重条件，经受限随机平移与可逆线性映射均匀化，再用中国剩余定理合并。两重条件的独立性靠 q 与 h 互素等安排显式保证。
问 4：与已有工作相比真正的新意是什么？
答：这是 1982 年 Komlós–Pintz–Szemerédi 的 (log n)/n² 之后首个幂次改进，且改进来自采样点的算术分布而非超图独立引理——删除阶段只用期望线性性。引言还具体点破此前声称更强下界的预印本的漏洞（Ellmann 依赖未证的局部一致性、Agama 把中心点与边界点同数致共线），本文正是绕开这两类陷阱的产物。
问 5：AI 生成证明最可能出错的模式？
答：多层参数簿记与条件化均匀性的隐蔽失效。构造牵涉 d=41、M、T、k=T²+1 一长串常数与 B 进制进位控制；最危险的典型错误是把”标签重合时数位仍够随机”“两重条件独立”这类条件化均匀性当成显然。作者把 η 显式列出、证明全部自含初等，可逐层复核，但未形式化前任何一层常数错位都可能让幂次增益悄然归零。
问 6：谁会用到它，下一步在哪？
答：离散几何与上界方法圈层——”几乎 n^{-2}”表述被证伪后，相关综述与上界讨论须改写；与 n^{-7/6+ε} 的上界之间仍隔巨大鸿沟。显然的下一步是优化天文级的 η 或把行列式障碍技术推广到高维单纯形，论文未展开这些外推。
总评
四十余年来第一次让 Heilbronn 下界的指数真正移动，分量很重；但增益小到近乎象征性，且构造依赖层层嵌套的算术簿记，未经形式化前最可能败在条件化均匀性的某处细节。