Saunderson 型完美长方体不存在｜《无显择有》三宗体系学术论文

作者头像

独立学者

体系名称

体系名称 -

学科分类 -

体系作者 -

机构单位 -

通讯邮箱 -

通讯电话 -

通讯地址 -

正在加载 PDF 文档 0.0%

文章详情

文章标签

# 学术论文

详情内容

文章内容将根据当前 URL 中的文章 ID 从后台接口读取。

PDF 原文件

下载 0

上传时间 -

本文严格证明：Saunderson型完美长方体不存在。设(u,v,w)为本原勾股三元组，Saunderson构造给出Euler砖族：a=u(4v²−w²)，b=v(4u²−w²)，c=4uvw。本文证明该族体对角线平方条件等价于w⁴+16u²v²为平方，进而将问题转化为四次曲线Y²=Z⁴+16Z²−16的有理点问题，再通过双有理变换映射为椭圆曲线E: S²=T³−8T²+20T，并构造伴随曲线E: W²=T³−9T²+20T。经完整2-下降，证明rank E(Q)=0，且E*(Q)={O,(0,0),(4,0),(5,0)}，全部退化，故不存在非退化Saunderson型完美长方体。

本文结论严格限定于Saunderson子族，不证明一般完美长方体不存在。特别声明：主定理命题本身非新发现——W.G. Spohn已于1972年以初等无穷递降方法证明。本文的真实贡献在于方法论层面：首次将Saunderson子族的体对角线平方性问题完整嵌入椭圆曲线有理点理论，构建了一套“四次曲线→椭圆曲线→2-下降秩零证书→有理点全分类”的标准化映射流程。这是一条与Spohn古典证明在技术路线上完全正交的现代代数几何证明，为该类Euler砖参数族的分析提供了可迁移的通用工具框架——更换参数族只需重新推导残差核与伴随曲线，后续下降与分类流程完全可复用。

与Spohn工作的对比：Spohn依赖Pocklington无穷递降（黑箱引用），高度特化于单个四次方程；本文以2-下降与有限域挠子群判定独立完成全部证明，工具框架具备向其他Euler砖参数族推广的结构。本文是“具有方法创新的重新证明类”工作，而非“新定理发现类”工作。

与三宗体系的关系：本文是第三宗“择有数学”工具论系列“同步残差障碍工具论”研究过程中自然析出的独立数学副产品，体现“生成族→残差核→平方性障碍→证书化封顶”的工具链价值；正文采用标准数论格式，证明本身不依赖三宗体系术语。

本文设六条证伪接口（面对角线、残差核、四次曲线变换、伴随曲线、下降、反例），欢迎学术界对每条定理、每步推理进行证实或证伪。全部证明链条在本文内闭环完成。