Another Reworded APMO Problem!

How many ordered pairs of non-negative integers ( a , b ) (a,b) subject to a , b < 1000 a,b <1000 are there such that both a 2 + 4 b a^2+4b and b 2 + 4 a b^2+4a are perfect squares?


This problem is a reworded version of a problem that appeared in APMO-1999.


This problem is a part of the set "Olympiads and Contests Around the World - 2". You can see rest of the problems here .


The answer is 63.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Sean Ty
Jul 14, 2014

We consider 2 cases:

Case 1:

If a a or b b is 0 0 , then the other would be a perfect square. Which is obviously a solution.

Thus, a solution is ( a , b ) = ( k 2 , 0 ) = ( 0 , k 2 ) (a, b)=(k^{2}, 0)=(0, k^{2}) for some integer k k .

Case 2:

Let a a and b b both be positive integers.

If both of them are positive, then a 2 + 4 b = ( a + 2 n ) 2 a^{2}+4b=(a+2n)^{2} for some positive number n n . So b = n a + n 2 > a b=na+n^{2}>a . But similarly, a > b a>b , a contradiction. Thus there are no solutions for this case.

For case 1, there are 31 × 2 + 1 = 63 31 \times 2 +1=63 possible solutions.

For case 2, there are 0 0 possible solutions. And

63 + 0 = 63 63+0=\boxed{63}

Feel free to ask if there are any questions.

Nice solution.This original version of the problem is a bit harder than this.The original version asks for integers a,b with no restriction on their signs.

Rahul Saha - 6 years, 10 months ago

a better and more explanatory solution is possible... awesome set.. loved it.

Ananya Aaniya - 5 years, 11 months ago
Rahul Saha
Aug 6, 2014

First,since the question asks for non-negative pairs ( a , b ) (a,b) , we are motivated to put a = 0 a=0 and likewise b = 0 b=0 .It is easy to see that there are 63 63 solutions with one of them equal to 0 0 .

Now,we restrict the values of a , b a,b to positive integers only.A common approach with this type of problem is to use easy inequalities.Note that a 2 a^2 is a perfect square.So,if a 2 + 4 b a^2+4b is a perfect square,it must be greater than a 2 a^2 . The next closest perfect square to a 2 a^2 is ( a + 1 ) 2 (a+1)^2 . So, a 2 + 4 b ( a + 1 ) 2 a^2+4b\ge (a+1)^2 i.e. 4 b 2 a + 1 4b\ge 2a+1 Now similarly,we can get 4 a 2 b + 1 4a\ge 2b+1 Now since we can do nothing better,we add the inequalities with the hope of a contradiction.But alas,we get a + b 1 a+b\ge 1 which does not help us in any way.Nevertheless,the method looked promising,so let's strengthen the inequality a bit.We look at the next closest perfect square to a 2 a^2 , which is ( a + 2 ) 2 (a+2)^2 .So if a 2 + 4 b ( a + 2 ) 2 a^2+4b\ge (a+2)^2 we get 4 b 4 a + 4 4b\ge 4a+4 and similarly 4 a 4 b + 4 4a\ge 4b+4 This time,adding the inequalities gives us 0 8 0\ge 8 and we know that's not true.

But what if a 2 + 4 b a^2+4b is smaller than ( a + 2 ) 2 (a+2)^2 ?Well,if it is smaller than ( a + 2 ) 2 (a+2)^2 ,it can only be equal to ( a + 1 ) 2 (a+1)^2 . Now a little case checking will show that there are no more ( a , b ) (a,b) and this part of the proof is left to the reader.

Nice inclusion of motivation.

A shorter approach when a , b > 0 a, b>0 :

WLOG let b a b\geq a .

Then b 2 < b 2 + 4 a b 2 + 4 b < ( b + 2 ) 2 b^2<b^2+4a\leq b^2+4b <(b+2)^2 implying that b 2 + 4 a = ( b + 1 ) 2 b^2+4a=(b+1)^2 . But that's impossible since the LHS and the RHS have different parities.

Mursalin Habib - 6 years, 10 months ago

Log in to reply

I have just realized that there is a minor error in my proof.I forgot to include the case where a 2 + 4 b ( a + 2 ) 2 a^2+4b\ge (a+2)^2 and a 2 + 4 b < ( a + 2 ) 2 a^2+4b<(a+2)^2

Rahul Saha - 6 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...