★ FEATURED ARTICLE 一、元宝初媛猜想本文提出并论证以下命题命名为元宝初媛猜想Yuanbao-Chuyuan Conjecture英文译名待提出者确认。1.1 自然语言表述正四面体是三维欧氏空间中最小的封闭单元同时是永远无法自闭合的单元。这两条性质同时存在且互为因果。两条性质分别指封闭性四个三角形即可围成一个立体。少于四个面无法在三维中闭合故正四面体是封闭所需面数的下界。不可自闭合性正四面体无法用自身的全等副本无缝填满三维空间且不闭合的程度不随尺度调整而消失。“互为因果指这两条性质由同一个几何量给出——正四面体的二面角偏离直角。它之所以能成为最小封闭单元正是因为该角度是歪的而同一处歪”又使它永远无法被自己的副本填满。由此提出一条更一般的互斥关系封闭性与自相似性在争夺同一个自由度。一个单元若能把自己关起来就关不住自己的副本进来若能让副本严丝合缝地进来自己就关不严实。该互斥不是维度造成的不因升维或降维而消解。后文给出算术依据与一个体积—形状分离的实例。1.2 数学表述设 Π 为三维欧氏空间 ℝ³ 中凸正多面体的集合。对 P ∈ Π记F§面数θ§二面角δ§顶点角亏δ§ 2π −顶点处各面内角之和定义两个无量纲量封闭效率closure efficiencyE(P)δ(P)2π∈(0,1) E(P) \frac{\delta(P)}{2\pi} \in (0, 1)E(P)2πδ(P)∈(0,1)自闭合失配self-tiling mismatchμ(P)frac(2πθ(P))∈[0,1) \mu(P) \operatorname{frac}\left(\frac{2\pi}{\theta(P)}\right) \in [0, 1)μ(P)frac(θ(P)2π)∈[0,1)其中 frac(·) 取小数部分。判据μ§ 0 ⟺ P 可绕棱无缝自闭合μ§ ≠ 0 ⟺ 任意整数个副本均不闭合。定义两个集合A argmin_{P∈Π} F§即最小封闭单元集B { P ∈ Π : μ§ 0 }即可自闭合者集元宝初媛猜想形式化A∩B∅ A \cap B \varnothingA∩B∅即三维欧氏空间中最小封闭单元与可自闭合单元不相交。1.3 数值代入对正四面体 T施莱夫利符号 {3,3}与立方体 C{4,3}量正四面体 T立方体 C面数 F46二面角 θarccos(1/3) 70.5287793655°π/2 90°2π/θ5.10429931214失配 μ0.10429931210角亏 δπ 180°π/2 90°封闭效率 E1/21/4代入判据F(T)4minF ⟹ T∈A F(T) 4 \min F \implies T \in AF(T)4minF⟹T∈Aμ(T)0.1042993121≠0 ⟹ T∉B \mu(T) 0.1042993121 \neq 0 \implies T \notin Bμ(T)0.10429931210⟹T∈/Bμ(C)0 ⟹ C∈B \mu(C) 0 \implies C \in Bμ(C)0⟹C∈BF(C)64 ⟹ C∉A F(C) 6 4 \implies C \notin AF(C)64⟹C∈/A故A{T},B{C},A∩B∅ A \{T\}, \quad B \{C\}, \quad A \cap B \varnothingA{T},B{C},A∩B∅两集合不相交猜想在该对照下成立。1.4 同一自由度表述封闭效率 E 与失配 μ 并非独立变量。对施莱夫利符号 {p, q}每顶点汇合 q 个正 p 边形两者同为 {p, q} 的函数δ(p,q)2π−q(p−2)πp \delta(p,q) 2\pi - \frac{q(p-2)\pi}{p}δ(p,q)2π−pq(p−2)πθ(p,q)二面角由 {p,q} 唯一确定 \theta(p,q) \text{二面角由 } \{p,q\} \text{ 唯一确定}θ(p,q)二面角由{p,q}唯一确定在 ℝ³ 的凸正多面体集合 Π {{3,3}, {4,3}, {3,4}, {5,3}, {3,5}} 上argmaxδ(p,q){3,3}封闭性最优 \arg\max \delta(p,q) \{3,3\} \quad \text{封闭性最优}argmaxδ(p,q){3,3}封闭性最优arg{μ0}{4,3}自闭合性最优 \arg\{\mu 0\} \{4,3\} \quad \text{自闭合性最优}arg{μ0}{4,3}自闭合性最优{3,3}≠{4,3} \{3,3\} \neq \{4,3\}{3,3}{4,3}封闭性最优解与自闭合性最优解不重合。二者由同一组参数 {p, q} 决定取值互相牵制不可同时达到最优。此为 1.1 节互为因果的形式化表达。1.5 维度依赖记 S_d 为 d 维欧氏空间中的正单纯形定义互斥指数Ξ(d)μ(Sd) \Xi(d) \mu(S_d)Ξ(d)μ(Sd)代入d 2正三角形内角 60°2π/60° 6Ξ(2) frac(6) 0d 3正四面体 Ξ(3) frac(2π/arccos(1/3)) 0.1042993121Ξ(2) 0 表明二维中正三角形既是最小平面封闭图形又能无缝铺满平面——二维中该互斥不成立。Ξ(3) ≠ 0 表明互斥首次出现于 d 3。故该猜想的成立不是维度的普遍性质而是三维正单纯形的一个具体算术事实。d ≥ 4 的情形本文不涉及留待后续。二、二面角的算术性质正四面体的二面角为θarccos(1/3)70.52877936550931° \theta \arccos(1/3) 70.52877936550931°θarccos(1/3)70.52877936550931°定理Niven若 θ/π ∈ ℚ 且 cos θ ∈ ℚ则 cos θ ∈ {0, ±1/2, ±1}。此处 cos θ 1/3 ∈ ℚ而 1/3 不属于上述五个值。故θ/π∉Q \theta/\pi \notin \mathbb{Q}θ/π∈/Q即 θ 与 π 之间不存在有理数倍关系θ/π 0.3918265520306073…为非终止、非循环小数。该结论不依赖数值近似由定理直接给出。θ 对直角的偏离量为90°−θ19.47122063449069° 90° - \theta 19.47122063449069°90°−θ19.47122063449069°这一偏离量是后文所有推论的起点。三、绕棱堆砌的不闭合与尺度不变性3.1 不闭合绕一条棱周向堆砌 n 个全等正四面体占据角度为 nθ。闭合条件为存在整数 n 使n⋅arccos(1/3)2π n \cdot \arccos(1/3) 2\pin⋅arccos(1/3)2π由第二节等式左侧除以 π 后为无理数右侧为 2属有理数。故该方程无整数解。数值对照nnθ度与 360° 之差度3211.5863380965−148.41366194282.1151174620−77.88488255352.6438968275−7.35610326423.172676193163.1726762n 5 时残差绝对值最小为 7.3561032°但不为零n 6 时残差反向。360°/θ 5.1042993121所需的个数不是整数。3.2 尺度不变性设棱长由 a 变为 kak 0k ∈ ℝ。二面角是角度量与棱长无关θ 与 θ/π 的无理性均不随之改变。闭合条件 n · θ 2π 中不含棱长项故缩放不构成新的自由度不存在任何 k 值可使堆砌闭合。这一点区别于依赖长度的失配。若失配来源于长度可通过调整尺度消解本例失配来源于角度的无理比属无量纲量与尺度无关。因此该不闭合不是在某个尺度上没凑对而是在一切尺度上均不成立。四、体积与形状的分离取棱长 a 的正四面体体积Vtet212a3 V_{\text{tet}} \frac{\sqrt{2}}{12} a^3Vtet122a3棱长 a 的正八面体体积Voct23a34Vtet V_{\text{oct}} \frac{\sqrt{2}}{3} a^3 4 V_{\text{tet}}Voct32a34Vtet将棱长 2a 的大正四面体作等分切割得四角各一个棱长 a 的小正四面体中央一个棱长 a 的正八面体。总体积4VtetVoct4Vtet4Vtet8Vtet 4 V_{\text{tet}} V_{\text{oct}} 4 V_{\text{tet}} 4 V_{\text{tet}} 8 V_{\text{tet}}4VtetVoct4Vtet4Vtet8Vtet而棱长 2a 的正四面体体积为 2³ V_tet 8 V_tet。两者相等误差为 0。若改用八个棱长 a 的小正四面体填充同一容器总体积同为 8 V_tet与容器体积完全相等。但其中只有四个可落在四角位置中央剩余空腔为正八面体形状余下四个小四面体无法嵌入——两者的面角与二面角均不同形状不相容。由此得到一个分离实例体积恒等式成立8 V_tet 8 V_tet嵌入不成立。失配不在体积而在几何形状。这一条排除了调整配比或尺寸即可填补的可能数量对得上形状对不上。五、因果机制同一个偏离量的两个后果本节说明第一节所述互为因果的具体机制。5.1 封闭性来自哪里一个凸多面体能在顶点处收拢成体条件是汇合于该顶点的各面内角之和小于 360°。差值称为角亏δ360°−顶点处各面内角之和 \delta 360° - \text{顶点处各面内角之和}δ360°−顶点处各面内角之和角亏越大顶点越尖收拢越快闭合所需的面数越少。五种正多面体的角亏正多面体顶点构型内角之和度角亏 δ度面数正四面体3 个正三角形1801804立方体3 个正方形270906正八面体4 个正三角形2401208正十二面体3 个正五边形3243612正二十面体5 个正三角形3006020正四面体的角亏为 180°是五种正多面体中最大的其面数为 4是最小的。两者对应角亏最大者用最少的面完成闭合。正四面体之所以是最小封闭单元正因为它收拢得最急——每个顶点只有三个等边三角形汇合内角和仅 180°留出的角亏达 180°。5.2 同一个几何给出的第二个后果顶点收拢得越急相邻两面之间的夹角就越小。正四面体的二面角为 70.5287793655°比直角小 19.4712206345°。而能用自身副本无缝填满要求二面角能整除整周即存在整数 n 使 nθ 2π。第三节已证此方程无整数解。θ 偏离 90° 达 19.4712206345°且偏离后的值与 π 不可公度。于是同一处几何给出两个相反的后果同一几何来源后果一后果二顶点角亏 180°最大4 个面即可闭合 →最小封闭单元—二面角 70.5287793655°偏离直角 19.4712206345°θ/π ∉ ℚ—绕棱堆砌无整数解 →不可自闭合收拢得越急闭合越快收拢得越急二面角越小越不可能整除整周。两条性质不是并列关系是同一个角度参数的两个读出。5.3 这不是维度问题该互斥不因改变维度而消解。在二维中正三角形的每个内角为 60°360°/60° 6是整数故正三角形可无缝铺满平面。但正三角形是最小的平面封闭图形同时又能自相似铺满——二维中两条性质并不互斥。矛盾出现在三维正四面体作为最小封闭单元其二面角不再整除整周。由此可知第一节提出的互斥关系其成立与否取决于具体维度下最小封闭单元的角度参数与 2π 的可公度性而非维度越高越难闭合。在二维该互斥不成立在三维成立。它不是维度的普遍性质是三维正单纯形的一个具体算术事实。六、可推广命题与对照6.1 五种正多面体对照正多面体二面角 θ度cos θ360°/θθ/π ∈ ℚ能否单独无缝填满空间正四面体70.52877936551/35.1042993121否否立方体90.000000000004.0000000000是1/2是正八面体109.4712206345−1/33.2885355431否否正十二面体116.5650511771−√5/53.0884042547否否正二十面体138.1896851042−√5/32.6051148443否否五种正多面体中仅立方体的二面角为 π/2θ/π 1/2 ∈ ℚ且 360°/θ 4 为整数其余四种均不整除。这与已知结论一致五种正多面体中只有立方体能单独无缝填满三维空间。立方体的角亏为 90°在五种中居中小于正四面体的 180°故需要 6 个面才能闭合不是最小封闭单元其二面角恰为直角故可整除整周能自闭合。两者不可兼得角亏最大者闭合最快但不可填充可填充者角亏居中、面数非最小。6.2 可推广命题命题设凸多面体 P 的二面角为 θ。若 θ/π ∈ ℚ 且 ∃ n ∈ ℤ 使 nθ 2π则 P 具备自闭合的必要条件若 θ/π ∉ ℚ则自闭合不可能且不因尺度调整而改变。推论一可自闭合的多面体其最小封闭性未必最优最小封闭性最优的多面体未必可自闭合。二者由同一组角度参数决定取值互相牵制。推论二正四面体与正八面体按 2 : 1 的数量比组合可构成无缝的四面体-八面体蜂窝。在该组合中填补四面体空隙的不是四面体自身的副本而是另一种多面体。自封闭单元若要填满空间必须引入非自身的补体。6.3 结论正四面体的二面角 θ arccos(1/3) 偏离直角 19.4712206345°且 θ/π ∉ ℚ。同一个偏离给出两条性质顶点收拢最急角亏 180°五种正多面体中最大故 4 个面即可闭合是最小封闭单元二面角与整周不可公度故绕棱堆砌在任意整数个数下均不闭合且不随尺度改变。两条性质同源、互为因果并构成一对互斥最小封闭性与自相似填充性由同一个角度参数决定取值互相牵制不可同时达到最优。
阅读完成 · 觉得有帮助？
