Sur les équations x^p+2^βy^p= z²et x^p+2^βy^p= 2z²

Let \(p\) be a prime \(\geq 7\) and \(\beta\) an integer satisfying \(0\leq \beta\leq p-1\). We consider the equations \[ (1) \quad x^p+ 2^\beta y^p= z^2, \qquad (2)\quad x^p+ 2^\beta y^p= 2z^2. \] A solution \((a,b,c)\in\mathbb Z^2\times \mathbb N\) of (1) (resp. (2)) is said to be proper if \(\gcd (a,b,c)=1\) and nontrivial if \(abc\neq 0\). We denote by \(S_0(\beta,p)\) and \(S_1(\beta,p)\) the sets of proper nontrivial solutions of equations (1) and (2), respectively. Using the works of \textit{A. Wiles} [Ann. Math. (2) 141, 443--551 (1995; Zbl 0823.11029)] and \textit{K. Ribet} [Invent. Math. 100, 431--476 (1990; Zbl 0773.11039)] the author of the paper under review proves that \(S_0(\beta,p)= \emptyset\), provided \(\beta\neq 1,3,p-1,p-3\), \(S_0(3,p)= \{(1,1,3)\}\), \(S_0(p-3,p)= \{(2,1,3\cdot 2^{(p-3)/2})\}\). Furthermore, if \((a,b,c)\in S_0(1,p)\), then \(ab\) is odd and if \((a,b,c)\in S_0(p-1,p)\), then \(a\equiv 2\bmod 4\). Let \(S\) be the set of quadruples \((x,y,m,n)\in \mathbb Z^4\) satisfying \(x^2- 2^m= y^n\), whereby \(x\geq 1\), \(y\neq 0,\pm 1\), \(\gcd(x,y)= 1\), \(m\geq 2\) and \(n\geq 3\). An interesting consequence of the above results is that \(S= \{(13,-7,9,3), (71,17,7,3)\}\). Moreover, the author obtains that \(S_1(\beta,p)= \emptyset\), provided that \(\beta> 0\) and \(S_1(0,p)= \{(1,1,1)\}\).

Recommendations

Cited in

(32)

This page was built for publication: Sur les équations x^p+2^βy^p= z²et x^p+2^βy^p= 2z²

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484430)

Sur les équations xp+2βyp= z2et xp+2βyp= 2z2

Sur les équations x^p+2^βy^p= z²et x^p+2^βy^p= 2z²