Tessellate S.T.E.M.S. (2019) - Mathematics - Category A (School) - Set 5 - Objective Problem 5

The number of possible values of n N n \in \mathbb{N} for which the Diophantine Equation a 2 + a b + b 2 = n ( a b 1 ) a^2+ab+b^2 = n(ab-1) has positive integer solutions ( a , b ) ( 1 , 1 ) (a,b) \neq (1,1) is


This problem is a part of Tessellate S.T.E.M.S. (2019)

2 2 more than 3 3 but finitely many infinitely many 3 3

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

Patrick Corn
Jan 4, 2019

The only possible values of n n are n = 4 , 7. n=4,7. For n = 4 n=4 ( 2 , 2 ) (2,2) solves the equation, and for n = 7 n=7 ( 1 , 2 ) (1,2) solves the equation.

So let's show that there are no other solutions. First note that for n 3 n \le 3 we can rewrite the equation as a 2 + a b ( 1 n ) + b 2 = n , a^2 + ab(1-n)+b^2 = -n, and for n 3 n \le 3 the left side is nonnegative but the right side is negative.

From now on, then, we can assume n > 4. n > 4. So now suppose the equation has positive integer solutions. Let ( a , b ) (a,b) be the minimal positive integer solution with a b . a \le b. If a = b , a=b, then we get 3 a 2 = n ( a 2 1 ) , 3a^2 = n(a^2-1), or a 2 = n n 3 , a^2 = \frac{n}{n-3}, but 1 < n n 3 < 4 1 < \frac{n}{n-3} < 4 if n > 4 n > 4 so this is impossible. So we can assume that a < b . a < b. Now we use some Vieta jumping ideas: using the quadratic formula gives b = a ( n 1 ) ± a 2 ( n 1 ) 2 4 ( a 2 + n ) 2 , b = \frac{a(n-1) \pm \sqrt{a^2(n-1)^2 - 4(a^2+n)}}2, and minimality implies that this particular b 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 ) , a(n-1), and their product is the positive integer a 2 + n . a^2+n. )

So rewrite: a < b a < a ( n 1 ) a 2 ( n 1 ) 2 4 ( a 2 + n ) 2 2 a < a ( n 1 ) a 2 ( n 1 ) 2 4 ( a 2 + n ) a ( n 3 ) > a 2 ( n 1 ) 2 4 ( a 2 + n ) a 2 ( n 3 ) 2 > a 2 ( n 1 ) 2 4 ( a 2 + n ) 4 ( a 2 + n ) > a 2 ( n 1 ) 2 a 2 ( n 3 ) 2 4 ( a 2 + n ) > a 2 ( 4 n 8 ) 4 n > a 2 ( 4 n 12 ) n n 3 > a 2 \begin{aligned} a &< b \\ a &< \frac{a(n-1) - \sqrt{a^2(n-1)^2 - 4(a^2+n)}}2 \\ 2a &< a(n-1) - \sqrt{a^2(n-1)^2 - 4(a^2+n)} \\ a(n-3) &> \sqrt{a^2(n-1)^2 - 4(a^2+n)} \\ a^2(n-3)^2 &> a^2(n-1)^2 - 4(a^2+n) \\ 4(a^2+n) &> a^2(n-1)^2 - a^2(n-3)^2 \\ 4(a^2+n) &> a^2(4n-8) \\ 4n &> a^2(4n-12) \\ \frac{n}{n-3} &> a^2 \end{aligned} But again, for n > 4 , n > 4, n n 3 \frac{n}{n-3} is strictly between 1 1 and 4 , 4, so the only positive integer solution to this inequality is a = 1. a=1.

In this case, we get 1 + b + b 2 = n ( b 1 ) , 1+b+b^2 = n(b-1), and mod b 1 b-1 this simplifies to 3 0 , 3 \equiv 0, so ( b 1 ) 3 , (b-1)|3, so b = 2 , 4. b=2,4. In both cases this gives n = 7. n=7. So we are done. There are exactly 2 \fbox{2} admissible values of n . n.

Did found the values, but didn't prove that it were the only 2 this elaborate. Nicely done.

Peter van der Linden - 2 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...