Is it a Diophantine?

a 2 b + b 2 a = a 2 + b 2 a b + a b \large \left \lfloor \frac{a^2}b \right \rfloor + \left\lfloor \frac{b^2}a \right \rfloor = \left \lfloor \frac{a^2+b^2}{ab} \right \rfloor + ab

Given a a and b b are positive integers with a < 100 a<100 , if the ordered pairs ( a 1 , b 1 ) (a_1, b_1) , ( a 2 , b 2 ) (a_2, b_2) , \ldots , ( a k , b k ) (a_k, b_k) satisfy the equation above, evaluate i = 1 k ( a i + b i ) \displaystyle \sum_{i=1}^{k} (a_i+b_i) .


The answer is 333738.

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.

1 solution

Kazem Sepehrinia
Jul 22, 2015

Let a , b N a, b \in \mathbb{N} satisfy the given equation. It is not possible that a = b a=b (since it leads to a 2 + 2 = 2 a a^2+2=2a ), so we assume w.l.o.g. that a > b a>b . Next, for a > b = 1 a>b=1 the equation becomes a 2 = 2 a a^2 = 2a , and one obtains a solution ( a , b ) = ( 2 , 1 ) (a, b) = (2,1) .

Let b > 1 b>1 . If [ a 2 b ] = α \left[\frac{a^2}{b} \right]=\alpha and [ b 2 a ] = β \left[\frac{b^2}{a} \right]=\beta , then we trivially have a b α β ab \ge \alpha \beta . Since also a 2 + b 2 a b 2 \frac{a^2+b^2}{ab}\ge2 , we obtain α + β α β + 2 \alpha +\beta \ge \alpha \beta +2 , or equivalently ( α 1 ) ( β 1 ) 1 (\alpha -1)(\beta -1)\le -1 . But α 1 \alpha \ge 1 , and therefore β = 0 \beta = 0 . It follows that a > b 2 a>b^2 , i.e., a = b 2 + c a =b^2+c for some c > 0 c >0 . Now the given equation becomes b 3 + 2 b c + [ c 2 b ] = [ b 4 + 2 b 2 c + b 2 + c 2 b 3 + b c ] + b 3 + b c ( c 1 ) b + [ c 2 b ] = [ b 2 ( c + 1 ) + c 2 b 3 + b c ] . ( 1 ) b^3+2bc+\left[\frac{c^2}{b} \right]=\left[\frac{b^4+2b^2c+b^2+c^2}{b^3+bc} \right]+b^3+bc \\ (c-1)b+\left[\frac{c^2}{b} \right]=\left[\frac{b^2(c+1)+c^2}{b^3+bc} \right]. \ \ \ \ \ (1) If c = 1 c = 1 , then equation ( 1 ) (1) always holds, since both sides are 0 0 . We obtain a family of solutions ( a , b ) = ( n , n 2 + 1 ) (a, b) = (n, n^2+1) or ( a , b ) = ( n 2 + 1 , n ) (a, b) = (n^2+1,n) . Note that the solution ( 1 , 2 ) (1, 2) found earlier is obtained for n = 1 n = 1 . If c > 1 c>1 , then equation ( 1 ) (1) implies that b 2 ( c + 1 ) + c 2 b 3 + b c ( c 1 ) b \frac{b^2(c+1)+c^2}{b^3+bc}\ge (c-1)b . This simplifies to c 2 ( b 2 1 ) + b 2 ( c ( b 2 2 ) ( b 2 + 1 ) ) 0. ( 2 ) c^2(b^2-1)+b^2(c(b^2-2)-(b^2+1)) \le 0. \ \ \ \ \ (2) Since c 2 c \ge 2 and b 2 2 0 b^2-2 \ge 0 , the only possibility is b = 2 b=2 . But then equation ( 2 ) (2) becomes 3 c 2 + 8 c 20 0 3c^2+8c-20\le 0 , which does not hold for c 2 c\ge 2 .

Hence the only solutions are ( n , n 2 + 1 ) (n, n^2+1) and ( n 2 + 1 , n ) (n^2+1, n) , n N n \in N . And since for this problem a < 100 a<100 answer will be n = 1 99 ( n 2 + n + 1 ) + n = 1 9 ( n 2 + n + 1 ) = 333738 \sum_{n=1}^{99} (n^2+n+1) + \sum_{n=1}^{9} (n^2+n+1)=333738

Shoot! I falsely assumed that b < 100 b<100 as well. Oh well, my mistake!

Garrett Clarke - 5 years, 10 months ago

Log in to reply

Last part is tricky!

Kazem Sepehrinia - 5 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...