Let , where and are integers and . If the equation has 4 positive integral solutions (not necessary distinct), how many different sets of possible values for are there?
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.
Assume [ Q ( x ) ] 2 = 1 has four positive integral solutions. Then x 2 + a x + b − 1 x 2 + a x + b + 1 = 0 = 0 have two positive integral solutions each.
Let s ≤ s 1 denote the two integral solutions of the first equation, so that s + s 1 = − a and s s 1 = b − 1 . Since 1 ≤ s ≤ s 1 by assumption, we see that s ( − a − s ) = b − 1 , s ≤ − 2 a .
Similarly, if t ≤ t 1 denote the two integral solutions of the second equation, then t ( − a − t ) = b + 1 , t ≤ − 2 a .
Since x ↦ x ( − a − x ) is increasing on x ≤ − 2 a and s ( − a − s ) < t ( − a − t ) , it follows that s < t . Also, we see that 2 = ( b + 1 ) − ( b − 1 ) = t ( − a − t ) − s ( − a − s ) = − a ( t − s ) − ( t 2 − s 2 ) = ( t − s ) ( − a − t − s ) so that { t − s , − a − t − s } = { 1 , 2 } , or 3 = 1 + 2 = ( t − s ) + ( − a − t − s ) = − a − 2 s ⟹ a = − 2 s − 3 ⟹ b = 1 + s ( − a − s ) = 1 + s ( 2 s + 3 − s ) = s 2 + 3 s + 1
At this point, all we have shown is that if a , b are such that [ Q ( x ) ] 2 = 1 has four positive integer solutions, then ( a , b ) ∈ { ( − 2 s − 3 , s 2 + 3 s + 1 ) : s ∈ Z , 1 ≤ s } However, for such values we can directly factor 0 = [ Q ( x ) ] 2 − 1 = ( x 2 − ( 2 s + 3 ) x + ( s 2 + 3 s + 1 ) − 1 ) ( x 2 − ( 2 s + 3 ) x + ( s 2 + 3 s + 1 ) + 1 ) = ( x − s ) ( x − ( s + 3 ) ) ( x − ( s + 1 ) ) ( x − ( s + 2 ) ) so this condition on the coefficients a , b is actually both necessary and sufficient.
The only requirement we haven't used is ∣ b ∣ ≤ 3 6 5 . Therefore, we solve 1 ≤ s , ∣ s 2 + 3 s + 1 ∣ ≤ 3 6 5 for integral s , which gives 1 ≤ s ≤ 1 7 .
Therefore, there are 1 7 such pairs ( a , b ) satisfying the assumptions in the problem.