结果族 100：Cylinder coverings below the half-area bound · 学科：Convex and metric geometry · 验证状态：暂无形式化证明，请以社区核验为准
想象收起一把纸扇：扇骨一边平移一边缓缓转向，扫出一片扇面。这篇论文研究如何用一块块小三角形纸片盖住这类”扫出面”，证明只要切得够细，纸片总面积必然收敛到一个能精确算出的加权面积；作者还顺手造出反例，打破了”盖住四面体至少要花影子面积一半”的老猜想。
关键词卡片
看个具体例子
正四面体的 @@M@@A_{\min}=4\sqrt2@@，两圆柱的经典方案花 @@M@@2\sqrt2@@，恰好一半。本文让方向随位置倾斜 @@M@@\varepsilon@@，总费用比例 @@M@@I(\varepsilon)=1-\varepsilon^2/30+10\varepsilon^3+O(\varepsilon^4)@@：投影节省 @@M@@-\varepsilon^2/30@@ 是二阶的，补缝填充 @@M@@10\varepsilon^3@@ 是三阶的，@@M@@\varepsilon@@ 取小时前者稳赢，故 @@M@@I(\varepsilon)<1@@。先固定 @@M@@\varepsilon@@、再把区间细分到足够细，就得到严格低于一半的有限覆盖。
为什么值得关心
一个定理（径向扫掠的有限三角逼近）加一个反例（四面体半面积被打破），把 Bang 的半面积问题与方向归一化猜想一并解决，且构造初等、可逐步复算。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”收纸扇”可以再说准确些：研究对象是一条线段，它一边沿某方向平移、一边绕出发点缓缓转向，扫出一片立体；要做的事是把这场扫掠按时间切成小段，每段里把方向”冻结”住，于是那一段的扫出体就能被一根以三角形为底的柱筒罩住，问题变成算清这些三角形底的总面积。
第二级台阶
用向量语言：径向扫掠集形如 S={p₀+ρ(a+tb)+s(e+w(t))}，其中 t 在区间 J 内取值，ρ 是径向长度且不超过半径函数 R(t)，s 是沿线段的游动参数；e+w(t) 是随 t 变化的单位方向。对齐条件指方向的导数 w′(t) 恰好平行于当时的射线方向 a+tb。带标签分割把 J 切成小段并逐段选一个代表点 c_i，其最短段长称为网格 δ；加权面积 A 则是沿 J 的一个以 R(t)² 为被积主体的积分。
第三级台阶
定理 1.1 的语境是：只要扫掠满足对齐条件，对任意带标签分割都存在 N 个圆柱覆盖 S——第 i 根的轴平行于冻结方向 e+w(c_i)，底是非退化紧三角形——且总底面积当 δ→0 时收敛于加权面积 A。对齐条件挡住的麻烦是：方向的一阶变化全被径向坐标吸收，横向偏差只剩区间长度的二阶小量，面积才不会发散。推论 1.2 把它用到正四面体上：先固定小倾角 ε，使费用比例 I(ε)=1−ε²/30+10ε³+O(ε⁴) 小于 1（二阶节省压过三阶填充），再把区间细分到足够细，即得总底面积严格小于 A_min(K)/2 的有限覆盖，半面积问题与方向归一化猜想由此被否定。
本文证明满足对齐条件的径向扫掠集可用”每区间一个三角形底圆柱”的有限覆盖逼近，总底面积收敛于加权面积；据此构造出总底面积严格小于 @@M@@A_{\min}(K)/2@@ 的正四面体有限覆盖，同时否定 Bang 的半面积界与方向归一化的一维余维圆柱覆盖猜想。
三维中的圆柱（cylinder）指集合 @@M@@B+\mathbb{R} u@@：@@M@@u@@ 为单位方向，@@M@@B\subset u^\perp@@ 是垂平面上的可测底集，覆盖代价取底面积 @@M@@\area(B)@@。对凸体（convex body）@@M@@K@@，记 @@M@@A_{\min}(K)=\min_{\norm u=1}\area(\pi_{u^\perp}K)@@ 为最小正交投影面积。源自 Bang、经 Bezdek 问题 3.1 转述的半面积问题问：@@M@@K@@ 的任何有限圆柱覆盖，总代价是否至少为 @@M@@A_{\min}(K)/2@@？正四面体上两根沿对棱方向的圆柱恰好达到此值，长期被视为最优。更强的 Bezdek–Khan 一维余维圆柱覆盖猜想（1-Codimensional Cylinder Covering Conjecture）断言方向归一化代价 @@M@@\sum_i\area(B_i)/\area(\pi_{u_i^\perp}K)\ge 1/2@@，它蕴含半面积界；此前最好的下界只有 Bezdek–Litvak 对三维凸体的 @@M@@1/3@@。这些问题是木板覆盖（plank covering）从板宽到底面积的自然延伸，症结在于：让圆柱方向随位置逐段变化，能否省出面积？
定理 1.1（径向扫掠的有限三角逼近）：对径向扫掠集（radial sweep）
@@M@@D\mathcal S=\{p_0+\rho(a+tb)+s(e+w(t)):\ t\in J,\ 0\le\rho\le R(t),\ |s|\le L\},@@
若方向扰动满足对齐条件（alignment condition）@@M@@w'(t)=\lambda(t)(a+tb)@@，则对 @@M@@J@@ 的任意带标签分割（tagged partition）@@M@@\alpha=t_0<\cdots<t_N=\beta@@ 与任意标签 @@M@@c_i@@，存在 @@M@@N@@ 个圆柱覆盖 @@M@@\mathcal S@@：第 @@M@@i@@ 个的轴平行于冻结方向 @@M@@e+w(c_i)@@，底为非退化紧三角形；当网格 @@M@@\delta\to 0@@ 时，总底面积一致收敛于加权面积
@@M@@D\mathcal A=\kappa\int_\alpha^\beta\frac{R(t)^2}{2\sqrt{1+\norm{w(t)}^2}}\,dt,\qquad \kappa=|\det_P(a,b)|,@@
且把底换成各段实际扫掠的垂直投影时，极限相同。
推论 1.2（四面体反例）：任何正四面体 @@M@@K\subset\mathbb{R}^3@@ 都有有限圆柱覆盖 @@M@@B_i+\mathbb{R} u_i@@（@@M@@B_i@@ 为非退化紧三角形底），使得
@@M@@D\sum_i\area(B_i)<\frac{A_{\min}(K)}2,\qquad \sum_i\frac{\area(B_i)}{\area(\pi_{u_i^\perp}K)}<\frac12 .@@
半面积问题与三维方向归一化猜想由此同时得到否定回答。
第一步：冻结方向，给每个区间包一个三角形（第 2 节）。 在区间 @@M@@I@@ 上把方向冻结为 @@M@@v_I=e+w(c_I)@@，将扫掠点沿 @@M@@v_I@@ 平行移回平面 @@M@@P@@：径向坐标 @@M@@u=\rho+s\int_{c_I}^t\lambda@@ 可游动 @@M@@O(d_I)@@ 甚至变负，而横向偏差 @@M@@|v-m_Iu|@@ 只是区间长度 @@M@@d_I@@ 的二阶小量——这正是对齐条件的几何内核：方向的一阶变化恰好沿既有射线推动截距，可被径向坐标吸收。于是取三角形 @@M@@T_I@@：径向范围放宽为 @@M@@-Cd_I\le u\le R_I+Ad_I@@，横向半宽取 @@M@@\frac{d_I}2(u+Cd_I)@@，在负端收拢为零，从而同时包住横向误差与负向”领子”（negative collar），且 @@M@@R_I=0@@ 时仍非退化。@@M@@T_I@@ 沿 @@M@@v_I@@ 投影到垂平面仍是非退化三角形，柱体 @@M@@T_I+\mathbb{R} v_I@@ 覆盖不变；精确面积公式中领部只添 @@M@@O(d_I^2)@@，而 @@M@@\sum_I d_I^2\le\delta(\beta-\alpha)\to 0@@，故总面积收敛于 @@M@@\mathcal A@@。再以 @@M@@s=0@@ 截面的径向扇形（面元 @@M@@\kappa\rho\,d\rho\,dt@@）提供匹配下界，两面夹逼出”实际投影底”的同一极限。
第二步：四面体上两片重叠扫掠（第 3 节）。 先由 Cauchy 投影公式 @@M@@\area(\pi_{u^\perp}K)=\frac12\sum_jS_j|n_j\cdot u|@@ 算得 @@M@@A_{\min}(K)=4\sqrt2@@，经典的两对棱圆柱恰达一半。上扫掠取方向场 @@M@@(1,-\eps G(q),\eps\sqrt2\,q)@@，其中 @@M@@G(q)=\frac{1+q^2}2@@ 使 @@M@@G'(q)=q@@，对齐条件以 @@M@@\lambda=-\eps@@ 精确成立；径向帽 @@M@@R_\eps(q)=1+\eps^2(H(q)+5\eps)@@，@@M@@H(q)=\frac{q^2+q^4}2@@。覆盖论证用一条穿越引理（@@M@@C^1@@ 函数过中值可在导数非负处取到）：@@M@@K@@ 中每点都被两片扫掠各一条线段穿过；若两条线段的径向参数同时越界，一串一致估计最终逼出 @@M@@(p^2+q^2)/2+p^2q^2\le H(p)+H(q)@@，而帽中三次填充 @@M@@10\eps@@ 恰好压过累积误差 @@M@@9\eps@@，矛盾。代价展开给出 @@M@@I(\eps)=1-\frac{\eps^2}{30}+10\eps^3+O(\eps^4)<1@@：方向倾斜带来的投影二阶节省（@@M@@-\eps^2/30@@）胜过保证覆盖的三次填充（@@M@@10\eps^3@@）。先固定小 @@M@@\eps@@，再取足够细的分割，即得总代价严格低于 @@M@@A_{\min}(K)/2@@ 的有限覆盖；又因每个方向的投影面积都 @@M@@\ge A_{\min}(K)@@，归一化代价随之 @@M@@<1/2@@。
第三步：备选的”短梁”路线（第 4 节）。 把两条梁（beam）各缩短 @@M@@a@@，中间剩余斜带改用水平矩形底圆柱覆盖；一阶节省与带的代价精确抵消，总代价 @@M@@C(a)=4-\bigl(\frac{\sqrt2}2-\frac{19}{30}\bigr)a^2+O(a^3)@@ 的二阶项为负，同样严格省钱，与主构造互相印证。
本篇任务标注为未形式化，主结果暂无 Lean 证明，请以社区核验为准；不过全文是初等显式构造——四面体坐标、覆盖不等式与代价展开均可逐步复算，附录还给出有限包裹的显式公式与多边形备选。它与结果族 100 的姊妹篇互相支撑：本文的定理 1.1 直接保证”指定标签、每区间一个圆柱、三角形底”，同伴文章（关于直纹集的 RuledApproximation2026）把同类逼近纳入更一般的框架。按 OpenAI 官方声明，未经形式化的结果可能存在问题，读者引用前宜核对关键不等式。
问 1：证明中最关键、也最脆弱的一步是什么？
答：冻结方向的三角形构造（第 2 节 freezing）。对齐条件使横向偏差只是区间长度 d_I 的二阶小量，三角形底的”负领子”只添 O(d_I²)，而 Σd_I²≤δ(β−α)→0 保证收敛；一旦某段的横向估计掉到一阶，总面积就不再收敛到加权面积，定理整体塌掉。
问 2：对齐条件 w′(t)=λ(t)(a+tb) 为什么不能去掉？
答：它保证方向的一阶变化恰好沿既有射线推动截距，可被径向坐标 u 游动 O(d_I) 吸收。若方向乱摆，横向偏差升为一阶小量，每个三角形的宽度与 d_I 同阶，总产面积无法收敛；论文未讨论非对齐情形的任何替代定理。
问 3：与已有工作相比真正的新意在哪里？
答：Bezdek–Litvak 只有三维度量下界 1/3，Bezdek–Khan 猜想 1/2；本文不仅给出四面体反例，还首次证明”每区间一个三角形底圆柱”的有限逼近定理，使连续场的积分成本可被有限覆盖严格实现——反例不再依赖姊妹文的黑盒，构造初等、可逐步复算。
问 4：这个结果最可能以什么方式出错？
答：最危险的是费用展开 I(ε)=1−ε²/30+10ε³+O(ε⁴) 里的系数竞争：二阶节省 −ε²/30 与三阶填充 10ε³ 都是小量，任何系数或符号错误都会翻转”小于 1”的结论；其次，覆盖论证依赖穿越引理与一串一致估计（帽中 10ε 压过累积误差 9ε），余量只有 ε。论文未形式化，这些常数未经机器核验。
问 5：为什么要”先固定 ε、再细分区间”两个极限步骤，而不能一步到位？
答：单纯细分只能让总底面积收敛到加权面积，而未倾斜时的极限恰是 A_min(K)/2；必须先用倾斜把极限本身压到 1/2 之下（I(ε)<1），再细分逼近这个更小的值。两个参数的次序不可交换，这也是全文参数从场到网格逐层固定的原因。
问 6：三角形底换成实际扫掠的垂直投影，极限为何不变？
答：论文用两面夹逼：三角形底给出上界，s=0 截面的径向扇形（面元 κρ dρ dt）提供匹配下界，故换成各段实际投影底时极限仍是加权面积 A。这使定理对底的选择不敏感。
问 7：谁会用到这个结果？
答：圆柱覆盖与 plank 问题的研究者；同时第 4 节的短梁路线给出独立印证（C(a)=4−(√2/2−19/30)a²+O(a³) 二阶项为负），与姊妹篇的斜率场构造互为支撑，结果族 100 的三条路径由此闭合。
总评
一篇”定理+反例”齐活的工作：有限三角逼近定理把连续直觉变成可复算的有限构造，反例一举否定两个自然猜想；最大风险是结论压在系数竞争极窄的手工展开上且未形式化。