See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/265655665

The diophantine equation x 2 +3 m =y n

Article  in  International Journal of Mathematics and Mathematical Sciences · January 1998

CITATIONS READS

45 37

2 authors:

Sevi Arif Fadwa Abu muriefah

42 PUBLICATIONS   465 CITATIONS   
Princess Nora bint Abdul Rahman University
33 PUBLICATIONS   443 CITATIONS   
SEE PROFILE
SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Diophantine Equations View project

All content following this page was uploaded by Fadwa Abu muriefah on 31 October 2017.

The user has requested enhancement of the downloaded file.

Internat. J. Math. & Math. Sci. 619
VOL. 21 NO. 3 (1998) 619-620

THE DIOPHANTINE EQUATION

x + 3"=y"

S. AKHTAR ARIF and FADWA S. ABU MURIEFAH

Department of Mathematics
Girls College of Education
AI-Riyadh, SAUDI ARABIA

(Received March 11, 1996 and in revised form May 31, 1996)

ABSTRACT. The object of this paper is to prove the following

THEOREM. Let rn be odd. Then the diophantine equation x + 3" ’, n >_ 3 has only one
solution in positive integers x,t/, rn and the unique solution is given by rn 5 + 6M, x 10.33M,
7.32M and n 3.

KEY WORDS AND PHRASES: Diphantine equation.

1992 AMS SUBJECT CLASSIFICATION CODES: 11D41.

INTRODUCTION

Thue
-
It is well known that there is no general method for determining all integral solutions x and V for a
given diophantine equation ax + bx + c dyn, where a, b, c and d are integers, a 0, b 4ac :/: 0,
d 0, but we know that it has only a finite number of solutions when n > 3 This was first shown by

The first result for the title equation for general n is due to Lebesgue [2] who proved that when
rn 0 there is no solution, for rn 1, Nagell [3] has proved that it has no solution and in 1993 Cohn [4]
has given another proof for this case.
The proof of the theorem is divided into two main cases (3, x) 1 and 3Ix. It is sufficient to
consider x a positive integer.
To prove the theorem we need the following
LEMMA (Nagell [5]). The equation 3x + 1 /, where n is an odd integer E 3 has no solution
in integers x and for V odd and E 1.
PROOF OF THEOREM. Suppose rn 2/ + 1. Since the result is known for rn 1 we shall
lassume that k > 0. The case when x is odd, can be easily eliminated since /’ =_ 0 (rood 8), so we
assume that x is even.
CASE 1: Let (3, x) 1. First let n be odd, then there is no loss of generality in considering
n p an odd prime. Thus x + 3k+l /’. Then from [6, Theorem 1] we have only two possibilities
and they are

where y a + 3b and
a+b
x+3 k= a=b--l(mod2) (2)

as
where !/= 3b-- for some rational integers a and b.
In (1) since a + 3b and F is odd so only one of a or b is odd and the other is even. Equating
imaginary pans we get v_t

r--O
2r+l
620 $. A ARIF AND F. S A MURIEFAH

So b is odd Since 3 does not divide the term inside we get b + 3 k Hence

::[::1-----(2r+1 ) ap-2r-1(-32k+l)r
r=0
I9

This is equation (1) in [6], and Lemmas 4 and 5 in [6] show that both the signs are impossible. Hence (1)
gives rise to no solutions
Now consider equation (2). By equating imaginary parts we obtain
S.3 k b(3a 3b). (3)
If b + 1 in (3) we get
+ 8.3 k 3a 3.
The case k 1 can be easily eliminated, so suppose k > 1 then
+ 8.3 k-1 a 1.
This equation has the only solution a + 5, k 2 and so y +a (25 + 3)/4 7. Hence from
4
(2) z s
,
If b +/- 3 0 < A < k, then (3) becomes +/- 8.3-- a2- 32’, and this is not possible
modulo 3 if k A 1 > 0. So k A 1 0, that is + 8 a 32(-I), and we can reject the
positive sign modulo 3. So we have a 32(k-l) 8, which has the only solution a + 1, k 2
ani z 10 Finally ifb -4- 3 then + 8 3a2 32+I, and this is not true modulo 3.
Now if n is even, then from the above it is sufficient to consider n 4, hence (y2 +x) (V2 z) 32 +
Since (3, x) I, we get
y2+x=32+ and y2_x=l,
by adding these two equations we get 2V2 32+I + 1, which is impossible modulo 3.
CASE 2. Let 3[z. Then of course 31!/. Suppose that x 3X, y 3Y where u > 0, v > 0 and
(3,X) (3,Y) 1 Then 32X + 32k+1 3"Y" There are three possibilities.
2u min(2u,2k + 1, nv). Then by cancelling 32u we get X + 32(k-u)+l 3"w-2"Y’, and
considering this equation modulo 3 we deduce that nv-2u- O, then z2+ 32(-u)+I yn, with
(3,X) 1. If k- u 0, this equation has no solution [3,4] and if k- u > 0, as proved above this
equation has a solution only if k u 2 and n 3, so nv 3v 2u that is 3[u, let u 3M then
k 2 + 3M and m 5 + 6M. So this equation has a solution only if m 5 + 6M and the solution is
given by X 10, Y 7. Hence the solution of our title equation is x 10.3 10.3TM and
y 7.3 7.3TM.
2 2k + 1 min(2u, 2k + 1,nv) Then 32u-2-X2 + 1 3"v-2-Y and considering this
equation modulo 3 we get nv 2 1 0, so n is odd and 3(T’-- X) + 1 Y", by the lemma this
cquation has no solution.
3. nv min(2u, 2k + 1,nv). Then 32-"X2 + 32+-" Y’ and this is possible modulo 3 only
if 2u nv 0 or 2k + 1 nv 0 and both of these cases have already been discussed This concludes
the proof.
REFERENCES
THUE, A., Uber die Unl6sbarkeit der Gleichung a:r + bz + c dy in grossen ganzen Zahlen z
,
and Arch. Math. og Natgrvidenskab, Kristiania, Bd XXXIV (l 916), I-6.
[2] LEBESGUE, V.A., Sur rimpossibilite en nombres entires de rl equation x !/2 + 1, Nouvelles
Ann. desMath. 9 (I) (1850), 175-I$I.
[3] NAGELL, T., Sur rl impossibilite’ de quelques &luations deux indermindes, Norsk Math.
Forenings Skrifler, Kristiania, Set. I, 13 (1923), 65-82.
[4] COHN, J.H.E, The diophantine equation x2 + 3 y’, Glasgo Math. J., 35 (1993), 203-206.
[5] NAGELL, T., Contributions to the theory of a category of diophantine equations of the second
degree with two unknown, Nova Acta Reg. Soc. Upsal, Set IV, 16 (1955), 1-35.
[6] COHN, I.H.E, The diophantine equation 2 + c V", Acta Aritb. 65 (4) (1993), 367-381
 Advances in Advances in Journal of Journal of
Operations Research
Hindawi Publishing Corporation
Decision Sciences
Hindawi Publishing Corporation
Applied Mathematics
Hindawi Publishing Corporation
Algebra
Hindawi Publishing Corporation
Probability and Statistics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

The Scientific International Journal of

World Journal
Hindawi Publishing Corporation
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

Submit your manuscripts at

http://www.hindawi.com

International Journal of Advances in

Combinatorics
Hindawi Publishing Corporation
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

Journal of Journal of Mathematical Problems Abstract and Discrete Dynamics in

Complex Analysis
Hindawi Publishing Corporation
Mathematics
Hindawi Publishing Corporation
in Engineering
Hindawi Publishing Corporation
Applied Analysis
Hindawi Publishing Corporation
Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

International
Journal of Journal of
Mathematics and
Mathematical
Discrete Mathematics
Sciences

Journal of International Journal of Journal of

Hindawi Publishing Corporation Hindawi Publishing Corporation Volume 2014

http://www.hindawi.com
Function Spaces
Hindawi Publishing Corporation
Volume 2014 http://www.hindawi.com http://www.hindawi.com
Stochastic Analysis
Hindawi Publishing Corporation
Optimization
Hindawi Publishing Corporation
Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

View publication stats