Solution 1
We can re-write the equation as:
(3x)2+y2+2(3x)(y)+8y2+9+4=2005
or (3x+y)2=4(498−2y2)
The above equation tells us that (498−2y2) is a perfect square.
Since 498−2y2≥0 . this implies that y≤15
Also, taking mod3 on both sides we see that y cannot be a multiple of 3 . Also, note that 249−y2 has to be even since (498−2y2)=2(249−y2) is a perfect square.
So, y2 cannot be even, implying that y is odd.
So we have only {1,5,7,11,13} to consider for y .
Trying above 5 values for y we find that y=7,11 result in perfect squares.
Thus, we have 2 cases to check:
Case1:y=7
(3x+7)2=4(498−2(72)) =>(3x+7)2=4(400) =>x=11
Case2:y=11
(3x+11)2=4(498−2(112)) =>(3x+11)2=4(256) =>x=7
Thus all solutions are (7,11) and (11,7) .
Kris17
Solution 2
Expanding, combining terms, and factoring results in 9x2+9y2+9+6xy+49x2+9y2+6xy3x2+3y2+2xy(x+y)2+2x2+2y2=2005=1992=664=664. Since 2x2 and 2y2 are even, (x+y)2 must also be even, so x and y must have the same parity. There are two possible cases.
Case 1: and are both even
Let x=2a and y=2b . Substitution results in 4(a+b)2+8a2+8b2(a+b)2+2a2+2b2=664=166 Like before, a+b must be even for the equation to be satisfied. However, if a+b is even, then (a+b)2 is a multiple of 4. If a and b are both even, then 2a2+2b2 is a multiple of 4, but if a and b are both odd, the 2a2+2b2 is also a multiple of 4. However, 166 is not a multiple of 4, so there are no solutions in this case.
Case 2: and are both odd
Let x=2a+1 and y=2b+1 , where a,b≥0 . Substitution and rearrangement results in 4(a+b+1)2+2(2a+1)2+2(2b+1)22(a+b+1)2+(2a+1)2+(2b+1)26a2+4ab+6b2+8a+8b3a2+2ab+3b2+4a+4b=664=332=328=164 Note that 3a2≤164 , so a≤7 . There are only a few cases to try out, so we can do guess and check. Rearranging terms once more results in 3b2+b(2a+4)+3a2+4a−164=0 . Since both a and b are integers, we must have n2=4a2+16a+16−12(3a2+4a−164)=−32a2−32a+16+12⋅164=16(−2a2−2a+1+3⋅41)=16(−2(a2+a)+124), where n is an integer. Thus, −2(a2+a)+124 must be a perfect square.
After trying all values of a from 0 to 7, we find that a can be 3 or 5 . If a=3 , then b=5 , and if a=5 , then b=3 .
Therefore, the ordered pairs (x,y) that satisfy the original equation are (7,11),(11,7) .