It appears more than you think!

Algebra Level 5

Let p , q p,q and r r be the roots of the equation x 3 + 3 x = 2 x 2 + 4 x^3 +3x = 2x^2+4 , and denote S n = p n + q n + r n S_n = p^n + q^n + r^n . Find the sum of all positive integers m m satisfying S m = 2 |S_m| =2 .


The answer is 30.

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.

2 solutions

The observation that I found to be the key to solving the problem was that after some algebraic manipulations, the equation can be reduced to x 5 5 x 4 = 0 x^5-5x-4=0 This leads to the following recursive relation, S n = 5 S n 4 + 4 S n 5 , n 6 S_{n}=5S_{n-4}+4S_{n-5},\ n\ge 6 Now, one can check it manually that S 1 = 2 , S 2 = 2 , S 3 = 2 , S 4 = 18 S_1=2,S_2=-2,S_3=2,S_4=18 . This implies that every S n S_n is an integer. Note that we do not need to calculate any more S n S_n 's manually, and we can use the recursive relation to our advantage to tell which n n 's are going to give S n = 2 |S_n|=2 . Now, note that apart from 1 , 2 , 3 1,2,3 , the only other n n 's for which S n = 2 |S_n|=2 , are going to be 6 6 (from { 1 , 2 } \{1,2\} ), 7 7 (from { 2 , 3 } \{2,3\} ), and 11 11 (from { 6 , 7 } \{6,7\} ). This can be seen by an use of the recursive relation, as the relation implies that if both of S n 4 , S n 5 S_{n-4},\ S_{n-5} are positive, S n S_n is going to be higher than 2 2 . Since every S n S_n , for n 12 n\ge 12 can be determined, using the recursion, from the S n S_n 's with n 7 n\ge 7 , and since every S 7 > 0 S_7>0 , S n > 2 n 12 S_n>2\ \forall n\ge 12 . Thus the answer is 30 \boxed{30} .

How do you know that there's no solution for m > 12 m>12 ?

Pi Han Goh - 4 years, 10 months ago

Log in to reply

I recognized that I had major flaws in my argument justifying that the solutions 1 , 2 , 3 , 6 , 7 , 11 1,2,3,6,7,11 are the only ones. I have modified my answer to take care of those caveats.

Samrat Mukhopadhyay - 4 years, 10 months ago

Great way to do the problem, especially to get the induction between the nth term with (n-4)th and (n-5)th term. I believe there are two small errors, one is the induction should be S(n) = 5S(n-4)+4S(n-5), another minor one is S(4) = 18, not -10.

Wei Chen - 4 years, 10 months ago

Log in to reply

Thanks a lot for pointing out the mistakes. I also recognized that there was a major flaw in my previous argument regarding why the numbers 1 , 2 , 3 , 6 , 7 , 11 1,2,3,6,7,11 are going to be the only solutions. I have modified my answer to take care of those points.

Samrat Mukhopadhyay - 4 years, 10 months ago

Log in to reply

You are welcome. Yeah, I was thinking about that argument of no more solutions after m=11, your current way is a great way to go. Like you said, we just need a block of 5 S (from 7 to 11) that is all positive, then can apply induction to show all future S are greater than 2. The recursion you get is crucial to carry out the induction, as the original recursion has negative coefficients, which is not good.

Wei Chen - 4 years, 10 months ago
Mark Hennings
Aug 9, 2016

The cubic f ( x ) = x 3 2 x 2 + 3 x 4 f(x) = x^3 - 2x^2 + 3x - 4 has one real root p p and two complex roots q , r = q q,r = q^\star . Since f ( 1.65 ) < 0 < f ( 1.66 ) f(1.65) < 0 < f(1.66) , we deduce that 1.65 < p < 1.66 1.65 < p < 1.66 . Also 4 = p q r = p q 2 4 = pqr = p|q|^2 , and so q = 2 p |q| = \tfrac{2}{\sqrt{p}} , so that 2 1.66 < q < 2 1.65 \tfrac{2}{\sqrt{1.66}} < |q| < \tfrac{2}{\sqrt{1.65}} . If we write q = q e i θ q = |q| e^{i\theta} then S n = p n + q n + r n = p n + 2 q n cos n θ = q n [ ( p q ) n + 2 cos n θ ] S_n \; = \; p^n + q^n + r^n \;= \; p^n + 2|q|^n \cos n\theta \; = \; |q|^n\Big[\Big(\frac{p}{|q|}\Big)^n + 2\cos n\theta\Big] Since ( p q ) n > ( 1.65 2 1.65 ) n = ( 1.6 5 1.5 2 ) n \Big(\frac{p}{|q|}\Big)^n \; > \; \left(\frac{1.65}{\frac{2}{\sqrt{1.65}}}\right)^n \; = \; \Big(\frac{1.65^{1.5}}{2}\Big)^n and ( 1.6 5 1.5 2 ) 12 > 2 \left(\frac{1.65^{1.5}}{2}\right)^{12} > 2 , it is clear that S n > 0 S_n > 0 for all n 12 n \ge 12 , and moreover that S n q n [ ( p q ) n 2 ] ( 2 1.66 ) n [ ( 1.6 5 1.5 2 ) n 2 ] n 12 . S_n \; \ge \; |q|^n\left[\left(\tfrac{p}{|q|}\right)^n - 2\right] \; \ge \; \left(\tfrac{2}{\sqrt{1.66}}\right)^n\left[\left(\frac{1.65^{1.5}}{2}\right)^n - 2\right] \qquad n \ge 12 \;. Hence we deduce that S n ( 2 1.66 ) n [ ( 1.6 5 1.5 2 ) n 2 ] ( 2 1.66 ) 13 [ ( 1.6 5 1.5 2 ) 13 2 ] > 38 S_n \ge \left(\tfrac{2}{\sqrt{1.66}}\right)^n\left[\left(\frac{1.65^{1.5}}{2}\right)^n - 2\right] \; \ge \; \left(\tfrac{2}{\sqrt{1.66}}\right)^{13}\left[\left(\frac{1.65^{1.5}}{2}\right)^{13} - 2\right] \; > \; 38 for all n 13 n \ge 13 . Certainly, then, S n > 2 |S_n| > 2 for all n 13 n \ge 13 . It is now just a matter of checking that the recurrence relation S n + 3 2 S n + 2 + 3 S n + 1 4 S n = 0 S 1 = 3 4 , S 0 = 3 , S 1 = 2 S_{n+3} - 2S_{n+2} + 3S_{n+1} - 4S_n = 0 \qquad \qquad S_{-1} = \tfrac34\,,\,S_0 = 3\,,\,S_1 = 2 gives S 1 = S 3 = S 7 = S 11 = 2 S_1 = S_3 = S_7 = S_{11} = 2 and S 2 = S 6 = 2 S_2 = S_6 = -2 , and that no other values of S n S_n for 1 n 12 1 \le n \le 12 are equal to 2 2 or 2 -2 .

Thus the answer is 1 + 2 + 3 + 6 + 7 + 11 = 30 1+2+3+6+7+11 = \boxed{30}

You always come up with "out of this world" approaches.

Pi Han Goh - 4 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...