2
$\begingroup$

I am currently studying discrete mathematics at uni (in my computer science degree). We have an assignment due tomorrow, and i have been able to do most of it, but one question eludes me. I spoke to a tutor today about it, and he said that last year they asked the same question in the assignment, and only 4 people got it right in the entire course.

The question is this: given the possible remainders that a perfect square leaves when divided by $3, 4$ and $8$......., $a, b$ are in the natural numbers, find all solutions to $2^a = b^2 - 5$ and prove there are no more solutions than the ones you have found?

I have been trying all day to solve this, but i am still no closer.

I am guessing it has something to do with using a different modulus (one of the tutors hinted this), but i cant figure it out.

If someone wouldn't mind perhaps pointing me in the right direction, i would be hugely grateful.

Thanks Corey B :)

$\endgroup$

2 Answers 2

4
$\begingroup$

Hint What is $b^2 \pmod{8}$?..

$\endgroup$
2
$\begingroup$

This Diophantine equation is well-known. It has exactly the solution $a=2$ and $b=3$ in nonnegative integers, see Theorem $1$ here. In fact, the Diophatine equation $$ 2^x+5^y=z^2 $$ has the only solutions $(x,y,z)=(3,0,3),(2,1,3)$ in nonnegative integers.

$\endgroup$
2
  • $\begingroup$ That was perfect! Thanks heaps :) $\endgroup$
    – Fishingfon
    Apr 1, 2015 at 12:39
  • $\begingroup$ You are welcome. $\endgroup$ Apr 1, 2015 at 12:46

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .