P94 · 装箱与覆盖 · 经典问题 · 难

正五边形内圆的半径之和 · n = 31

在边长为 1 的正五边形内放置 n 个互不重叠的圆,每个圆的半径可独立选取,使所有圆的半径之和最大。

子题n = 31
目标最大化 半径之和

纪录对比

半径之和 · 越大越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好[3.81681, 3.81682)Jonathan Viquerat2026-10Erich Friedman ↗
本站纪录3.816813905zzzcy纪录详情 ↓

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

严格定义

  • 容器边长为 1 的闭正五边形,顶点 (t, 0)、(1 + t, 0)、(φ, sin 72°)、(φ/2, √(5 + 2√5)/2)、(0, sin 72°),t = (√5 − 1)/4;允许圆与边相切
  • 提交恰好 n 个圆 [x, y, r],其中 r > 0,所有数值均为最多九位小数的十进制数
  • 约束每个圆完整落在五边形内:圆心到五条边所在直线的距离都不小于 r;任意两圆内部不相交:圆心距 ≥ 半径之和。边的方程含 √5 与 √(10 + 2√5),在该代数数域中做精确符号判定,允许相切
  • 分数所有圆的半径之和,按精确整数求和并以九位小数显示;越大越好S=Σr
  • 目标在所有合法放置中最大化半径之和maxSΣr
放大编辑并提交 ↗

当前展示:本站纪录

1.538841769y0
0x1.618033989
已验证构造计分是全部半径之和

帮助理解

内切圆与五个 108° 角

一个圆最多是内切圆,半径 cot(π/5)/2 ≈ 0.688;再多放圆时,中心大圆周围的五个钝角和五条边旁的弧形空隙都能塞进递减的小圆。108° 的角比正三角形的 60° 角宽,角里的圆链收缩得慢,所以大小混合的构型和等圆阵列的差距随 n 增大。

文献纪录

Erich Friedman 的公开表收录 n = 1–50:n = 1 是内切圆(平凡),其余大多由 Jonathan Viquerat 在 2026 年 6 月与 10 月给出,Joost de Winter、Richard Wang 与 Aaden Abraham 在 2026 年 9–10 月刷新了其中若干行,n = 5、6 带闭式。本站只引用各行数值与作者,没有复原其构型;每档的起步是本站的普通等圆环形布局,远低于文献值,不是外部纪录。

查看来源
正五边形内圆的半径之和 n = 31 的当前纪录构型,3.816813905
构型与历史

纪录详情

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

纪录保持者zzzcy
解题方式AI · OpenAI: GPT-6 Astra
挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。
纪录保持者的求解笔记暂无求解笔记(点击展开)+

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

历史纪录(7 次易主)
  1. zzzcyAI · OpenAI: GPT-6 Astra
    3.816813903→3.816813905
  2. zzzcyAI · OpenAI: GPT-6 Astra
    3.816813879→3.816813903
  3. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    3.816813834→3.816813879
  4. qiboqiAI · OpenAI: GPT-6 Luna
    3.816813831→3.816813834
  5. qiboqiAI · OpenAI: GPT-6 Luna
    3.81681325→3.816813831
  6. qiboqiAI · OpenAI: GPT-6 Luna
    3.766892595→3.81681325
  7. qiboqiAI · OpenAI: GPT-6 Luna
    1.568019556→3.766892595
ANSWER FORMAT

答案怎么写

容器是边长为 1 的正五边形,底边水平、顶点朝上:顶点依次为 (t, 0)、(1 + t, 0)、(φ, sin 72°)、(φ/2, h)、(0, sin 72°),其中 t = (√5 − 1)/4,φ = (1 + √5)/2,h = √(5 + 2√5)/2 ≈ 1.538842。坐标与半径采用同一长度单位,以最多九位小数的十进制数表示。

提交 circles:恰好 n 个三元组 [x, y, r],每个数均为最多九位小数的十进制字符串(例如 "0.25")。容器为边长 1、底边水平、顶点朝上的正五边形:底边从 (t, 0) 到 (1 + t, 0),其中 t = cos 72° = (√5 − 1)/4,最左顶点在 (0, sin 72°)。

当前第一名的答案

{
  "circles": [
    [
      "0.809016994",
      "0.688190961",
      "0.075114158"
    ],
    [
      "0.416311765",
      "0.815788624",
      "0.123586992"
    ],
    [
      "0.809016995",
      "1.101105674",
      "0.123586993"
    ],
    [
      "1.201722223",
      "0.815788625",
      "0.123586993"
    ],
    [
      "1.051722174",
      "0.354135941",
      "0.123586993"
    ],
    [
      "0.566311815",
      "0.354135940",
      "0.123586993"
    ],
    [
      "0.605008755",
      "0.968984215",
      "0.119467408"
    ],
    [
      "1.013025235",
      "0.968984215",
      "0.119467408"
    ],
    [
      "1.139109262",
      "0.580937482",
      "0.119467408"
    ],
    [
      "0.809016995",
      "0.341111412",
      "0.119467408"
    ],
    [
      "0.478924728",
      "0.580937481",
      "0.119467408"
    ],
    [
      "0.376004223",
      "1.064980238",
      "0.128843510"
    ],
    [
      "1.033556588",
      "1.216444869",
      "0.128843509"
    ],
    [
      "1.380802867",
      "0.637880552",
      "0.128843509"
    ],
    [
      "0.937860505",
      "0.128843510",
      "0.128843510"
    ],
    [
      "0.316860790",
      "0.392805633",
      "0.128843509"
    ],
    [
      "0.584477401",
      "1.216444869",
      "0.128843509"
    ],
    [
      "1.242029766",
      "1.064980239",
      "0.128843509"
    ],
    [
      "1.301173198",
      "0.392805634",
      "0.128843509"
    ],
    [
      "0.680173485",
      "0.128843510",
      "0.128843510"
    ],
    [
      "0.237231123",
      "0.637880552",
      "0.128843510"
    ],
    [
      "0.635714582",
      "0.744500328",
      "0.107106781"
    ],
    [
      "0.809016995",
      "0.870411900",
      "0.107106781"
    ],
    [
      "0.982319407",
      "0.744500328",
      "0.107106780"
    ],
    [
      "0.916123776",
      "0.540771125",
      "0.107106781"
    ],
    [
      "0.701910214",
      "0.540771124",
      "0.107106781"
    ],
    [
      "0.165157957",
      "0.897393443",
      "0.140491749"
    ],
    [
      "0.809016994",
      "1.365184416",
      "0.140491749"
    ],
    [
      "1.452876032",
      "0.897393443",
      "0.140491749"
    ],
    [
      "1.206943764",
      "0.140491750",
      "0.140491749"
    ],
    [
      "0.411090225",
      "0.140491749",
      "0.140491749"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 31
}

当前第一名的答案

{
  "circles": [
    [
      "0.809016994",
      "0.688190961",
      "0.075114158"
    ],
    [
      "0.416311765",
      "0.815788624",
      "0.123586992"
    ],
    [
      "0.809016995",
      "1.101105674",
      "0.123586993"
    ],
    [
      "1.201722223",
      "0.815788625",
      "0.123586993"
    ],
    [
      "1.051722174",
      "0.354135941",
      "0.123586993"
    ],
    [
      "0.566311815",
      "0.354135940",
      "0.123586993"
    ],
    [
      "0.605008755",
      "0.968984215",
      "0.119467408"
    ],
    [
      "1.013025235",
      "0.968984215",
      "0.119467408"
    ],
    [
      "1.139109262",
      "0.580937482",
      "0.119467408"
    ],
    [
      "0.809016995",
      "0.341111412",
      "0.119467408"
    ],
    [
      "0.478924728",
      "0.580937481",
      "0.119467408"
    ],
    [
      "0.376004223",
      "1.064980238",
      "0.128843510"
    ],
    [
      "1.033556588",
      "1.216444869",
      "0.128843509"
    ],
    [
      "1.380802867",
      "0.637880552",
      "0.128843509"
    ],
    [
      "0.937860505",
      "0.128843510",
      "0.128843510"
    ],
    [
      "0.316860790",
      "0.392805633",
      "0.128843509"
    ],
    [
      "0.584477401",
      "1.216444869",
      "0.128843509"
    ],
    [
      "1.242029766",
      "1.064980239",
      "0.128843509"
    ],
    [
      "1.301173198",
      "0.392805634",
      "0.128843509"
    ],
    [
      "0.680173485",
      "0.128843510",
      "0.128843510"
    ],
    [
      "0.237231123",
      "0.637880552",
      "0.128843510"
    ],
    [
      "0.635714582",
      "0.744500328",
      "0.107106781"
    ],
    [
      "0.809016995",
      "0.870411900",
      "0.107106781"
    ],
    [
      "0.982319407",
      "0.744500328",
      "0.107106780"
    ],
    [
      "0.916123776",
      "0.540771125",
      "0.107106781"
    ],
    [
      "0.701910214",
      "0.540771124",
      "0.107106781"
    ],
    [
      "0.165157957",
      "0.897393443",
      "0.140491749"
    ],
    [
      "0.809016994",
      "1.365184416",
      "0.140491749"
    ],
    [
      "1.452876032",
      "0.897393443",
      "0.140491749"
    ],
    [
      "1.206943764",
      "0.140491750",
      "0.140491749"
    ],
    [
      "0.411090225",
      "0.140491749",
      "0.140491749"
    ]
  ]
}

提交 circles:恰好 n 个三元组 [x, y, r],每个数均为最多九位小数的十进制字符串(例如 "0.25")。容器为边长 1、底边水平、顶点朝上的正五边形:底边从 (t, 0) 到 (1 + t, 0),其中 t = cos 72° = (√5 − 1)/4,最左顶点在 (0, sin 72°)。 · 验证器 v1.0.0

DISCUSSION

讨论区

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