[论文解读] Finding all squared integers expressible as the sum of consecutive squared integers using generalized Pell equation solutions with Chebyshev polynomials

Vladimir Pletser|arXiv (Cornell University)|Sep 29, 2014

Advanced Mathematical Theories and Applications参考文献 19被引用 3

一句话总结

本文提出了一套完整的解析方法，用于找出所有整数 $ s $，使得从 $ a^2 \geq 1 $ 开始的 $ M $ 个连续平方数之和为完全平方数。当 $ M $ 不是完全平方数时，利用广义佩尔方程和切比雪夫多项式生成无限多组解；当 $ M $ 是完全平方数时，将问题转化为有限个平方差问题，系统地得出所有可能的解。

ABSTRACT

Square roots $s$ of sums of $M$ consecutive integer squares starting from $a^{2}\geq1$ are integers if $M\equiv0,9,24$ or $33(mod\,72)$; or $M\equiv1,2$ or $16(mod\,24)$; or $M\equiv11(mod\,12)$ and cannot be integers if $M\equiv3,5,6,7,8$ or $10(mod\,12)$. Finding all solutions with $s$ integer requires to solve a Diophantine quadratic equation in variables $a$ and $s$ with $M$ as a parameter. If $M$ is not a square integer, the Diophantine quadratic equation in variables $a$ and $s$ is transformed into a generalized Pell equation whose form depends on the $M(mod\,4)$ congruent value, and whose solutions, if existing, yield all the solutions in $a$ and $s$ for a given value of $M$. Depending on whether this generalized Pell equation admits one or several fundamental solution(s), there are one or several infinite branches of solutions in $a$ and $s$ that can be written simply in function of Chebyshev polynomials evaluated at the fundamental solutions of the related simple Pell equation. If $M$ is a square integer, it is known that $M\equiv1(mod\,24)$ and $M=(6n-1)^{2}$ for all integers $n$; then the Diophantine quadratic equation in variables $a$ and $s$ reduces to a simple difference of integer squares which yields a finite number of solutions in $a$ and $s$ to the initial problem.

研究动机与目标

• 系统地确定所有整数解 $ (a, s) $，使得从 $ a^2 \geq 1 $ 开始的 $ M $ 个连续平方数之和等于 $ s^2 $。
• 根据 $ M $ 是否为完全平方数对解进行分类，因为这决定了其背后的丢番图方程结构。
• 为 $ M $ 不是完全平方数的情况，提供一个统一的解析框架，利用广义佩尔方程和切比雪夫多项式生成所有解。
• 证明当 $ M $ 是完全平方数时，问题可简化为有限个平方差问题，从而仅有有限多组解。
• 通过刻画所有可能的 $ M $ 及其对应的 $ a, s $，扩展卢卡斯炮弹问题的已有研究，使得 $ M $ 个连续平方数之和为完全平方数。

提出的方法

• 将丢番图方程 $ \sum_{k=0}^{M-1} (a+k)^2 = s^2 $ 转化为以 $ M $ 为参数的关于 $ a $ 和 $ s $ 的二次丢番图方程。
• 当 $ M $ 不是完全平方数时，将方程约化为广义佩尔方程，其形式取决于 $ M \mod 4 $。
• 利用相关简单佩尔方程的基本解，通过在基本解处求值的切比雪夫多项式，生成无限多组解分支。
• 当 $ M $ 是完全平方数时，将方程表示为两个整数平方之差，从而导出有限组因式分解问题。
• 应用恒等式 $ X^2 - Y^2 = N $，通过偶数因数对枚举所有有效的 $ (X, Y) $，并从 $ X = s/(6n-1) $、$ Y = a + 6n(3n-1) $ 恢复 $ s $ 和 $ a $，当 $ M = (6n-1)^2 $ 时。
• 筛选解以排除 $ a < 0 $ 的情况，确保满足 $ a \geq 1 $ 的要求。

实验结果

研究问题

• RQ1 对于哪些 $ M $ 值，$ M $ 个连续平方数之和为完全平方数？
• RQ2 对于给定的 $ M $，如何系统地生成所有整数解 $ (a, s) $，特别是当 $ M $ 不是完全平方数时？
• RQ3 切比雪夫多项式在参数化由此问题导出的广义佩尔方程的无限解分支中起到什么作用？
• RQ4 为何当 $ M $ 是完全平方数时，问题简化为有限多组解？这些解如何被枚举？
• RQ5 模 $ M $ 的约束条件，如 $ M \equiv 0,9,24,33 \mod 72 $，如何决定解的存在性？

主要发现

• 仅当 $ M \equiv 0,9,24,33 \mod 72 $，或 $ M \equiv 1,2,16 \mod 24 $，或 $ M \equiv 11 \mod 12 $ 时，才存在整数解。
• 当 $ M $ 不是完全平方数时，所有 $ a $ 和 $ s $ 的解均可通过广义佩尔方程的基本解，利用相关简单佩尔方程基本解处的切比雪夫多项式求值来生成。
• 当 $ M = 25 $ 时，唯一解为 $ a = 0, s = 70 $，但此解因 $ a \geq 1 $ 的要求而无效，不过对应于已知的 $ M = 24 $ 的解。
• 当 $ M = 289 = (6 \cdot 3 - 1)^2 $ 时，$ N = 6960 $ 有 12 组因数对，但仅有 7 组给出 $ a_k \geq 1 $，从而得到 7 组有效解，对应的 $ s_k $ 范围从 3128 到 29597。
• 当 $ M $ 是完全平方数时，即 $ M = (6n-1)^2 $，解的数量是有限的，且由 $ N = 2n(3n-1)(6n(3n-1)+1) $ 的偶数因数分解数量决定。
• 该方法提供了所有解的完整且解析的分类，给出了 $ a_k $ 和 $ s_k $ 关于因数对及切比雪夫多项式的显式公式。