[논문 리뷰] On the Diophantine equation x^2+2^a.3^b.11^c=y^n

İsmail Naci Cangül, Musa Demırcı외 3명|arXiv (Cornell University)|2012. 01. 03.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 대수적 수론과 원시 약수 이론을 사용하여 모든 정수 $a, b, c, x, y, n \geq 3$ 에 대해 $\gcd(x, y) = 1$ 조건을 만족하는 디오판틴 방정식 $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^2 + 2^a \cdot 3^b \cdot 11^c = y^n$ 의 모든 음이 아닌 정수 해 $(x, y, a, b, c, n)$ 를 분류하는 것.
• 특히 $S = \{2, 3, 11\}$ 인 경우에 대해 $S$-단위 계수를 가진 지수형 디오판틴 방정식에 대한 기존 결과를 확장하는 것.
• 오른쪽 항이 완전한 $n$-제곱수이고, 왼쪽 항이 제곱수와 $S$-단위의 합인 경우 전체 해 집합을 규명하는 것.
• 해가 존재하는 오직 $n = 3, 4, 6$ 뿐이며, 이는 $n \geq 3$ 이고 $n$ 의 소인수가 $\{2, 3\}$ 에서만 이루어지는 경우에 한하여 확인하는 것.

제안 방법

• $n = 3$ 과 $n = 4$ 에 대해 각각 타원곡선의 삼차 및 사차 모델로 방정식을 변형하여 $\{2, 3, 11\}$-정수점들을 계산하는 것.
• 루카스 수열의 원시 약수 이론을 활용하여 $n \geq 5$ 인 경우를 분석하고, 선형 반복 수열의 깊은 수론적 성질을 응용하는 것.
• 특히 8을 법으로 하여 합동 계산과 모듈로 분석을 통해 불가능한 경우를 제거하고, 지수와 부호의 가능한 값을 제약하는 것.
• 계산 기반 대수 시스템(MAGMA 및 mwrank)을 사용하여 유도된 타원곡선 위의 정수점을 체계적으로 계산하고 검증하는 것.
• $n$ 에 따라 $y = u^2 + dv^2$ 의 인수분해에 기반한 케이스 분석을 수행하여 문제를 다룰 수 있는 부분 문제로 환원하는 것 (여기서 $d = 1, 2, 3, 6$).
• 각 케이스에서 $v$ 를 2, 3 또는 11 의 거듭제곱의 곱으로 치환하고, $\{2, 3, 11\}$-정수 위에서의 방정식으로 환원하여 해를 찾는 것.

실험 결과

연구 질문

• RQ1 모든 음이 아닌 정수 해 $(x, y, a, b, c)$ 에 대해 $n \geq 3$ 이고 $\gcd(x, y) = 1$ 인 조건 하에서 $x^2 + 2^a \cdot 3^b \cdot 11^c = y^n$ 의 해는 무엇인가?
• RQ2 지수 $n \geq 3$ 중에서 $n$ 의 소인수가 $\{2, 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$ 에서는 별개의 해로 간주된다.
• 소인수가 $\{2, 3\}$ 에 속하는 $n \geq 3$ 인 경우에만 해가 존재하는 것은 $n = 3, 4, 6$ 뿐이며, 분석을 통해 이는 확인되었다.