[論文レビュー] On The Solutions of The Equation (4^n)^x+p^y=z^2

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

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$, $k$, および $p = 1 + 2^{nk+1}$ の形で表すことにより、すべての $n \in \mathbb{Z}^+$ に一般化する。

実験結果

リサーチクエスチョン

• 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$ のとき $(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$ が奇素数でなければならないため無効であり、この場合に解は存在しない。