olymmath

US-TST 2011 Problem 5

    Let cnc_n be a sequence which is defined recursively as follows: c0=1c_0 = 1 , c2n+1=cnc_{2n+1} = c_n for n≥0n \geq 0 , and c2n=cn+cn−2ec_{2n} = c_n + c_{n-2^e} for n>0n > 0 where ee is the maximal nonnegative integer such that 2e2^e divides nn . Prove that ∑i=02n−1ci=1n+2(2n+2n+1).\sum_{i=0}^{2^n-1} c_i = \frac{1}{n+2} {2n+2 \choose n+1}.

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator us-tst/2011/p5 · Tag E68HTX9W0X · Edit this page on GitHub · Keys: j next, k previous