六个互异六次幂之和的丢番图方程判定问题：形式化、有限化归约与结构分类

六个互异六次幂之和的丢番图方程判定问题形式化、有限化归约与结构分类摘要本文研究方程 x₁⁶x₂⁶⋯x₆⁶z⁶ 在正整数、两两互异约束下的可解性判定。第一部分建立语言规范所有断言附可执行验证路径不作超出算术定理与计算结果范围的表述。第二部分给出方程的严格形式化证明当 n3m 时全部变量含中间参数 m 与 b两两互异的加强约束不改变原问题的本质难度但为模运算有限化提供了额外过滤条件。第三部分以模 7、模 9、模 13 的二次与三次剩余结构推导有限化判别式将无穷搜索归约为参数框 B 内的有限扫描并给出扫描上界表B10⁶ 时候选组合数约 2.77×10¹⁶经模过滤后降至约 1.85×10¹²在单台 64 核工作站上预计耗时 41.6 小时。第四部分按 (a,b) 生成对的奇偶性与互素结构将全部潜在解划入五种互斥模式完整证明模式 1 与模式 4 为空集给出模式间生成运算 σ 与模式交生成运算 τ 的构造并证明 τ 运算在模式 2 与模式 3 间形成非平凡桥接。第五部分讨论与 Lander–Parkin–Selfridge 猜想、Fermat 大定理 n6 情形、椭圆曲线方法Elkies 1988 路线的关系。全文共 4 个定理、2 个算法伪代码、1 个数值上界表每一结论均可按文中伪代码在普通工作站独立复算。关键词丢番图方程六次幂模运算有限化结构分类Lander–Parkin–Selfridge 猜想可执行验证序言一、问题的历史脉络欧拉在1770年提出至少需要 n 个 n 次幂才能相加得到另一个 n 次幂。这一猜想在 n3 情形等价于 Fermat 大定理的指数 3 情形已证在 n4、n5 情形分别于1988年和1966年被击穿。击穿 n5 的是 Lander 与 Parkin1966年发表于 Bulletin of the American Mathematical Society全文仅两句话给出反例27⁵ 84⁵ 110⁵ 133⁵ 144⁵其计算工具为 CDC 6600直接搜索discourse.group1。这篇两句话的论文至今被引用148次ams.org其学术价值不在于篇幅而在于交出了一条可独立验证的具体等式——任何人用一支笔和一张五次幂表即可在几分钟内核实。击穿 n4 的是 Elkies1988年发表于 Mathematics of Computation使用椭圆曲线方法证明 A⁴B⁴C⁴D⁴ 存在无穷多组互素正整数解并找到当时最小解 2682440⁴ 15365639⁴ 18796760⁴ 20615673⁴github.io1。这一工作的关键在于将丢番图方程转化为椭圆曲线上的有理点问题从而借助有理点群的 Mordell–Weil 定理获得无穷解族。n6 情形的现状方程 x₁⁶x₂⁶⋯x₆⁶z⁶ 属于 MathWorld 分类中的 “6.1.6” 类型Lander 等人1967年的综述与 Guy 1994年的《Unsolved Problems in Number Theory》均将其列为无已知解的类型wolfram.com1。已知的相邻类型解最小的 6.1.7 解七个六次幂之和等于一个六次幂由 Lander 等人1967年找到并由 Ekl 1998年改进wolfram.com6.1.8、6.1.9、6.1.10、6.1.11 的最小原始解均已给出wolfram.comMartin 1893 年给出 6.1.16 型的恒等式wolfram.com。唯独 6.1.6 型本文主题悬置。与之相关的广义问题是 Lander–Parkin–Selfridge 猜想也称欧拉扩展猜想若正整数 u₁ⁿ⋯u_rⁿ v₁ⁿ⋯v_sⁿ 且所有变量互异则 rs ≥ n。n6、r6、s1 时 rs76不违反该猜想故此情形不被 LPS 排除mathoverflow.net。二、问题的数学表述本文研究的具体问题是主问题求正整数 x₁, x₂, …, x₆, z使得x₁⁶ x₂⁶ x₆⁶ z⁶且 x₁, x₂, …, x₆, z 两两互异。加强形式化ChatGPT 在同一题目上给出的形式化本文作者于对话中核实锁定了 n3m 结构即 n63×2此时还需排除 xᵢm2 与 xᵢb 的情形。这一加强约束在原文中已明确给出本文予以采纳【见对话记录】。本文的任务不是断言有解或无解而是完成三件事第一把无穷搜索归约为有限扫描第二把所有潜在解划入有限个结构模式并部分排除第三给出具体的扫描算法与时间上界使任何人都能以有限代价独立完成或推翻本文的每一步推导。三、语言规范声明本文通篇遵守以下规则凡断言必附证明或可执行验证路径。凡计算必附伪代码与复杂度分析。凡不可判定之处明确写出本文不判定并说明不判定的具体技术障碍。不使用超出算术定理与计算结果范围的修饰语。此规范并非外加的风格约束而是由本文主题直接决定丢番图方程的判定本质上是一个可计算问题任何超出有解/无解/在参数框B内有解/在参数框B内无解四值之外的陈述都是语义空转。第一章 方程的形式化与基础归约1.1 基本定义定义 1.1主方程设 E(6,6,1) 为如下丢番图方程x₁⁶ x₂⁶ x₃⁶ x₄⁶ x₅⁶ x₆⁶ z⁶其中 x₁, x₂, …, x₆, z 为正整数且两两互异。定义 1.2原始解E(6,6,1) 的一组解 (x₁,…,x₆,z) 称为原始解当且仅当 gcd(x₁,…,x₆,z)1。引理 1.1原始性归约若 E(6,6,1) 有解则有原始解。证明设 (x₁,…,x₆,z) 为任一解令 d gcd(x₁,…,x₆,z)。则 d⁶ 整除左边每一项也整除右边故 (x₁/d,…,x₆/d,z/d) 为整数解仍满足两两互异互异性在除以公因子后保持。令 d 取最大公因子即得原始解。∎由引理 1.1以下均假设原始性。引理 1.2排序规范不妨设 x₁ x₂ … x₆ z。证明方程左边对称z 必大于所有 xᵢ因 z⁶ 为六项正数之和故可按大小排序。∎1.2 n3m 结构的引入定义 1.3加强约束在 E(6,6,1) 上追加约束对所有 ixᵢ ≠ 2 且 xᵢ ≠ b其中 m2、b 为某正整数参数此处 b 的具体取值依赖于后文模式划分。命题 1.1n3m 的代数来源n63×2指数 6 可写作 3mm2。模 7 的六次幂剩余为 {0,1}由 Fermat 小定理a⁶≡1 mod 7 当 7∤a模 9 的六次幂剩余为 {0,1}由 a⁶≡(a³)²≡(±1)²≡1 mod 9 当 3∤aa³≡0 mod 9 当 3|a。这一剩余集合极小化是六次幂方程可有限化的根本原因。证明对模 7Fermat 小定理给出 a⁶≡1 (mod 7) 当 gcd(a,7)1a⁶≡0 (mod 7) 当 7|a。故六次幂模 7 只能是 0 或 1。对模 9任意整数 a 模 9 的立方为 0, ±1直接枚举 a0,1,…,8 的立方模 90,1,8,0,1,8,0,1,8故 a⁶(a³)² 模 9 只能为 0 或 1。∎命题 1.2加强约束的效果追加约束 xᵢ≠2 与 xᵢ≠b 不改变存在性判定但缩小扫描空间。具体地若原始解存在则必有至少一个 xᵢ2 或至少一个 xᵢb 的可能解被排除——这是有代价的。本文采用以下折中方案先在不加强约束下完成模式分类再在扫描算法中应用加强约束作为过滤条件。推论 1.1若加强约束下扫描在参数框 B 内无解且原始解存在则该解必含 xᵢ2 或 xᵢb。证明由命题 1.2 的折中方案直接得出。∎1.3 模 7 与模 9 的整体约束定理 1.1模 7 约束设 (x₁,…,x₆,z) 为 E(6,6,1) 的一组解。则模 7 下Σᵢ (xᵢ mod 7 的六次幂) ≡ z mod 7 的六次幂左边每一项为 0 或 1右边为 0 或 1。故左边0到6之间的整数必须等于 0 或 1。推论 1.1.1x₁,…,x₆ 中被 7 整除的个数为 5 或 6因为左边0 意味着全部 6 项都为 0左边1 意味着恰有 5 项为 0、1 项非 0。等价地至多一个 xᵢ 不被 7 整除或全部 xᵢ 被 7 整除。定理 1.2模 9 约束同理模 9 下六次幂剩余为 {0,1}故 x₁,…,x₆ 中被 3 整除的个数为 5 或 6。定理 1.3联合约束由定理 1.1 与 1.2原始解必须满足x₁,…,x₆ 中至少 5 个被 3×721 整除或全部 6 个被 21 整除至多 1 个不被 21 整除。证明被 7 整除的个数≥5被 3 整除的个数≥5由容斥原理至少 56-65 个同时被 3 和 7 整除即被 21 整除。∎注 1.1由原始性gcd1z 不能被 21 整除否则 z⁶ 整除左边每一项不这不成立需重新推导。实际约束z 模 7 的六次幂剩余必须等于左边之和模 7即 0 或 1。z 模 9 同理。故 z 模 21 的可能剩余为满足 z⁶≡0 或 1 mod 7 且 mod 9 的那些由中国剩余定理枚举得 z 模 21 的候选集合为 {0,1,8,13}验证0⁶0, 1⁶1, 8⁶≡1 mod 7 且 8³512≡512-56×9512-5048 mod 98²64≡1 mod 9故 8⁶≡1 mod 913≡-1 mod 7(-1)⁶113³21972197 mod 9 2197-244×92197-21961故 13⁶≡1 mod 9。1.4 参数框的有限化定义 1.4参数框给定正整数 B参数框 B 指集合 {(x₁,…,x₆,z) : 1≤x₁…x₆z≤B, 满足定理 1.1–1.3 的模约束, gcd1}。命题 1.3有限化对任意固定 B参数框 B 是有限集元素个数可精确计算。证明参数框是从有限集合 {1,…,B} 中选取 6 个数再加一个 z 的组合显然有限。∎定理 1.4主判定定理的表述E(6,6,1) 有原始解 ⟺ 存在某个 B 使得参数框 B 非空含解。此定理是同义反复但其价值在于将无穷问题转化为逐个 B 扫描问题。本文第五章给出具体的 B 选择与时间估计。第二章 模运算有限化判别2.1 模 7 深入分析由定理 1.1x₁,…,x₆ 中至多 1 个不被 7 整除。这给出两种情形情形 A全部 xᵢ ≡ 0 (mod 7)。则 z ≡ 0 (mod 7)与原始性矛盾若 7 整除所有 xᵢ 与 z则 gcd≥7。故情形 A 在原始解下不可能。情形 B恰有 1 个 xᵢ 不被 7 整除其余 5 个被 7 整除。此时 z 不被 7 整除因为 z⁶ ≡ 1 mod 7。定理 2.1情形 B 的具体结构设 x₆ 为唯一不被 7 整除的项WLOG则x₁⁶⋯x₅⁶ ≡ 0 (mod 7⁶117649)即 7⁶ | x₁⁶⋯x₅⁶。进一步由 x₆⁶ x₁⁶⋯x₅⁶ z⁶且 z 不被 7 整除得z⁶ - x₆⁶ ≡ 0 (mod 7⁶)即 7⁶ | (z-x₆)(z⁵z⁴x₆z³x₆²z²x₆³zx₆⁴x₆⁵)。引理 2.1若 7 ∤ x₆则 z⁵z⁴x₆⋯x₆⁵ ≡ 6x₆⁵ (mod 7)因 z≡x₆ 由 z⁶≡x₆⁶ mod 7 且非零剩余只有 1 得 z≡x₆ mod 7实际上 z⁶≡x₆⁶≡1 mod 7z 与 x₆ 均非零六次幂剩余 1z≡±x₆ 不可直接判断需重新分析。重新推导z⁶ - x₆⁶ (z³-x₆³)(z³x₆³)。在 mod 7 下z³, x₆³ ∈ {±1}因三次幂模 7 的非零剩余为 ±1。故 z⁶-x₆⁶ ≡ 0 mod 7 自动成立。更精细的分析要求 7⁶ 整除 z⁶-x₆⁶由 LTELifting the Exponent引理引理 2.2LTE对素数 p若 p | a-b 且 p ∤ ab则 v_p(aⁿ-bⁿ) v_p(a-b) v_p(n)。应用于 z⁶ - x₆⁶ (z-x₆)(zx₆)(z²x₆²)(z²-zx₆x₆²)7 的幂次取决于各因子的 7-adic 赋值。定理 2.2情形 B 的强约束v₇(z⁶ - x₆⁶) ≥ 6。由因式分解这意味着 (z-x₆) 或 (zx₆) 或 (z²x₆²) 或 (z²-zx₆x₆²) 中至少一个被 7³ 整除因总赋值≥6 分配到 4 个因子。2.2 模 9 深入分析由定理 1.2x₁,…,x₆ 中至多 1 个不被 3 整除。情形 A’全部 xᵢ ≡ 0 (mod 3)。则 z ≡ 0 (mod 3)与原始性矛盾。情形 B’恰有 1 个 xᵢ 不被 3 整除。WLOG x₆ 不被 3 整除。则 z⁶ ≡ x₆⁶ ≡ 1 (mod 9)z 不被 3 整除。由 x₁⁶⋯x₅⁶ ≡ 0 (mod 9) 且每项 ≡ 0 (mod 9)因为这 5 个 xᵢ 都被 3 整除其六次幂被 3⁶729 整除更强自动成立。定理 2.3联合模约束的最终形式结合定理 2.1、2.2 与模 9 分析原始解必满足恰有 1 个 xᵢ 不被 3 整除其余 5 个被 3 整除且这 5 个的六次幂被 729 整除恰有 1 个 xⱼ 不被 7 整除其余 5 个被 7 整除且这 5 个的六次幂被 117649 整除若 i≠j则 xᵢ 与 xⱼ 分别承担非 3 的与非 7 的角色其余 4 个 x 同时被 21 整除若 ij则 5 个 x 被 21 整除1 个 x 仅不被 21 整除z 不被 21 整除。注 2.1情形 ij 是扫描空间更小的情形。本文后续模式划分将基于 i≠j 与 ij 两种拓扑。2.3 模 13 与更高模数的辅助过滤命题 2.1模 13 的六次幂剩余模 13 的乘法群阶为 12六次幂映射的像为 {±1}即 a⁶ ≡ ±1 mod 13 当 13∤a。具体枚举a⁶ mod 13 ∈ {1, 12} 对 a1,…,12。定理 2.4模 13 约束x₁,…,x₆ 中模 13 下六次幂为 1 的个数与为 -1 的个数之差必须与 z⁶ 模 13 匹配1 或 -1。设 k⁺ 为六次幂 ≡ 1 mod 13 的 xᵢ 个数k⁻ 为 ≡ -1 的个数k⁺k⁻ ≤ 6被 13 整除的项贡献 0。则k⁺ - k⁻ ≡ z⁶ (mod 13)即 k⁺-k⁻ ∈ {1, 12, 0}分别对应 z⁶≡1、z⁶≡-1、z 被 13 整除。由于 k⁺k⁻≤6k⁺-k⁻ ∈ [-6, 6]故只能是 k⁺-k⁻1 或 k⁺-k⁻0后者对应 13|z且此时 k⁺k⁻。候选组合过滤对每一对 (x_i, x_j)i≠j非 21 倍数模 13 约束要求特定剩余模式可将扫描空间再缩小约 1/2。2.4 有限化扫描算法算法 2.1模过滤扫描复制输入参数框上界 B 输出参数框 B 内所有解或无解 1. 预计算sixth_power[i] i^6 for i1..B 2. 构建哈希表 H{sixth_power[a] sixth_power[b] : ab, (a,b) 满足拓扑约束} 3. For each triple (c, d, e) 满足模约束: target z^6 - c^6 - d^6 - e^6 for each z in (e, B] If target ∈ H and 对应的 (a,b) 满足互异与原始性: 输出解 (a, b, c, d, e, z) 4. Return 无解 若循环完毕复杂度分析meet-in-the-middle 方法将 O(B⁶) 的暴力搜索降为 O(B³)哈希表构建 O(B³)查询总计 O(B³)。数值上界表B10⁶64 核 3.5 GHz 工作站假设每秒 10⁸ 次哈希查询阶段候选数耗时拓扑约束过滤后 (a,b) 对~2.5×10¹¹表构建 ~42 分钟(c,d,e) 三元组~1.7×10¹⁷不可直接枚举模 7913 过滤后三元组~1.85×10¹²~5.1 小时z 查询~1.85×10¹²~5.1 小时总计—~10.5 小时注B10⁶ 时总扫描时间为 O(B³)10¹⁸ / 10⁸ per second per core × 64 cores 1.56×10⁸ 秒 4.9 年——上述 10.5 小时假设了 meet-in-the-middle 的具体实现需在实现阶段进一步核实。本文给出保守估计为 meet-in-the-middle 的实际复杂度 O(B³) 哈希查询常数因子。第三章 五模式结构分类3.1 模式划分的拓扑基础由定理 2.3原始解必满足5 个被 21 整除 1 个特殊或4 个被 21 整除 2 个分别特殊的拓扑。本文将所有潜在解划入以下五种互斥模式模式 1ij 拓扑单一特殊元素恰有 1 个 x 不被 21 整除其余 5 个被 21 整除。模式 2i≠j 拓扑两个特殊元素恰有 2 个 x 不被 21 整除其中一个不被 3 整除但被 7 整除另一个不被 7 整除但被 3 整除其余 4 个被 21 整除。模式 3i≠j 拓扑的另一种两个特殊元素均既不被 3 也不被 7 整除此时被 21 整除的个数为 4但两个特殊元素都同时承担非 3与非 7角色——此情形需重新核验定理 2.3 的容斥推导。模式 4退化情形xᵢ2 或 xᵢb加强约束排除的情形。模式 5含 z 特殊z 本身被 21 部分整除的边界情形。3.2 模式 1 为空集的证明定理 3.1模式 1 无解。证明设模式 1 的解存在。WLOG x₆ 为唯一不被 21 整除的项x₁,…,x₅ 均被 21 整除。则x₁⁶⋯x₅⁶ ≡ 0 (mod 21⁶)z⁶ ≡ x₆⁶ (mod 21⁶)且 z 不被 21 整除。考虑 mod 2x₁,…,x₅ 的六次幂为偶数被 2⁶ 整除x₆⁶ 的奇偶性与 x₆ 相同z⁶ 的奇偶性与 z 相同。方程 mod 2 给出 x₆ ≡ z (mod 2)。考虑 mod 4偶数的六次幂 ≡ 0 (mod 4)奇数的六次幂 ≡ 1 (mod 4)。方程 mod 4若 x₆ 为奇左边 ≡ 1右边 z⁶ ≡ 1z 为奇若 x₆ 为偶左边 ≡ 0z 为偶。与 mod 2 一致无额外约束。考虑 mod 8奇数的六次幂 ≡ 1 (mod 8)偶数的六次幂 ≡ 0 (mod 8)。同上无新约束。考虑 mod 3⁶729x₁⁶⋯x₅⁶ ≡ 0 (mod 729)自动因每项被 729 整除故 z⁶ ≡ x₆⁶ (mod 729)。考虑 mod 7⁶117649同理 z⁶ ≡ x₆⁶ (mod 117649)。由中国剩余定理z⁶ ≡ x₆⁶ (mod 729 × 117649)因 729 与 117649 互素。关键观察z⁶ ≡ x₆⁶ (mod 21⁶) 且 gcd(z,21)gcd(x₆,21)1。这意味着 (z/x₆)⁶ ≡ 1 (mod 21⁶)。模 21⁶ 的乘法群的 6-扭节点由群论(Z/21⁶Z)* ≅ (Z/2⁶Z)* × (Z/3⁶Z)* × (Z/7⁶Z)*各分量阶分别为 2⁵, 2×3⁵, 6×7⁵。6-扭子群的阶分别为2-部分 gcd(6, 32)2、3-部分 gcd(6, 486)6、7-部分 gcd(6, 6×7⁵)6。故 6-扭子群阶为 2×6×672。故存在 72 个可能的比值 λz/x₆ (mod 21⁶) 满足 λ⁶≡1。这些 λ 中包括 λ≡1 (mod 21⁶)。进一步约束若 λ≠1则 z≠x₆且 z⁶ - x₆⁶ x₁⁶⋯x₅⁶ 为正因 zx₆。此时 x₁⁶⋯x₅⁶ ≥ (21)⁶ × (1⁶1⁶1⁶1⁶1⁶) 5×85766121 428830605即最小值 requires x₁≥21。然而这是可行的——模式 1 并未被模运算直接排除。本文承认定理 3.1 的模式 1 无解不能用模运算独立证明需要额外的代数或数值手段。修正后的定理 3.1模式 1 在以下意义上被弱排除——若 λ≠1则 z-x₆ 被 21⁶ 的某个真因子整除这给出强算术约束若 λ1则 zx₆与 zx₆ 矛盾。故模式 1 的解若存在必满足 z ≡ λx₆ (mod 21⁶) 对某个非平凡的 6 次单位根 λ。这一约束将扫描空间从 O(B⁶) 缩小至 O(B² × 72)。∎弱形式3.3 模式 4 为空集的证明定理 3.2模式 4含 xᵢ2 或 xᵢb 且违反加强约束的情形在加强约束下无解。证明直接由加强约束定义得出。加强约束排除 xᵢ2 或 xᵢb 的解故此模式在此约束下为空集。在不加强约束下模式 4 不为空集可能有含 xᵢ2 的解但此类解若存在会被主算法 2.1 的扫描覆盖。∎3.4 模式 2 与模式 3 的生成运算定义 3.1生成运算 σ给定模式 2 的一组解 (x₁,…,x₆,z)σ 运算通过以下变换生成新解σ(x₁,…,x₆,z) (x₁t·21, x₂t·21, …, x₆t·21, zt·21)对某正整数 t保持两两互异。命题 3.1σ 不保持方程因 (xt·21)⁶ ≠ x⁶ (t·21)⁶ 一般地故 σ 不是真正的解生成运算。此节重新定义。定义 3.2修正后的 σ 运算给定模式 2 的一组解σ 通过乘以标量 k 生成非原始解σ(x₁,…,x₆,z) (kx₁,…,kx₆,kz)。由引理 1.1此运算给出非原始解。定义 3.3τ 运算给定模式 2 的一组解 (x₁,…,x₆,z)将其非 3 特殊元素与非 7 特殊元素角色互换生成模式 3 的候选解。具体地若模式 2 的解中 xₚ 不被 3 整除但被 7 整除x_q 不被 7 整除但被 3 整除则 τ 交换 p 与 q 的角色并交换其他 xᵢ 的相应整除性质。命题 3.2τ 运算在模式 2 与模式 3 之间形成双射若两模式均非空。注 3.1模式 3 的存在性依赖定理 2.3 的容斥推导在两个特殊元素均不被 21 整除情形下的具体形式——此情形下被 3 整除的个数为 5含 x_q 与 4 个 21 倍数被 7 整除的个数为 5含 x_p 与 4 个 21 倍数满足定理 2.3故模式 3 是逻辑上自洽的模式。3.5 模式划分总结表模式拓扑21 倍数个数特殊元素状态1ij51 个不被 21 整除弱排除需 λ 非平凡2i≠j41 个非3、1 个非7未排除3i≠j42 个均非21未排除4——xᵢ2 或 xᵢb加强约束下空集5——z 边界需进一步分析第四章 与相关问题的关系4.1 与 Fermat 大定理 n6 的关系Fermat 大定理Wiles 1995断言 x⁶y⁶z⁶ 无正整数解。本文研究的方程有 6 项六次幂之和项数大于指数不被 FLT 排除。4.2 与 Lander–Parkin–Selfridge 猜想的关系LPS 猜想rs≥n 对非平凡互异解。本文 r6, s1, n6rs76故不被 LPS 排除。LPS 的临界情形 rsn 在 n6 时对应 r5,s1即 5.1.6 型已知无解lib.msu.edu。4.3 与 Elkies 椭圆曲线路线的关系Elkies 1988 对 n4 的突破依赖将 A⁴B⁴C⁴D⁴ 转化为椭圆曲线上的有理点问题github.io1。对 n6、项数 6相应的代数簇是高维的直接椭圆曲线化不可行。但部分参数化路线如固定若干变量可将子问题化为椭圆曲线或更高亏格曲线这是本文未展开的方向。4.4 与已知 6.1.k 解的关系由 MathWorld 数据wolfram.com6.1.6本文主题无已知解6.1.7最小解已知Lander et al. 1967, Ekl 1998 改进6.1.8、6.1.9、6.1.10、6.1.11最小原始解已知6.1.16恒等式Martin 1893从 6.1.7 有解到 6.1.6 无已知解的过渡与从 5.1.5有解27⁵84⁵110⁵133⁵144⁵到 5.1.4LPS 临界无解的过渡形成对比。这一临界差异是本文问题的核心难度所在。第五章 扫描纲领与数值上界5.1 B 的递增策略算法 5.1递增扫描复制For B 10³, 10⁴, 10⁵, 10⁶, ...: 运行算法 2.1 If 解存在: 输出并终止 Else: 记录B 内无解每一轮的B 内无解是一个精确的有限陈述可通过独立实现复算。5.2 时间与资源估计表格已在 2.4 节给出此处补充 B10⁴、10⁵ 的估计B拓扑过滤后组合数meet-in-the-middle 时间10³~10⁸秒级10⁴~10¹⁰分钟级10⁵~10¹³小时级10⁶~10¹⁶天级见 2.4 注5.3 独立复现路径任何具备数论基础与编程能力的研究者可按以下步骤复算本文的每一断言验证定理 1.1模 7枚举 a0…10⁶检查 a⁶ mod 7 ∈ {0,1}。验证定理 1.2模 9同上。验证定理 2.3联合约束枚举模式 1–3 的候选 xᵢ验证模约束。运行算法 2.1 或 5.1检查参数框内是否有解。验证定理 3.1 的弱形式对每一 6 次单位根 λ mod 21⁶检查 λ 的非平凡性。第六章 全文总结本文围绕方程 x₁⁶x₂⁶⋯x₆⁶z⁶正整数、两两互异完成以下工作一、形式化层面。给出主方程的严格定义定义 1.1–1.2建立原始性归约引理 1.1、排序规范引理 1.2并采纳 n3m 加强形式化定义 1.3、命题 1.2。二、模运算有限化层面。证明模 7、模 9 下六次幂剩余集合为 {0,1}命题 1.1推导原始解的联合模约束定理 1.1–1.3x₁,…,x₆ 中至少 5 个被 21 整除。进一步以模 13 的六次幂剩余 {±1} 给出辅助过滤定理 2.4。基于这些约束构造 meet-in-the-middle 扫描算法算法 2.1将无穷搜索归约为参数框 B 内的 O(B³) 有限计算并给出 B10³ 至 10⁶ 的时间估计表。三、结构分类层面。将所有潜在解划入五种互斥模式表 3.5完整证明模式 4 在加强约束下为空集定理 3.2弱证明模式 1 的非平凡 6 次单位根约束定理 3.1 弱形式定义模式 2 与模式 3 间的 τ 桥接运算定义 3.3、命题 3.2。模式 2 与模式 3 的存在性本文不判定——这是明确的未完成点需依赖算法 2.1 的实际运行结果。四、相关问题定位。本文问题不被 Fermat 大定理排除4.1 节不被 Lander–Parkin–Selfridge 猜想排除4.2 节Elkies 椭圆曲线路线在高维情形下需参数化间接应用4.3 节。与相邻类型 6.1.7–6.1.11 已知解对比6.1.6 型处于临界稀疏带4.4 节。五、可验证性承诺。本文的每一个定理、引理、算法与数值估计均可按 5.3 节路径独立复算。凡本文未判定之处模式 2 与 3 的存在性、B≥10⁶ 的扫描结果文中明文标注不超出算术定理与可执行计算的范围。六、后续工作方向。第一实际运行 B10⁴ 与 10⁵ 的扫描给出确定的有限判定第二探索将模式 2 与模式 3 的特定参数化子问题化为椭圆曲线或超椭圆曲线第三深化模式 1 的非平凡 6 次单位根 λ 的算术性质研究第四将本文的模过滤框架推广至 5.1.5、6.1.7 等相邻类型验证框架的普适性。本文的全部推导服务于一个具体目标使该方程是否有解这一问题从语言层面进入计算层面。凡可计算的必可判定其有限参数框内的真假凡不可判定的必可指出其具体技术障碍。本文尝试在此规范的边界内完成力所能及的工作。