Divisive succession

Number Theory Level pending

Find the largest integer n n , such that for some non-constant cubic polynomial f ( x ) f(x) with integer coefficients,

f ( 1 ) f ( 2 ) , f ( 2 ) f ( 3 ) , f ( n 1 ) f ( n ) . f(1) \mid f(2), f(2) \mid f(3), \ldots f(n-1) \mid f(n).

Details and assumptions

For (possibly negative or zero) integers m m and k k the notation m k m|k means that k = m i k=m\cdot i for some integer i . i.

The divisibility condition is a statement about integers, not polynomial.


The answer is 6.

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

James Aaronson
Sep 23, 2013

Note that for any polynomial of degree at most 3 3 , and any value of x x , f ( x ) 4 f ( x + 1 ) + 6 f ( x + 2 ) 4 f ( x + 3 ) + f ( x + 4 ) = 0 f(x) - 4f(x+1) + 6f(x+2) - 4f(x+3) + f(x+4) = 0 . It is easy to prove this - for example, notice that it is the method of differences (from a Brilliant post a while back) applied iteratively four times.

Let us suppose that n n is at least 7 7 . Then, if 2 x 4 2 \leq x \leq 4 , f ( x ) f ( x + 1 ) f(x) | f(x+1) , f ( x ) f ( x + 2 ) f(x) | f(x+2) and f ( x ) f ( x + 3 ) f(x) | f(x+3) . But f ( x + 3 ) = 4 f ( x + 2 ) 6 f ( x + 1 ) + 4 f ( x ) f ( x 1 ) f(x+3) = 4f(x+2) - 6f(x+1) + 4f(x) - f(x-1) , so f ( x ) f ( x 1 ) f(x) | f(x-1) (since f ( x ) f(x) divides all the other terms in that expression. Hence, f ( x ) |f(x)| is constant for 1 x 4 1 \leq x \leq 4 .

Let f ( 1 ) = A f(1) = A . There are 8 cases for the values of f ( 2 ) f(2) , f ( 3 ) f(3) and f ( 4 ) f(4) , since each must be ± A \pm A .

I will not deal with all 8 cases here, but I will deal with three as examples.

  1. A , A , A , A , A , A . . . A, A, A, A, A, A... does not work, since f f is constant.
  2. A , A , A , A , 5 A , 11 A A, -A, -A, A, 5A, 11A does not work, since 5 11 5 \nmid 11 .
  3. A , A , A , A , 3 A , 9 A , 21 A A, -A, -A, -A, -3A, -9A, -21A does not work, since 9 21 9 \nmid 21 .

We have worked out subsequent values of f f using the above formula.

Dealing with the other five cases similarly shows that n < 7 n < 7 .

The third case gives us our example when n = 6 n = 6 : Taking A = 3 A = -3 , we find that f ( x ) = ( x 2 ) ( x 3 ) ( x 4 ) + 3 f(x) = (x-2)(x-3)(x-4)+3 works.

Moderator note:

Nicely done!

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...