[论文解读] On the Diophantine equation x^2+2^a.3^b.11^c=y^n

İsmail Naci Cangül, Musa Demırcı+3 more|arXiv (Cornell University)|Jan 3, 2012

Algebraic Geometry and Number Theory参考文献 4被引用 3

一句话总结

本文通过代数数论和本原因子理论，解决了所有满足 $\gcd(x, y) = 1$ 的整数 $a, b, c, x, y, n \geq 3$ 下的丢番图方程 $x^2 + 2^a \cdot 3^b \cdot 11^c = y^n$。研究证明，唯一解出现在 $n = 3, 4, 5, 6, 10$ 时，并给出了显式解，关键结果是该条件下所有此类解的完整分类。

ABSTRACT

In this note, we find all the solutions of the Diophantine equation x^2 +2^a.3^b.11^c=y^n in nonnegative integers a, b, c, x, y, n>= 3 with x and y coprime.

研究动机与目标

• 对满足 $n \geq 3$ 且 $\gcd(x, y) = 1$ 的非负整数解 $(x, y, a, b, c, n)$ 完成对丢番图方程 $x^2 + 2^a \cdot 3^b \cdot 11^c = y^n$ 的全部分类。
• 扩展关于具有 $S$-单位系数的指数型丢番图方程的已知结果，特别是针对 $S = \{2, 3, 11\}$ 的情形。
• 当右边为完全 $n$-次幂、左边为一个平方与一个 $S$-单位之和时，确定全部解集。
• 证明：在 $n \geq 3$ 且其素因子属于 $\{2, 3\}$ 的情况下，仅有 $n = 3, 4, 6$ 存在解。

提出的方法

• 将方程分别转化为 $n = 3$ 和 $n = 4$ 时的椭圆曲线三次和四次模型，以计算 $\{2, 3, 11\}$-整点。
• 利用卢卡斯序列本原因子理论分析 $n \geq 5$ 的情形，借助线性递推序列的深层数论性质。
• 应用模运算和同余论证排除不可能情形，特别是模 8，以限制指数和符号的可能取值。
• 使用计算代数系统（MAGMA 和 mwrank）系统计算并验证所导出椭圆曲线上整点。
• 基于 $y = u^2 + dv^2$ 的因式分解（$d = 1, 2, 3, 6$），依指数 $n$ 的不同进行分类分析，将问题简化为可处理的子情形。
• 通过将 $v$ 代入 2、3 或 11 的幂的乘积，将每个情形约化为 $\{2, 3, 11\}$-整数上的方程，以寻找解。

实验结果

研究问题

• RQ1 在 $n \geq 3$ 且 $\gcd(x, y) = 1$ 的非负整数解中，$x^2 + 2^a \cdot 3^b \cdot 11^c = y^n$ 的所有解是什么？
• RQ2 当 $n$ 的素因子属于 $\{2, 3\}$ 时，该方程在哪些 $n \geq 3$ 下存在解？
• RQ3 卢卡斯序列的本原因子如何帮助解决具有复合 $S$-单位系数的指数型丢番图方程？
• RQ4 能否通过椭圆曲线方法与计算代数系统相结合，完全求解该方程？

主要发现

• 对于 $n = 3$，解列于表 1 和表 2 中，完整分类了该指数的情形。
• 对于 $n = 4$，解在表 3 中明确给出，全部满足互素性和指数条件。
• 对于 $n = 5$，解为 $(x, y, a, b, c) = (1, 3, 1, 0, 2)$ 和 $(241, 9, 3, 0, 2)$。
• 对于 $n = 6$，解为 $(5, 3, 6, 0, 1)$、$(37, 5, 4, 4, 1)$ 和 $(117, 5, 4, 0, 2)$。
• 对于 $n = 10$，解为 $(241, 3, 3, 0, 2)$，该解也满足 $n = 5$ 的情形，但对 $n = 10$ 是独立的。
• 在 $n \geq 3$ 且其素因子属于 $\{2, 3\}$ 的情况下，仅有 $n = 3, 4, 6$ 存在解，分析结果已确认。