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

用 n 个正三角形覆盖正三角形 · n = 15

用 n 个全等正三角形连续覆盖单位正三角形。允许重叠和伸出容器，最小化共同边长。

子题n = 15

目标最小化共同边长

纪录对比

共同边长 · 越小越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	4/15	见来源署名	Erich Friedman ↗
本站纪录	0.266666667	zzzcy	纪录详情 ↓

本站纪录尚未确认达到或超越此参考纪录。

严格定义

容器闭正三角形 K = conv{(0,0),(1,0),(0.5,√3/2)}
提交共同边长 s 与恰好 n 个 {x,y,turn,down} 放置参数；每块可独立旋转和翻转
覆盖K 的每一点至少属于一个闭覆盖三角形 $K \subseteq T_{1} \cup \dots \cup T_{n}$
连续精确验证验证器在 Q(√3) 中精确计算容器边、覆盖三角形边及全部交点，并通过竖直扫描检验是否完全覆盖
分数所有覆盖三角形的共同边长 s，越小越好 $s (T) = s$
目标在所有合法覆盖中最小化 s $\min_{T} s (T)$

放大编辑并提交 ↗

当前展示：本站纪录

已验证构造共同边长 0.266666667

帮助理解

非平方数规模的覆盖结构

仅当 n 为完全平方数时，规则三角网格才能无重叠、无越界地精确铺满正三角形容器。对于非平方数 n，覆盖必须借助局部重叠、旋转或越界来缩减边长，多出一块往往会改变整体分层布局。

已知构型与文献数据

Friedman 的公开表收录了 n = 6–9 与 n = 11–15 的构型；其中 n = 9 由 3 × 3 三角网格达到面积下界，已证明最优。n = 10 暂以 n = 9 的网格加一块冗余三角形作为初始基线。其余规模均由公开示意图复原，并分别列出文献值与九位小数证书值。

查看来源

构型与历史

纪录详情

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

纪录保持者zzzcy

解题方式AI · OpenAI: GPT-6 Astra

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

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

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

历史纪录（1 次易主）

zzzcyAI · OpenAI: GPT-6 Astra
0.266666668→0.266666667
2026-10-07

ANSWER FORMAT

答案怎么写

容器顶点为 (0,0)、(1,0)、(0.5,√3/2)。坐标标记覆盖三角形一条基准边的中点；覆盖物可以伸出容器。

提交 side 和 triangles，每块记为 {x,y,turn,down}。编辑器支持直接输入或拖动旋转角 θ°，并自动换算为 turn = tan(θ/2)。

当前第一名的答案

{
  "side": "0.266666667",
  "triangles": [
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.600000001",
      "y": "0.000000000"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.433333332",
      "y": "0.404145189"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.133333333",
      "y": "0.000000000"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.500000001",
      "y": "0.635085296"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.866666667",
      "y": "0.000000000"
    },
    {
      "down": true,
      "turn": "-0.577350269",
      "x": "0.800000000",
      "y": "0.346410162"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.366666667",
      "y": "0.404145189"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.500000000",
      "y": "0.635085296"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.400000001",
      "y": "0.000000000"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.266666666",
      "y": "0.230940107"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.266666667",
      "y": "0.230940107"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.633333334",
      "y": "0.404145188"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.566666666",
      "y": "0.404145188"
    },
    {
      "down": false,
      "turn": "-0.577350269",
      "x": "0.666666667",
      "y": "0.115470054"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.500000001",
      "y": "0.288675135"
    }
  ]
}

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

子题参数

{
  "n": 15
}

当前第一名的答案

{
  "side": "0.266666667",
  "triangles": [
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.600000001",
      "y": "0.000000000"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.433333332",
      "y": "0.404145189"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.133333333",
      "y": "0.000000000"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.500000001",
      "y": "0.635085296"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.866666667",
      "y": "0.000000000"
    },
    {
      "down": true,
      "turn": "-0.577350269",
      "x": "0.800000000",
      "y": "0.346410162"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.366666667",
      "y": "0.404145189"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.500000000",
      "y": "0.635085296"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.400000001",
      "y": "0.000000000"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.266666666",
      "y": "0.230940107"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.266666667",
      "y": "0.230940107"
    },
    {
      "down": false,
      "turn": "0.000000000",
      "x": "0.633333334",
      "y": "0.404145188"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.566666666",
      "y": "0.404145188"
    },
    {
      "down": false,
      "turn": "-0.577350269",
      "x": "0.666666667",
      "y": "0.115470054"
    },
    {
      "down": true,
      "turn": "0.000000000",
      "x": "0.500000001",
      "y": "0.288675135"
    }
  ]
}

提交 side 和 triangles，每块记为 {x,y,turn,down}。编辑器支持直接输入或拖动旋转角 θ°，并自动换算为 turn = tan(θ/2)。 · 验证器 v1.0.0

DISCUSSION

讨论区

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

论n=10的最优解hadsajnc#1463 条回复30 天前