Maths Olympiad Prep

Library / India — Team Selection Test /49 of 77

India — Team Selection Test, 2009

Combinatorics Difficulty 6.4 National Olympiad Prove it India

Prove the identity:
∑j=0n{(3n+2−jj)2j−(3n+1−jj−1)2j−1}=23n, \sum_{j=0}^{n} \left\{ \binom{3n+2-j}{j} 2^j - \binom{3n+1-j}{j-1} 2^{j-1} \right\} = 2^{3n},
where the second term on the left side is to be interpreted as 00 for j=0j = 0.

Solution

Consider jj-th term in the above sum. It is equal to
(the coefficient of xj in (1+2x)3n+2−j)−(the coefficient of xj−1 in (1+2x)3n+1−j)(\text{the coefficient of } x^j \text{ in } (1+2x)^{3n+2-j}) - (\text{the coefficient of } x^{j-1} \text{ in } (1+2x)^{3n+1-j}).
This in turn is equal to
the coefficient of x3n+2 in x3n+2−j((1+2x)3n+2−j−x(1+2x)3n+1−j). \text{the coefficient of } x^{3n+2} \text{ in } x^{3n+2-j} \left( (1+2x)^{3n+2-j} - x(1+2x)^{3n+1-j} \right).
A little simplification shows that this is equal to
the coefficient of x3n+2x^{3n+2} in (x+x2)(x+2x2)3n+1−j(x+x^2)(x+2x^2)^{3n+1-j}.

Thus the sum above is equal to the coefficient of x3n+2x^{3n+2} in
x(1+x)((x+2x2)3n+1+(x+2x2)3n+⋯+(x+2x2)2n+1). x(1+x)((x+2x^2)^{3n+1} + (x+2x^2)^{3n} + \dots + (x+2x^2)^{2n+1}).
The last expression reduces to
x2n+2(1+2x)2n+11−(x+2x2)n+11−2x. x^{2n+2}(1+2x)^{2n+1} \frac{1-(x+2x^2)^{n+1}}{1-2x}.
Now the second term in the above product does not contribute to the coefficient of x3n+2x^{3n+2}. Hence this coefficient is precisely equal to the coefficient of xnx^n in
(1+2x)2n+11−2x. \frac{(1+2x)^{2n+1}}{1-2x}.
Using binomial expansion for 1/(1−2x)1/(1-2x), this may be seen to be equal to
2n(1+(2n+11)+(2n+12)+⋯+(2n+1n)). 2^n \left( 1 + \binom{2n+1}{1} + \binom{2n+1}{2} + \dots + \binom{2n+1}{n} \right).
This is precisely
2n12(∑j=02n+1(2n+1j)). 2^n \frac{1}{2} \left( \sum_{j=0}^{2n+1} \binom{2n+1}{j} \right).
which reduces to 23n2^{3n}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.