A quartic polynomial with a positive integer leading coefficient is tangent to the line at for some positive integer . Find the number of all the possible values of in the range
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.
Start with the tangency condition: f ′ ( k ) = f ′ ( − k ) = 1 . So f ′ ( x ) − 1 is divisible by x − k and x + k . Since f ′ is a cubic, this implies that f ′ ( x ) = ( x 2 − k 2 ) ( 4 a x + 3 b ) + 1 , for some a , b . (I put the 4 and the 3 in front to make life easier later.)
Taking the antiderivative, we get f ( x ) = a x 4 + b x 3 − 2 a k 2 x 2 + ( 1 − 3 b k 2 ) x + C for some constant C .
Now f ( k ) + f ( − k ) = 4 , which gives 2 a k 4 − 4 a k 4 + 2 C = 4 , so C = a k 4 + 2 . Plugging back in, we get f ( x ) = a x 4 + b x 3 − 2 a k 2 x 2 + ( 1 − 3 b k 2 ) x + ( a k 4 + 2 ) = a ( x 4 − 2 k 2 x 2 + k 4 ) + b x ( x 2 − 3 k 2 ) + x + 2 .
Now f ( k ) = k + 2 , so plugging in gives k + 2 = − 2 b k 3 + k + 2 , so since k = 0 , b must be 0 . Thus f ( x ) = a ( x 4 − 2 k 2 x 2 + k 4 ) + x + 2 , so f ( 0 ) = a k 4 + 2 . Note that a is the positive integer leading coefficient and k is a positive integer > 1 .
When k = 2 , there are 1 2 6 integers of the form 1 6 a + 2 in the range [ 0 , 2 0 1 8 ] .
When k = 3 , there are 2 4 integers of the form 8 1 a + 2 in that range. Note that one of them is also of the form 1 6 a + 2 , namely 8 1 ⋅ 1 6 + 2 = 1 2 9 8 .
When k = 4 , the integers of the form 2 5 6 a + 2 are already in the list of integers of the form 1 6 a + 2 , so there are no new ones.
When k = 5 , there are 3 integers of the form 6 2 5 a + 2 . None of them overlap with the previous lists.
When k = 6 , there is one positive integer of the form 1 2 9 6 a + 2 in the range, namely 1 2 9 8 , but it was already in the list of integers of the form 1 6 a + 2 .
When k ≥ 7 , a k 4 + 2 is too large to be in the range.
So there are a total of 1 2 6 + 2 3 + 3 = 1 5 2 possible values of f ( 0 ) in the range [ 0 , 2 0 1 8 ] .