Solution of polynomial 2 ^2

Algebra Level 5

Let Q ( x ) = x 2 + a x + b Q(x)=x^2+ax+b , where a a and b b are integers and b 365 |b|\le 365 . If the equation [ Q ( x ) ] 2 = 1 [Q(x)]^2=1 has 4 positive integral solutions (not necessary distinct), how many different sets of possible values for ( a , b ) (a,b) are there?


The answer is 17.

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

Brian Moehring
Jul 1, 2018

Assume [ Q ( x ) ] 2 = 1 \left[Q(x)\right]^2 = 1 has four positive integral solutions. Then x 2 + a x + b 1 = 0 x 2 + a x + b + 1 = 0 \begin{aligned}x^2 + ax + b - 1 &= 0 \\ x^2 + ax + b + 1 &= 0\end{aligned} have two positive integral solutions each.

Let s s 1 s \leq s_1 denote the two integral solutions of the first equation, so that s + s 1 = a s+s_1 = -a and s s 1 = b 1 ss_1 = b-1 . Since 1 s s 1 1 \leq s\leq s_1 by assumption, we see that s ( a s ) = b 1 , s a 2 . s(-a-s)=b-1, \qquad s \leq -\frac{a}{2}.
Similarly, if t t 1 t \leq t_1 denote the two integral solutions of the second equation, then t ( a t ) = b + 1 , t a 2 . t(-a-t)=b+1, \qquad t \leq -\frac{a}{2}.

Since x x ( a x ) x\mapsto x(-a-x) is increasing on x a 2 x \leq -\frac{a}{2} and s ( a s ) < t ( a t ) s(-a-s) < t(-a-t) , it follows that s < t 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 ) \begin{aligned} 2 &= (b+1)-(b-1) \\ &= t(-a-t)-s(-a-s) \\ &= -a(t-s) - (t^2-s^2) \\ &= (t-s)(-a - t - s) \end{aligned} so that { t s , a t s } = { 1 , 2 } \{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 \begin{aligned} 3 &= 1+2 = (t-s)+(-a-t-s) = -a-2s \\ &\implies a = -2s-3 \\ &\implies b = 1+s(-a-s) = 1+s(2s+3-s) = s^2 + 3s + 1 \end{aligned}

At this point, all we have shown is that if a , b a,b are such that [ Q ( x ) ] 2 = 1 \left[Q(x)\right]^2 = 1 has four positive integer solutions, then ( a , b ) { ( 2 s 3 , s 2 + 3 s + 1 ) : s Z , 1 s } (a,b) \in \{(-2s-3, s^2+3s+1) : s\in \mathbb{Z}, 1 \leq 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 ) ) \begin{aligned} 0 &= \left[Q(x)\right]^2 - 1 \\ &= (x^2 - (2s+3)x + (s^2+3s+1) - 1)(x^2 - (2s+3)x + (s^2+3s+1) + 1) \\ &= (x-s)(x-(s+3))(x-(s+1))(x-(s+2)) \end{aligned} so this condition on the coefficients a , b a,b is actually both necessary and sufficient.

The only requirement we haven't used is b 365 |b| \leq 365 . Therefore, we solve 1 s , s 2 + 3 s + 1 365 1\leq s, \qquad |s^2+3s+1| \leq 365 for integral s s , which gives 1 s 17. 1\leq s \leq 17.

Therefore, there are 17 \boxed{17} such pairs ( a , b ) (a,b) satisfying the assumptions in the problem.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...