For each positive integer $k$, let $S(k)$ be the sum of the digits of $k$ in the decimal system. Prove that there exists a positive integer $k$, which does not have the digit $9$ in its decimal representation, such that: $$S(2^{24^{2017}}k)=S(k)$$
Source: 2017 Peru Ibero TST P6
Tags: number theory
For each positive integer $k$, let $S(k)$ be the sum of the digits of $k$ in the decimal system. Prove that there exists a positive integer $k$, which does not have the digit $9$ in its decimal representation, such that: $$S(2^{24^{2017}}k)=S(k)$$