Q61 Matemática  (IMO Longlists 1969)

$(SWE4)$ Seja $a_0,a_1,a_2,\cdots$ determinado com $a_0=0,a_{n+1}=2a_n+2^n$. Prove que se $n$ é potência de $2$, então $a_n$ também é