Problems and Solutions #027
Problem #027 양의 정수 $n = a_{1} a_{2} a_{3} \cdots a_{2017}$이 $0$이 아닌 수 $a_i \in \{ 1,\,2,\, \ldots,\, 9\}$로만 이루어진 $2017$ 자리의 수라고 하자. 이 때, $n$ 자체가 $2017$으로 나누어 떨어지거나, 또는 적당히 $a_i$를 $0$으로 바꾸어 얻은 수가 $2017$로 나누어 떨어지게 할 수 있음을 증명하여라. (단, 모든 $a_i$를 $0$으로 바꾸는 것은 금지한다.) 우선 $n_0 = 0$으로 정의하자. 또한 임의의 $k = 1,\,2,\, \ldots,\, 2017$에 대하여, $n_k$가 $n$에서 앞에서부터 $k$자리 이후의 모든 자리를 $0$으로 바꾸어 얻은 수라 하자. 즉, \[ n_k = a_{1}..