Когда мы удваиваем число, то какая-нибудь цифра становится либо , либо , либо , если перед ней стояла цифра, ставшая . Мы понимаем, что для равенства сумма цифр должна уменьшиться. Попробуем уменьшить её. Заметим, что цифра 5 может давать либо 0, либо 1, а все цифры, большие 5, соответственно дают больший результат. Тогда пусть в числе будет k пятёрок, а m - сумма остальных цифр. Предположим, что цифра, отличная от пяти, одна. Тогда:
0\Rightarrow m\geq6 \Rightarrow k\geq6" alt="5k+m=4(k+1+2m-10)\\5k+m=4k+8m-36\\k=7m-36\Rightarrow 7m-36>0\Rightarrow m\geq6 \Rightarrow k\geq6" align="absmiddle" class="latex-formula">
Возьмём значения m = 6, k = 6. Рассмотрим число 5555556:
5 * 6 + 6 = 36
4 * S(11111112) = 4 * 9 = 36
Левая и правая части равны, равенство выполнилось, число подходит.
Ответ: существует