The Scientific World Journal

Volume 2014, Article ID 401816, 3 pages

http://dx.doi.org/10.1155/2014/401816

## The Exponential Diophantine Equation

^{1}Luoyang Institute of Science and Technology, Luoyang, Henan 471023, China^{2}School of Mathematics, Northwest University, Xi'an, Shaanxi 710127, China

Received 1 April 2014; Accepted 6 May 2014; Published 18 May 2014

Academic Editor: Abdelghani Bellouquid

Copyright © 2014 Yahui Yu and Xiaoxue Li. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Let and be fixed coprime odd positive integers with . In this paper, a classification of all positive integer solutions of the equation is given. Further, by an elementary approach, we prove that if , then the equation has only the positive integer solution , except for and , where is a positive integer with .

#### 1. Introduction

Let be the set of all positive integers. Let be fixed coprime positive integers with . In recent years, the solutions of the equation have been investigated in many papers (see [1–3] and its references). In this paper we deal with (1) for the case that . Then (1) can be rewritten as where and are fixed coprime odd positive integers with . We will give a classification of all solutions of (2) as follows.

Theorem 1. *Every solution of (2) satisfies one of the following types:*(i)*;*(ii)*, where is a positive integer with ;*(iii)*;*(iv)*;*(v)* and ;*(vi)*;*(vii)*, , and ;*(viii)*, , and ;*(ix)*.**Recently, Miyazaki and Togbé [4] showed that if and , then (2) has only the solution , except for . However, there are some exceptional cases missing from the result of [4]. In this paper, by an elementary approach, we prove the following result.*

*Corollary 2. If , then (2) has only the solution , except for and , where is a positive integer with .*

*2. Preliminaries*

*Lemma 3 (see [5, Formula 1.76]). For any positive integer and any complex numbers and , one has
where is the integer part of ;
are positive integers.*

*Lemma 4 (see [6]). Let and be coprime odd positive integers with . If the equation
has solutions , then it has a unique solution such that , where through all solutions of (5). The solution is called the least solution of (5). Every solution of (5) can be expressed as
Further, by (6), we have and .*

*Lemma 5.
Equation (5) has no solutions such that , , and every prime divisor of and divides and , respectively.*

*Proof. *We now assume that is a solution of (5) satisfying the hypothesis. Since , by Lemma 4, the is all solutions of (5). Let

We get
where is odd. Numbers and are such that satisfy and satisfy . Thus, and are the odd indexed subsequences of the two Lehmer sequences of roots and . Their discriminants are and , respectively. Saying that all prime factors of divide implies that all primes of the th term of a Lehmer sequence divide its discriminant. The same is true for . Hence, and are terms of a Lehmer sequence of real roots lacking primitive divisors. By Table 2 in [7], this is possible only for . Even more, in the present case,
is the th term of the Lucas sequence of positive real roots whose all prime factors divide its discriminant , and by Table 1 in [7] this is possible for odd only if or . Furthermore, when , we must have , but this is not possible since is not of the form for some positive integers , , and . So, only is possible. Now by some simple numerical computation for and , we see that it is not possible that all prime factors of and all prime factors of divide* B*. Thus, Lemma 5 is proved.

*Lemma 6 (see [8]). The equation
has only the solutions , and .*

*Lemma 7 (see [9]). Let be an odd positive integer with . If is a solution of the equation
then .*

*Lemma 8 (see [10, 11]). The equation
has only the solutions , and .*

*Lemma 9 (see [12]). The equation
has only the solution .*

*Lemma 10 (see [13]). The equation
has only the solution .*

*3. Proof of Theorem*

*Let be a solution of (2). If and , then we have , , and . It follows that
Applying Lemma 10 to (15), we can only obtain the solutions of types (i) and (ii).*

*If and , then we have
Applying Lemma 8 to (16), we can only get the solutions of types (iii), (iv), and (v).*

*Similarly, if and , using Lemmas 7 and 9, then we can only obtain the solutions of types (vi), (vii), and (viii). Finally, if , then the solutions are of type (ix). Thus, the theorem is proved.*

*4. Proof of Corollary*

*Since , (2) can be rewritten as
Let be a solution of (17). By the theorem, (17) has only the solutions
satisfying and .*

*If , and , then from (17) we get
whence we obtain
But, since and , congruence (20) is impossible.*

*If , and , by the theorem, then we have and . Hence, by (17), we get
Since and , we see from (21) that . Substituting it into (17), we have and
By (22), we get
where is a solution of (10). Since and , by Lemma 6, we can only have and
by (23).*

*If , then . Hence, by (17), we get and . It implies that the equation
has the solution
Notice that the least solution of (25) is ; and satisfy either or . Applying Lemma 5 to (26), we only obtain that and
Thus, (17) has only the solutions (18), (24), and (27). The corollary is proved.*

*Conflict of Interests*

*The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgments*

*The authors would like to thank the referee for his very helpful and detailed comments, which have significantly improved the presentation of this paper. This work is supported by N. S. F. (11371291) and P. N. S. F. (2013ZJ001) of China and G. I. C. F. (YZZ13075) of NWU.*

*References*

- M. Cipu and M. Mignotte, “On a conjecture on exponential Diophantine equations,”
*Acta Arithmetica*, vol. 140, no. 3, pp. 251–270, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. Luca, “On the system of Diophantine equations ${a}^{2}+{b}^{2}={({m}^{2}+1)}^{r}$ and ${a}^{x}+{b}^{y}={({m}^{2}+1)}^{z}$,”
*Acta Arithmetica*, vol. 153, no. 4, pp. 373–392, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Miyazaki, “Generalizations of classical results on Jeśmanowicz' conjecture concerning Pythagorean triples,”
*Journal of Number Theory*, vol. 133, no. 3, pp. 583–595, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Miyazaki and A. Togbé, “The Diophantine equation ${(2am-1)}^{x}+{(2m)}^{y}={(2am+1)}^{z}$,”
*International Journal of Number Theory*, vol. 8, no. 8, pp. 2035–2044, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. Lidl and H. Niederreiter,
*Finite Fields*, Addison-Wesley, Reading, Mass, USA, 1983. View at MathSciNet - T. Nagell, “On a special class of Diophantine equations of the second degree,”
*Arkiv för Matematik*, vol. 3, no. 1, pp. 51–65, 1954. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Yu. Bilu, G. Hanrot, and P. M. Voutier, “Existence of primitive divisors of Lucas and Lehmer numbers with an appendix by M. Mignotte,”
*Journal für die Reine und Angewandte Mathematik*, vol. 539, pp. 75–122, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Nagell, “Løsning til oppgave nr 2,”
*Norsk Mathematisk Tidsskrift*, vol. 30, no. 1, pp. 62–64, 1948. View at Google Scholar - M. Bauer and M. A. Bennett, “Applications of the hypergeometric method to the generalized Ramanujan-Nagell equation,”
*Ramanujan Journal*, vol. 6, no. 2, pp. 209–270, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. H. E. Cohn, “The Diophantine equation ${x}^{2}+{2}^{k}={y}^{n}$,”
*Archiv der Mathematik*, vol. 59, no. 4, pp. 341–344, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M.-H. Le, “On Cohn's conjecture concerning the Diophantine equation ${x}^{2}+{2}^{m}={y}^{n}$,”
*Archiv der Mathematik*, vol. 78, no. 1, pp. 26–35, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Ivorra, “Sur les équations ${x}^{p}+{2}^{\beta}{y}^{p}={z}^{2}$ et ${x}^{p}+{2}^{\beta}{y}^{p}=2{z}^{2}$,”
*Acta Arithmetica*, vol. 108, no. 4, pp. 327–338, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. Mihăilescu, “Primary cyclotomic units and a proof of Catalan's conjecture,”
*Journal für die Reine und Angewandte Mathematik*, vol. 572, pp. 167–195, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet

*
*