Problem

Source: Turkey EGMO TST 2015 P3

Tags: combinatorics



Given a $2015$-tuple $(a_1,a_2,\ldots,a_{2015})$ in each step we choose two indices $1\le k,l\le 2015$ with $a_k$ even and transform the $2015$-tuple into $(a_1,\ldots,\dfrac{a_k}{2},\ldots,a_l+\dfrac{a_k}{2},\ldots,a_{2015})$. Prove that starting from $(1,2,\ldots,2015)$ in finite number of steps one can reach any permutation of $(1,2,\ldots,2015)$.