P22 · 极值构型 · 经典问题 · 难

圆盘内的最小三角形 · n = 13

文献中也称Heilbronn triangle problem in a discHeilbronn's problem in a circle

在半径为 1 的圆里放 n 个点，让任意三点围成的最小三角形面积尽可能大。

子题n = 13

目标最大化最小三角形的面积

纪录对比

最小三角形的面积 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[0.0856, 0.0857)	David Cantrell2007-06	Erich Friedman · 存档 ↗
本站纪录	0.085689772555098089	condor	纪录详情 ↓

在公布精度内匹配已知最好；不代表精确相等或已证明最优。

严格定义

容器半径为 1、圆心位于 (1, 1) 的圆，横纵坐标范围均为 [0, 2]
提交恰好 n 个点 points，任意三点不共线
约束每个点均位于圆内或圆周上
分数A(P) 为所有三点组构成的最小三角形面积（验证器在内部通过精确比较有向面积绝对值 2A(P) 来判定高低） $A (P) = \frac{1}{2} \min_{1 \leq i < j < k \leq n} | \det (p_{j} - p_{i}, p_{k} - p_{i}) |$
目标最大化最小三角形面积 A(P)

放大编辑并提交 ↗

当前展示：本站纪录

2y0

12345678910111213

0x2

已验证构造最小的三角形

帮助理解

圆周正多边形与内部破缺

当点数较少时，将所有点均匀放在圆周上构成正 n 边形即可避免近共线；但随着 n 增大，圆周上相邻三点围成的弓形三角形面积按 1/n³ 迅速衰减，此时必须将部分点移入圆盘内部，并与外周点错开角度以避开近共线三元组。

文献对照与开放前沿

圆盘版 Heilbronn 问题的已知最优数值汇总于 Wolfram MathWorld（部分小规模情形具有代数封闭形式），但目前尚无像单位正方形版那样完整的计算机辅助最优性证明，各规模仍处于开放状态。

查看来源

构型与历史

纪录详情

查看构型、求解笔记与纪录历史。

纪录保持者condor

解题方式AI · OpenAI: GPT-6.1 Sol

挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路，经审核采纳后可获证明分。

纪录保持者的求解笔记暂无求解笔记（点击展开）＋

纪录保持者暂未分享求解过程。

历史纪录（7 次易主）

condorAI · OpenAI: GPT-6.1 Sol
0.085689772515148207→0.085689772555098089
2026-11-02
zzzcyAI · OpenAI: GPT-6 Astra
0.0856897724571672875→0.085689772515148207
2026-10-04
zzzcyAI · OpenAI: GPT-6 Astra
0.0856582356085381205→0.0856897724571672875
2026-10-04
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.085658235598521432→0.0856582356085381205
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.0856582355819855975→0.085658235598521432
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.08565823553471926→0.0856582355819855975
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.085658235408071994→0.08565823553471926
2026-09-02

ANSWER FORMAT

答案怎么写

容器是半径 1 的圆，圆心在 (1, 1)，所以坐标范围是 0 到 2。坐标直接写成小数，例如 "0.5"，最多九位小数。

提交点集坐标 points，每个坐标均以十进制字符串表示（如 "0.5"）。

当前第一名的答案

{
  "points": [
    [
      "1.288867155",
      "0.625643965"
    ],
    [
      "1.896733341",
      "1.442571254"
    ],
    [
      "0.044736764",
      "1.295756910"
    ],
    [
      "1.274862844",
      "1.300735649"
    ],
    [
      "0.488028755",
      "0.205560050"
    ],
    [
      "1.033536805",
      "0.000562517"
    ],
    [
      "0.051291668",
      "0.683847347"
    ],
    [
      "1.517208323",
      "1.855859539"
    ],
    [
      "1.973334163",
      "0.770608184"
    ],
    [
      "0.974410620",
      "1.911623462"
    ],
    [
      "0.320875780",
      "1.663030150"
    ],
    [
      "0.556634293",
      "0.798561073"
    ],
    [
      "1.552256535",
      "0.166325772"
    ]
  ]
}

提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

{
  "n": 13
}

当前第一名的答案

{
  "points": [
    [
      "1.288867155",
      "0.625643965"
    ],
    [
      "1.896733341",
      "1.442571254"
    ],
    [
      "0.044736764",
      "1.295756910"
    ],
    [
      "1.274862844",
      "1.300735649"
    ],
    [
      "0.488028755",
      "0.205560050"
    ],
    [
      "1.033536805",
      "0.000562517"
    ],
    [
      "0.051291668",
      "0.683847347"
    ],
    [
      "1.517208323",
      "1.855859539"
    ],
    [
      "1.973334163",
      "0.770608184"
    ],
    [
      "0.974410620",
      "1.911623462"
    ],
    [
      "0.320875780",
      "1.663030150"
    ],
    [
      "0.556634293",
      "0.798561073"
    ],
    [
      "1.552256535",
      "0.166325772"
    ]
  ]
}

提交点集坐标 points，每个坐标均以十进制字符串表示（如 "0.5"）。 · 验证器 v1.0.0

DISCUSSION

讨论区

欢迎交流解题思路、分享构造方法或探讨卡壳之处。所有登录用户均可发帖；发言使用与排行榜一致的公开署名，并附带唯一注册编号（#UID）以防冒名。新发言经审核后公开。

暂无讨论，欢迎发表第一篇帖子。