IMC 2008 · Problem 3

Day 215th IMC · Blagoevgrad, Bulgaria

Statement

Let nn be a positive integer. Prove that 2n12^{n-1} divides

0k<n/2(n2k+1)5k.\sum_{0 \le k < n/2} \binom{n}{2k+1} 5^k.

Official solution

Hidden so you can work on the problem first.