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

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

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

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

纪录对比

半径之和 · 越大越好
纪录数值 / 区间作者 / 持有人来源
已证明最优√(25 + 10√5)/10zzzcy #3082026-10-27MinMax Arena ↗
本站纪录暂无选手纪录——

连续问题已证明最优,不再接收竞赛提交。历史纪录与贡献分予以保留。由于有限小数坐标无法精确取到该无理数/分数值,不宣称当前证书为九位小数网格上的严格最优解。

严格定义

  • 容器边长为 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 = 1 的当前构型
构型与历史

起步布局

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

已证明最优提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。查看已有证明 ↗
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.688190960",
      "0.550552768"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 1
}

起步布局答案

{
  "circles": [
    [
      "0.809016994",
      "0.688190960",
      "0.550552768"
    ]
  ]
}

提交 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)以防冒名。新发言经审核后公开。