[논문 리뷰] 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)|2014. 09. 29.

Advanced Mathematical Theories and Applications참고 문헌 19인용 수 3

한 줄 요약

이 논문은 $ a^2 \geq 1 $ 에서 시작하는 $ M $개의 연속된 제곱수의 합이 완전제곱수가 되는 모든 정수 $ s $를 찾는 완전한 분석적 방법을 제시한다. $ 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.

연구 동기 및 목표

• 주어진 $ M $ 에 대해 $ a^2 \geq 1 $ 에서 시작하는 $ M $개의 연속된 제곱수의 합이 $ s^2 $ 와 같아지는 모든 정수 해 $ (a, s) $를 체계적으로 결정하는 것.
• 해의 구조가 결정되는 바탕이 되는 디오판틴 방정식의 구조가 $ M $ 이 제곱수인지 여부에 따라 달라지므로, 이를 기반으로 해를 분류하는 것.
• $ M $ 이 제곱수가 아닐 경우, 일반화된 펠 방정식과 체비세프 다항식을 사용하여 모든 해를 생성하는 통합된 분석적 프레임워크를 제공하는 것.
• $ M $ 이 제곱수일 경우 문제의 해가 유한한 제곱수 차로 축소되며, 이로 인해 유한한 수의 해만 존재함을 보이는 것.
• 루카스의 캐논볼 문제에 대한 이전 연구를 확장하여, $ M $ 개의 연속된 제곱수의 합이 완전제곱수가 되는 모든 가능한 $ M $ 과 그에 해당하는 $ a, s $ 를 특성화하는 것.

제안 방법

• $ \sum_{k=0}^{M-1} (a+k)^2 = s^2 $ 의 디오판틴 방정식을 $ M $ 에 따라 매개변수화된 $ a $ 와 $ s $ 에 대한 이차 디오판틴 방정식으로 변환하는 것.
• $ M $ 이 제곱수가 아닐 경우, 방정식을 $ M \mod 4 $ 에 따라 달라지는 일반화된 펠 방정식으로 축소하는 것.
• 관련된 단순 펠 방정식의 기본 해를 사용하여 체비세프 다항식을 통해 무한한 해의 가닥을 생성하는 것.
• $ M $ 이 제곱수일 경우, 방정식을 정수 제곱수의 차로 표현하여 유한한 수의 인수 분해를 풀어야 하는 문제로 축소하는 것.
• $ M = (6n-1)^2 $ 일 때, $ X^2 - Y^2 = N $ 의 항등식을 사용하여 짝수 인수 쌍을 통해 모든 유효한 $ (X, Y) $ 를 나열하고, $ X = s/(6n-1) $, $ Y = a + 6n(3n-1) $ 에서 $ s $ 와 $ a $ 를 복원하는 것.
• $ a < 0 $ 인 경우를 제외하여 $ a \geq 1 $ 이 되도록 해를 걸러내는 것.

실험 결과

연구 질문

• RQ1 어느 $ M $ 값에 대해 $ M $개의 연속된 제곱수의 합이 완전제곱수가 되는가?
• RQ2 특히 $ M $ 이 제곱수가 아닐 경우, 주어진 $ M $ 에 대해 모든 정수 해 $ (a, s) $ 를 어떻게 체계적으로 생성할 수 있는가?
• RQ3 이 문제에서 유래한 일반화된 펠 방정식의 무한한 해의 가닥을 매개변수화하는 데 체비세프 다항식이 수행하는 역할은 무엇인가?
• RQ4 $ M $ 이 완전제곱수일 경우 문제의 해가 유한한 수로 축소되는 이유는 무엇이며, 이러한 해들은 어떻게 나열할 수 있는가?
• RQ5 $ M \equiv 0,9,24,33 \mod 72 $ 와 같은 $ M $ 의 모듈로 제약 조건이 해의 존재를 어떻게 결정하는가?

주요 결과

• $ 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개 존재하지만, 유일한 $ a_k \geq 1 $ 인 것은 7개이며, 이로 인해 $ s_k $ 가 3128에서 29597 사이인 7개의 유효한 해가 존재한다.
• $ M $ 이 제곱수일 경우 $ M = (6n-1)^2 $ 이면 해의 수는 유한하며, $ N = 2n(3n-1)(6n(3n-1)+1) $ 의 짝수 인수 분해의 수에 의해 결정된다.
• 이 방법은 모든 해를 체계적으로 완전하고 분석적으로 분류하며, 해의 수식적 표현인 $ a_k $ 와 $ s_k $ 를 인수 쌍과 체비세프 다항식을 통해 명시적으로 제공한다.