olymmath

CMO 1994 Problem 5

  • Day 2

For arbitrary natural number nn , prove that ∑k=0nCnk2kCn−k[(n−k)/2]=C2n+1n\sum^n_{k=0}C^k_n2^kC^{[(n-k)/2]}_{n-k}=C^n_{2n+1} , where C00=1C^0_0=1 and [n−k2][\dfrac{n-k}{2}] denotes the integer part of n−k2\dfrac{n-k}{2} .

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 cn-mo/1994/p5 · Tag 8THFQ3MC2S · Edit this page on GitHub · Keys: j next, k previous