Prove the identity: j=0∑n{(j3n+2−j)2j−(j−13n+1−j)2j−1}=23n, where the second term on the left side is to be interpreted as 0 for j=0.
Solution
Consider j-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). 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). A little simplification shows that this is equal to the coefficient of x3n+2 in (x+x2)(x+2x2)3n+1−j.
Thus the sum above is equal to the coefficient of x3n+2 in x(1+x)((x+2x2)3n+1+(x+2x2)3n+⋯+(x+2x2)2n+1). The last expression reduces to x2n+2(1+2x)2n+11−2x1−(x+2x2)n+1. Now the second term in the above product does not contribute to the coefficient of x3n+2. Hence this coefficient is precisely equal to the coefficient of xn in 1−2x(1+2x)2n+1. Using binomial expansion for 1/(1−2x), this may be seen to be equal to 2n(1+(12n+1)+(22n+1)+⋯+(n2n+1)). This is precisely 2n21(j=0∑2n+1(j2n+1)). which reduces to 23n.
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.