An Arithmetic Sequence in an Ugly Series

Algebra Level 5

Let a n = 4 3 n , a_{n} = 4 - 3n, for all integers n 1. n \geq 1. Define

f ( x , y ) = x + i = 1 [ ( j = 1 i a j 3 i i ! ) x a i + 1 y i ] f(x, y) = x + \sum_{i=1}^{\infty}\left [\left(\frac{\prod_{j=1}^{i}a_{j}}{3^i\cdot i!} \right )x^{a_{i+1}}y^{i}\right]

for all real numbers x x and y . y. Determine the positive integer k k such that f ( 19 , k ) = 20. f(19, k) = 20.


The answer is 1141.

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

Steven Yuan
Jan 4, 2015

Consider the function F ( x , y ) = x 3 + y 3 . F(x, y) = \sqrt[3]{x^3 + y}. If we write the function in the form ( x 3 + y ) 1 / 3 , (x^3 + y)^{1/3}, we can use the generalized version of the binomial theorem to expand this. We get

( x 3 + y ) 1 / 3 = ( 1 / 3 0 ) x + ( 1 / 3 1 ) x 2 y + ( 1 / 3 2 ) x 5 y 2 . (x^3 + y)^{1/3} = \binom{1/3}{0}x + \binom{1/3}{1}x^{-2}y + \binom{1/3}{2}x^{-5}y^2 \cdots.

Also,

( 1 / 3 n ) = ( 1 / 3 ) ( 1 / 3 1 ) ( 1 / 3 2 ) ( 1 / 3 n + 1 ) n ! = ( 1 / 3 ) ( 2 / 3 ) ( 5 / 3 ) ( a n / 3 ) n ! = i = 1 n a i 3 n n ! . . \begin{aligned} \binom{1/3}{n} &= \frac{(1/3)(1/3 - 1)(1/3 - 2)\cdots(1/3 - n + 1)}{n!} \\ &= \frac{(1/3)(-2/3)(-5/3)\cdots(a_{n}/3)}{n!} \\ &= \frac{\prod_{i=1}^{n}a_{i}}{3^n \cdot n!}. \\ \end{aligned}.

Finally, notice that the exponent on x x for the n n th term in our expanded expression, excluding the first x x , actually equals a n + 1 a_{n+1} , and the corresponding exponent on y y is n . n. Combining all this, we get

( 1 / 3 0 ) x + ( 1 / 3 1 ) x 2 y + ( 1 / 3 2 ) x 5 y 2 = x + n = 1 [ ( i = 1 n a n 3 n n ! ) x a n + 1 y n ] = f ( x , y ) . \binom{1/3}{0}x + \binom{1/3}{1}x^{-2}y + \binom{1/3}{2}x^{-5}y^2 \cdots = x + \sum_{n=1}^{\infty}\left [\left(\frac{\prod_{i=1}^{n}a_{n}}{3^n\cdot n!} \right )x^{a_{n+1}}y^{n}\right] = f(x, y).

Thus, F ( x , y ) = f ( x , y ) = x 3 + y 3 . F(x, y) = f(x, y) = \sqrt[3]{x^3 + y}. To solve the problem, we need to find the integer k k such that 1 9 3 + k = 2 0 3 . 19^3 + k = 20^3. This value is k = 2 0 3 1 9 3 = 2 0 2 + 20 ( 19 ) + 1 9 2 = 1141 . k = 20^3 - 19^3 = 20^2 + 20(19) + 19^2 = \boxed{1141}.

We still need to show that this value of k k will indeed make the series equal 20 20 i.e. if the series converges or diverges. The binomial expansion of ( x + y ) n (x+y)^n , for a real number n n that is not a nonnegative integer, will converge if x > y \left | x \right | > \left | y \right | and diverge otherwise. In this case, since 1 9 3 = 6859 \left | 19^3 \right | = 6859 is clearly greater than 1141 , 1141, our series will converge, so f ( 19 , 1141 ) = 20. f(19, 1141) = 20.

There is a slight error in your expansion of ( x 3 + y ) 1 / 3 (x^3 + y)^{1/3} . It should be x + n = 2 [ ( i = 1 n 1 a i 3 n n ! ) x a n y n 1 ] . x + \sum_{n = 2}^\infty \left[ \left( \frac{\prod_{i = 1}^{\color{#D61F06}{n - 1}} a_i}{3^n \cdot n!} \right) x^{a_n} y^{n - 1} \right]. However, there is a more serious error. The generalized binomial theorem can be applied to ( 1 + z ) r (1 + z)^r only if z 1 |z| \le 1 . Thus, if you write ( x 3 + y ) 1 / 3 = x ( 1 + y x 3 ) 1 / 3 , (x^3 + y)^{1/3} = x \left( 1 + \frac{y}{x^3} \right)^{1/3}, then the generalized binomial theorem applies only if y x 3 |y| \le |x^3| . In particular, if x = 15 x = 15 , then y y must satisfy y 1 5 3 = 3375 |y| \le 15^3 = 3375 .

If you set y = 4625 y = 4625 , then you'll find that ( i = 1 n 1 a i 3 n n ! ) x a n y n 1 \left( \frac{\prod_{i = 1}^{n - 1} a_i}{3^n \cdot n!} \right) x^{a_n} y^{n - 1} diverges as n n goes to infinity, so the sum is not well-defined.

Jon Haussmann - 6 years, 5 months ago

Log in to reply

Thanks for pointing that out! This would otherwise have made a nice problem about Taylor series.

Calvin Lin Staff - 6 years, 5 months ago

Done the same way.

Ronak Agarwal - 6 years, 5 months ago

The problem has now been updated and the correct answer is now 1191.

Those who previously answered 4625 were marked wrong, because f ( 15 , 4625 ) 20 f(15, 4625 ) \neq 20 .

Can you update your solution, and remember to mention the radius of convergence? Thanks!

Calvin Lin Staff - 6 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...