ILL 1969 Problem 61

$(SWE 4)$ Let $a_0, a_1, a_2, \cdots$ be determined with $a_0 = 0, a_{n+1} = 2a_n + 2^n$ . Prove that if $n$ is power of $2$ , then so is $a_n$

Dataset text AoPS wiki problems. 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.