结果族 100：Cylinder coverings below the half-area bound · 学科：Convex and metric geometry · 验证状态：暂无形式化证明，请以社区核验为准
用木板盖住一件家具，木板总宽度至少得是家具的”最小宽度”——这是 Tarski 木板问题。三维换成无限长的圆柱管盖凸体，对应的猜想是：管子横截面的总面积至少是物体最薄影子面积的一半；正四面体上的两管方案恰好取等，看起来天衣无缝。本文说：不对——把管子掰得微微倾斜、再细分成一大把窄管，总面积能严格小于一半。
关键词卡片
@@M@@B+\mathbb{R} u@@ 的无限长管子，底面 @@M@@B@@ 位于与轴垂直的平面内。看个具体例子
棱长 2 的正四面体：@@M@@A_{\min}=\sqrt2\approx1.414@@，半面积猜想要求总面积 @@M@@\ge0.707@@。本文构造 @@M@@m=2\lceil2/\varepsilon^2\rceil@@ 个三角形底圆柱，总面积满足 @@M@@\frac{1}{\sqrt2}\sum_i|B_i|=\frac12-\frac{13}{6000}\varepsilon^2+O(\varepsilon^4)@@。取 @@M@@\varepsilon=0.1@@：约 400 根圆柱，节省约五万分之二——极小，但严格为正。
为什么值得关心
只需”严格小于”就足以推翻归于 Bang 的半面积猜想与更强的方向归一化版本；这也是该问题第一个完全显式的反例。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读从 Tarski 木板问题切入：用木板盖家具，总宽度至少是家具的最薄宽度；换成无限长圆柱管盖三维凸体，对应的猜想是管子横截面总面积至少是”最薄影子”面积的一半。导读点出的破局手法是：把取等的两管方案里的三角形底面细分成一把窄扇区，每根管子各自微微倾斜——倾斜让垂直底面乘上小于一的投影因子而省面积，风险是开缝。对象是”凸体＋一族圆柱”，操作是”细分、微倾、算总面积并核缝”。
第二级台阶
用本科术语定形。圆柱指底面 B 与轴垂直的无限长管 B+Ru；最小正交投影面积 A_min(K) 是凸体在所有方向的影子面积的最小值；方向化比值把每根圆柱的成本除以其轴向投影面积。一条关键性质是仿射不变性：可逆线性变换下分子分母同乘行列式，比值不变——这使正四面体上的反例自动波及一切非退化四面体。
第三级台阶
主定理的语境：取棱长 2 的正四面体，先算出 A_min=√2（经 Cauchy 投影公式逐面验证），再对每个小参数 ε 构造约 2⌈2/ε²⌉ 根紧三角形底的圆柱。假设侧要求覆盖对闭四面体的每一点（含面、棱、顶点）成立——防缝由两套机制保证：共享边界匹配让相邻扇区的轴在公共侧边共面，径向预算用 ε² 量级的外扩兜住二阶缝隙。结论是总面积恰为 1/2−(13/6000)ε²+O(ε⁴)，严格小于 A_min/2；归功于倾斜收益压过外扩代价的精确积分核算。推论经仿射不变性否定方向归一化半界，即 1-余维圆柱覆盖猜想不成立。
本文为正四面体构造出有限个圆柱组成的覆盖，其垂直底面（均为紧三角形）的总面积严格小于该四面体最小正交投影面积（minimal orthogonal projection area）的一半，从而推翻归于 Bang 的半面积圆柱覆盖猜想，并经仿射不变性否定更强的方向归一化半界猜想。
这个问题是 Tarski 木板问题（plank problem）的圆柱类比。Bang 在 1951 年证明凸体的有限木板覆盖的总宽度不小于其最小宽度，Ball 又对中心对称体给出按方向归一化的精化。在三维中把木板换成圆柱 @@M@@C=B+\mathbb{R} u@@（底面 @@M@@B@@ 位于与轴垂直的平面内），Bezdek 与 Bezdek–Litvak 记录了归于 Bang 的问题：任何有限圆柱覆盖是否总有 @@M@@\sum_i|B_i|\ge\tfrac12 A_{\min}(K)@@？正四面体的两圆柱覆盖（两轴平行于一对对棱）恰好取等，暗示 @@M@@\tfrac12@@ 可能是最优常数。Bezdek–Litvak 证明了方向化下界 @@M@@\mathcal R\ge\tfrac13@@（椭球体则 @@M@@\ge1@@），Bezdek–Khan 进一步提出 @@M@@\mathcal R\ge\tfrac12@@ 的”1-余维圆柱覆盖猜想”（1-Codimensional Cylinder Covering Conjecture）；Verreault 的 2026 年综述仍把半面积问题列为未决。卡点在于：取等的例子看似刚性，没人知道能否扰动它以压低成本而不留缝隙。
论文取棱长 @@M@@2@@ 的正四面体 @@M@@K@@（顶点 @@M@@(\pm1,0,0)@@、@@M@@(0,\pm1,H)@@，@@M@@H=\sqrt2@@）。主定理断言：@@M@@A_{\min}(K)=\sqrt2@@，且对每个 @@M@@0<\eps\le1/2000@@，闭四面体 @@M@@K@@ 容许由 @@M@@m=2\lceil2/\eps^2\rceil@@ 个具紧三角形垂直底的圆柱覆盖，其总面积满足 @@M@@\frac{1}{\sqrt2}\sum_i|B_i|=\frac12-\frac{13}{6000}\eps^2+O(\eps^4)@@（余项绝对值至多 @@M@@2\eps^4@@），故严格小于 @@M@@A_{\min}(K)/2@@。推论：任何非退化四面体 @@M@@T@@ 都容许有限覆盖使 @@M@@\sum_i|B_i|/|\pi_{u_i^\perp}T|<\tfrac12@@，即 1-余维圆柱覆盖猜想不成立；其证明是验证方向化比值在可逆仿射映射下不变（分子分母同乘 @@M@@|\det L|@@）。扩展章节还允许径向余量随倾角趋于零，得到规范化成本 @@M@@\tfrac12-\tau^2/240+(25/2)\tau^3+O(\tau^4)@@，覆盖对 @@M@@0<\tau\le1@@ 成立，严格节省对 @@M@@0<\tau\le1/4000@@ 成立。
构造从 Bang 的等式覆盖出发：下半段 @@M@@t\le1/2@@ 由平行 @@M@@x@@ 轴的圆柱覆盖，上半段 @@M@@t\ge1/2@@ 由平行 @@M@@y@@ 轴的圆柱覆盖，两个底三角形面积各为 @@M@@H/4@@，总成本恰为 @@M@@A_{\min}/2@@。核心想法是把两个三角形底面按斜率参数 @@M@@q@@ 细分成 @@M@@n@@ 个窄的角度扇区（angular sector），给每个扇区配一条自己的微倾轴线 @@M@@(1,\eps\alpha_j,H\eps\beta_j)@@：倾斜使垂直底面乘上小于 @@M@@1@@ 的投影因子 @@M@@[1+\eps^2(\alpha_j^2+2\beta_j^2)]^{-1/2}@@，从而省面积；但相邻扇区之间、两族之间可能开缝。防缝有两套机制。其一是共享边界匹配：规定边界位移 @@M@@\phi(q)=(1-q^2)/4@@，解端点方程 @@M@@\alpha_j-q\beta_j=\phi(q)@@ 得 @@M@@\alpha_j=(1+q_jq_{j+1})/4@@、@@M@@\beta_j=(q_j+q_{j+1})/4@@，使相邻扇区的轴在公共侧边处张成同一平面。角度方向的覆盖用”首次跨越”论证：序列 @@M@@F_i@@ 的首尾为 @@M@@-t\le y\le t@@，取第一个 @@M@@F_i\ge y@@ 的指标即把 @@M@@y@@ 夹住——全程不要求 @@M@@F_i@@ 单调。其二是径向预算：在两族交界 @@M@@t\approx1/2@@ 处，两个选定截面的径向高度一阶变化恰好相反（@@M@@-\eps xy@@ 与 @@M@@+\eps xy@@，正源于 @@M@@\beta_j\simeq q/2@@ 的选择），相加后只剩二阶项。于是把每个扇区径向外扩 @@M@@\eps^2M_j@@（@@M@@M_j=\eta+\max d@@，@@M@@d(q)=q^2(1+q^2)/16@@，@@M@@\eta=1/1000@@），再证两个选定圆柱不可能同时失效：否则径向预算恒等式导出 @@M@@0>2\eta-(2+2\eta)\eps-\eps^2/4>0@@ 的矛盾，覆盖对闭四面体的每一点（含面、棱、顶点）成立。最后算账：对精确面积公式 @@M@@S/H=\sum_j\Delta T_j^2[1+\eps^2(\alpha_j^2+2\beta_j^2)]^{-1/2}@@ 关于 @@M@@z=\eps^2@@ 做一致 Taylor 展开（二阶导一致有界 @@M@@59/64@@），再把 Riemann 和换成积分——网格 @@M@@\Delta\le\eps^2@@ 保证圆柱数目增长不侵蚀误差，总误差 @@M@@O(\eps^4)@@。积分值 @@M@@\int d=1/15@@、@@M@@\int A=17/30@@ 给出 @@M@@S/\sqrt2=\tfrac12+(2\eta-\tfrac1{240})\eps^2+O(\eps^4)@@；代入 @@M@@\eta=1/1000@@ 得负系数 @@M@@-13/6000@@，即外扩的面积代价小于倾斜的收益。最小投影面积本身由 Cauchy 投影公式的面积向量形式逐面验证。
本文未形式化，主结果应以社区核验为准。它在结果族 100 中给出最直接、完全自足的显式构造：姊妹篇《Finite cylinder approximation of ruled sets》提供”连续线段族到有限圆柱”的抽象机器，《Slope-field perturbations of the two-cylinder covering》用斜率场给出独立的流场构造；本文零余量极限的二次系数 @@M@@-1/240@@ 与后者平方零构造的系数一致，三篇互相印证同一否定结论。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：构造里最关键、最脆弱的一步是什么？
答：防缝论证的收口。细分与微倾天然在两处开缝：相邻扇区的公共侧边、以及上下两族圆柱交界的 t≈1/2。前者靠共享边界匹配（端点方程 α_j−qβ_j=φ(q)，φ(q)=(1−q²)/4）让相邻轴共面，配合”首次跨越”夹逼（不要求 F_i 单调）；后者靠两选定截面径向高度的一阶项 ±εxy 相消、只剩二阶项，再各外扩 ε²M_j。最后”两圆柱不可能同时失效”以 0>2η−(2+2η)ε−ε²/4>0 的矛盾收口——余量薄如纸，系数错一个符号整个构造漏风。
问 2：只在正四面体上构造，凭什么否定所有四面体上的猜想？
| 答：靠方向化比值的仿射不变性：可逆仿射映射把任意非退化四面体映到正四面体，比值的分子分母同乘 | det L | 而不变。这是推论的全部内容。对一般凸体（非四面体）论文不做声明，反例的推广范围论文未展开。 |
问 3：与已有工作相比真正新意是什么？
答：Bezdek–Litvak 证明方向化下界 R≥1/3，Bezdek–Khan 提出 1-余维圆柱覆盖猜想 R≥1/2，Verreault 2026 年综述仍将半面积问题列为未决；正四面体的两管取等看起来刚性得无法扰动。本文给出第一个完全显式、完全自足的反例：微倾加细分把取等方案的成本严格压到一半之下。
问 4：节省只有 13/6000·ε²，这么小的余量可靠吗？
答：这正是最该盯的地方。总面积公式按 z=ε² 做一致 Taylor 展开（二阶导一致界 59/64）、Riemann 和换积分（网格 Δ≤ε² 保证圆柱数增长不侵蚀误差），最后系数 2η−1/240 依赖 η=1/1000 与两个积分值 ∫d=1/15、∫A=17/30 的精确配合。交叉印证是存在的：零余量极限的二次系数 −1/240 与姊妹篇斜率场构造的系数一致，三篇同族互证同一否定结论。
问 5：AI 生成、暂无形式化的证明最可能错在哪？
答：典型风险是几何簿记：边界位移方程的解 α_j、β_j 是否真的使轴共面、”首次跨越”指标在 F_i 非单调时是否总夹得住、外扩量 M_j=η+max d 的最大值取在哪、以及闭四面体棱与顶点处的覆盖边界情形。这类多常数协同的显式构造，一处算错就整体失效；无形式化时宜先数值复核覆盖与面积。
问 6：推翻 1/2 之后，正确常数是多少？
答：论文未展开。已知方向化下界只剩 Bezdek–Litvak 的 1/3，上端被本构造压破 1/2；最优常数落在 (1/3,1/2) 之内还是可以更低，留为公开问题。扩展章节倒是表明微倾机制在径向余量趋于零时仍保有 −τ²/240 的二阶节省。
问 7：谁会关心这个结果？
答：凸几何与覆盖理论社区：它是 Tarski 木板问题圆柱类比的决定性反例，直接否决 Bezdek–Khan 猜想；对研究 Bang 型问题、投影不等式与仿射不变量的人，显式构造比纯存在性更可复用——同族的抽象逼近机器与斜率场构造都以它为基准情形。
总评
用一把微倾窄管把看似刚性的取等覆盖撬开一条严格为正的缝，构造完全显式、自足，是该问题第一个反例，分量实在。最大风险是多层小余量常数的簿记错误且无形式化兜底，好在同族三篇的系数互证提供了部分保险。