The number of possible values of for which the Diophantine Equation has positive integer solutions is
This problem is a part of Tessellate S.T.E.M.S. (2019)
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.
The only possible values of n are n = 4 , 7 . For n = 4 ( 2 , 2 ) solves the equation, and for n = 7 ( 1 , 2 ) solves the equation.
So let's show that there are no other solutions. First note that for n ≤ 3 we can rewrite the equation as a 2 + a b ( 1 − n ) + b 2 = − n , and for n ≤ 3 the left side is nonnegative but the right side is negative.
From now on, then, we can assume n > 4 . So now suppose the equation has positive integer solutions. Let ( a , b ) be the minimal positive integer solution with a ≤ b . If a = b , then we get 3 a 2 = n ( a 2 − 1 ) , or a 2 = n − 3 n , but 1 < n − 3 n < 4 if n > 4 so this is impossible. So we can assume that a < b . Now we use some Vieta jumping ideas: using the quadratic formula gives b = 2 a ( n − 1 ) ± a 2 ( n − 1 ) 2 − 4 ( a 2 + n ) , and minimality implies that this particular b is chosen using the negative sign. (It's the smaller of the two possible solutions, both of which must be positive integers since one of them is a positive integer by assumption, they sum to the positive integer a ( n − 1 ) , and their product is the positive integer a 2 + n . )
So rewrite: a a 2 a a ( n − 3 ) a 2 ( n − 3 ) 2 4 ( a 2 + n ) 4 ( a 2 + n ) 4 n n − 3 n < b < 2 a ( n − 1 ) − a 2 ( n − 1 ) 2 − 4 ( a 2 + n ) < a ( n − 1 ) − a 2 ( n − 1 ) 2 − 4 ( a 2 + n ) > a 2 ( n − 1 ) 2 − 4 ( a 2 + n ) > a 2 ( n − 1 ) 2 − 4 ( a 2 + n ) > a 2 ( n − 1 ) 2 − a 2 ( n − 3 ) 2 > a 2 ( 4 n − 8 ) > a 2 ( 4 n − 1 2 ) > a 2 But again, for n > 4 , n − 3 n is strictly between 1 and 4 , so the only positive integer solution to this inequality is a = 1 .
In this case, we get 1 + b + b 2 = n ( b − 1 ) , and mod b − 1 this simplifies to 3 ≡ 0 , so ( b − 1 ) ∣ 3 , so b = 2 , 4 . In both cases this gives n = 7 . So we are done. There are exactly 2 admissible values of n .