These sums are getting out of hand

Let Z \mathbb{Z}^* be the set of non-negative integers.

Given that λ 0 , λ 1 , λ 2 , \lambda_0, \lambda_1, \lambda_2, \ldots are real numbers that satisfy, for all n Z n \in \mathbb{Z}^* ,

a + b + c = n λ a λ b λ c = 1 \displaystyle \sum_{a+b+c=n} \lambda_a \lambda_b \lambda_c = 1

where the sum is taken over all a , b , c Z a,b,c \in\mathbb{Z}^* such that a + b + c = n a+b+c = n . (In particular, λ 0 = 1 \lambda_0 = 1 .)

It turns out that for all n Z n \in \mathbb{Z}^* there is a nice closed form for λ n \lambda_n . Using such a form, determine 1000 λ 2016 \lfloor 1000 \lambda_{2016}\rfloor .


The answer is 2.

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

Jon Haussmann
Jan 7, 2016

As generating functions, ( λ 0 + λ 1 x + λ 2 x 2 + ) 3 = 1 + x + x 2 + = ( 1 x ) 1 , (\lambda_0 + \lambda_1 x + \lambda_2 x^2 + \dotsb)^3 = 1 + x + x^2 + \dotsb = (1 - x)^{-1}, so λ 0 + λ 1 x + λ 2 x 2 + = ( 1 x ) 1 3 . \lambda_0 + \lambda_1 x + \lambda_2 x^2 + \dotsb = (1 - x)^{-\frac{1}{3}}. Taking the coefficient of x n x^n in both sides, we get λ n = ( 1 ) n ( 1 3 n ) . \lambda_n = (-1)^n \binom{-\frac{1}{3}}{n}.

Note: As stated, the problem is ambiguous, since 1 3 -\frac{1}{3} can be written as 1 3 \frac{-1}{3} or 1 3 \frac{1}{-3} .

The change I made due to Ivan's comment also fixes the issue in the note.

This solution was made when question said λ n = ( 1 ) n ( p / q n ) \lambda_n = (-1)^n \binom{p/q}{n} for all n n , and you were finding p + q p+q . The new answer can simply be found by evaluating 1000 ( 1 / 3 2016 ) \lfloor 1000 | \binom{-1/3}{2016}| \rfloor .

Dylan Pentland - 5 years, 5 months ago
Ivan Koswara
Jan 7, 2016

Using n = 0 n = 0 , we get λ 0 3 = 1 \lambda_0^3 = 1 or λ 0 = 1 \lambda_0 = 1 .

Using n = 1 n = 1 , we get 3 λ 0 2 λ 1 = 1 3 \lambda_0^2 \lambda_1 = 1 or λ 1 = 1 3 \lambda_1 = \frac{1}{3} .

Matching this to the given form, we have:

λ 1 = ( 1 ) 1 ( p / q 1 ) 1 3 = p q p q = 1 3 \displaystyle\begin{aligned} \lambda_1 &= (-1)^1 \binom{p/q}{1} \\ \frac{1}{3} &= -\frac{p}{q} \\ \frac{p}{q} &= \frac{-1}{3} \end{aligned}

Thus p = 1 , q = 3 p = -1, q = 3 , and p + q = 2 p+q = \boxed{2} .


Tip: Instead of asking for the general form (and thus can be abused like above), ask for some specific value like λ 2015 \lambda_{2015} or something.

EDIT: This solution was written when the question said λ n = ( 1 ) n ( p / q n ) \lambda_n = (-1)^n \binom{p/q}{n} for all n n , and finding p + q p+q .

I have changed the question to ask for 1000 λ 2016 \lfloor 1000 \lambda_{2016}\rfloor instead, which lets the answer stay at two. Thank you for letting me know about this, it completely slipped my mind when writing the problem.

Dylan Pentland - 5 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...