Maths Olympiad Prep

Library / /57 of 91

, 2009

Combinatorics Difficulty 6.4 National Olympiad Prove it India

Prove the identity:
j=0n{(3n+2jj)2j(3n+1jj1)2j1}=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+2j)(the coefficient of xj1 in (1+2x)3n+1j)(\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+2j((1+2x)3n+2jx(1+2x)3n+1j). \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+1j(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+112x. 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+112x. \frac{(1+2x)^{2n+1}}{1-2x}.
Using binomial expansion for 1/(12x)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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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