[논문 리뷰] On The Solutions of The Equation (4^n)^x+p^y=z^2

Bilge Peker, Selin Cenberci|arXiv (Cornell University)|2012. 02. 10.

Electromagnetic Scattering and Analysis참고 문헌 4인용 수 4

한 줄 요약

이 논문은 홀수 소수 $p$ 및 음이 아닌 정수 $x, y, z$에 대해 지수 디오판틴 방정식 $(4^n)^x + p^y = z^2$의 해를 조사한다. 카탈란의 추측과 인수분해 기법을 사용하여, $p = 3$일 때 (예: $x=1, y=2, z=5$ 또는 $x=2, y=2, z=5$) 및 $p = 1 + 2^{nk+1}$일 때 해가 존재함을 증명한다. 이 경우 해는 $k$가 음이 아닌 정수일 때 $(x,y,z) = (k,1,2^{nk}+1)$ 형태로 얻어진다. 이 작업은 이전의 $16^x + p^y = z^2$ 및 $64^x + p^y = z^2$에 대한 결과를 일반화한다.

ABSTRACT

In this paper, we gave solutions of the Diophantine equations 16^{x}+p^{y}=z^{2}, 64^{x}+p^{y}=z^{2} where p is an odd prime, n is a positive integer and x,y,z are non-negative integers. Finally we gave a generalization of the Diophantine equation (4^{n})^{x}+p^{y}=z^{2}.

연구 동기 및 목표

• 홀수 소수 $p$에 대해 디오판틴 방정식 $(4^n)^x + p^y = z^2$의 음이 아닌 정수 해 $(x, y, z)$를 모두 구하는 것.
• 특수 케이스인 $16^x + p^y = z^2$ 및 $64^x + p^y = z^2$에 대한 이전 결과를 일반화하는 것.
• 카탈란의 추측과 인수분해 기법을 적용하여 해를 지수 $y$와 소수 $p$에 따라 분류하는 것.
• 모든 양의 정수 $n$에 대해 $(4^n)^x + p^y = z^2$를 해결하기 위한 통합 프레임워크를 수립하는 것.

제안 방법

• $z^2 - (4^n)^x = p^y$를 $(z - 2^{nx})(z + 2^{nx}) = p^y$로 인수분해하여 소수 거듭제곱의 구조를 활용하는 것.
• $z - 2^{nx} = p^v$ 및 $z + 2^{nx} = p^{y-v}$를 가정하고 $y > 2v$ 조건을 사용하여 $p^{y-v} - p^v = 2^{nx+1}$을 도출하는 것.
• $v = 0$ 및 $y = 1$의 경우를 분석하여 각각 $p^y - 2^{nx+1} = 1$ 및 $p = 1 + 2^{nx+1}$을 도출하는 것.
• $p^y - 2^{nx+1} = 1$에 카탈란의 추측을 적용하여 $y>1$, $v=0$일 때 유일한 해는 $p=3$, $y=2$, $nx+1=3$임을 밝혀내는 것.
• 카탈란의 추측을 사용하여 $x=0$ 및 $y=0$ 등의 경계 케이스를 평가하여 추가 해가 존재하는지 여부를 확인하는 것.
• 모든 $n \in \mathbb{Z}^+$에 대해 $n$, $k$, 및 $p = 1 + 2^{nk+1}$를 이용해 결과를 일반화하는 것.

실험 결과

연구 질문

• RQ1 홀수 소수 $p$에 대해 $(4^n)^x + p^y = z^2$의 음이 아닌 정수 해 $(x, y, z)$의 완전한 집합은 무엇인가?
• RQ2 특히 $n=1$, $n=2$, $n=3$일 때, 해는 $n$의 값에 따라 어떻게 달라지는가?
• RQ3 $y=1$일 때, 방정식 $(4^n)^x + p^y = z^2$가 해를 갖기 위한 $p$에 대한 조건은 무엇인가?
• RQ4 카탈란의 추측을 사용하여 $y>1$ 및 $v=0$일 때 해를 완전히 분류할 수 있는가?
• RQ5 임의의 $n \in \mathbb{Z}^+$에 대해 해의 일반 형태는 무엇이며, 이는 $16^x + p^y = z^2$ 및 $64^x + p^y = z^2$에 대한 이전 결과를 어떻게 통합하는가?

주요 결과

• $p = 3$일 때, 방정식 $(4^n)^x + 3^y = z^2$는 $n=1$이면 $(x, y, z) = (1, 2, 5)$, $n=2$이면 $(x, y, z) = (2, 2, 5)$로 해를 가진다.
• $y = 1$일 때, $p = 1 + 2^{nk+1}$이면 해가 존재하며, 이 경우 음이 아닌 정수 $k$에 대해 $(x, y, z) = (k, 1, 2^{nk} + 1)$ 형태의 해가 얻어진다.
• $n=1$일 때, 해의 가족 $(x, y, z) = (k, 1, 2^k + 1)$이며 $p = 1 + 2^{k+1}$로 주어지며, 이는 Chotchaisthit(2011)의 결과와 일치한다.
• $n=2$일 때, 해 $(x, y, z) = (k, 1, 2^{2k} + 1)$이며 $p = 1 + 2^{2k+1}$로 주어지며, 이는 $16^x + p^y = z^2$에 대한 정리 2를 일반화한다.
• $n=3$일 때, 해 $(x, y, z) = (k, 1, 2^{3k} + 1)$이며 $p = 1 + 2^{3k+1}$로 주어지며, 이는 $64^x + p^y = z^2$에 대한 정리 3를 확인한다.
• $x = 0$일 경우 $z^2 - p^y = 1$이 되며, 카탈란의 추측에 의해 $p=2$, $y=3$, $z=3$로 유일한 해가 존재하지만, $p$는 홀수여야 하므로 이 경우 해가 존재하지 않는다.