Задача 9. Придумайте два последовательных натуральных пятизначных числа, сумма цифр каждого из которых делится на 5.

Решение:

Для решения этой задачи нам нужно найти два последовательных пятизначных числа, у которых сумма цифр делится на 5. Давайте рассмотрим одно из таких чисел. Если мы возьмем число 12345, сумма его цифр будет 1+2+3+4+5 = 15. Число 15 делится на 5. Следующее за ним число - 12346. Сумма его цифр будет 1+2+3+4+6 = 16. 16 не делится на 5.

Чтобы сумма цифр следующего числа также делилась на 5, нам нужно, чтобы изменение суммы было кратно 5. Когда мы переходим от числа N к N+1, сумма цифр изменяется следующим образом: если последняя цифра N не 9, то сумма цифр N+1 будет равна сумме цифр N + 1. Если последняя цифра N равна 9, то при переходе к N+1 последняя цифра станет 0, а предыдущая цифра увеличится на 1 (или произойдет перенос). Это может усложнить задачу.

Проще всего найти число, сумма цифр которого делится на 5, а затем посмотреть на следующее число. Если сумма цифр следующего числа не делится на 5, мы можем попробовать изменить его так, чтобы сумма делилась на 5.

Рассмотрим число 10000. Сумма цифр = 1. Не делится на 5.
Число 10004. Сумма цифр = 1+0+0+0+4 = 5. Делится на 5.
Следующее число - 10005. Сумма цифр = 1+0+0+0+5 = 6. Не делится на 5.

Давайте попробуем найти число, сумма цифр которого равна 10 (делится на 5). Например, 10009. Сумма цифр = 1+0+0+0+9 = 10.
Следующее число - 10010. Сумма цифр = 1+0+0+1+0 = 2. Не делится на 5.

Рассмотрим число 10013. Сумма цифр = 1+0+0+1+3 = 5. Делится на 5.
Следующее число - 10014. Сумма цифр = 1+0+0+1+4 = 6. Не делится на 5.

Рассмотрим число 10014. Сумма цифр = 1+0+0+1+4 = 6.
Число 10015. Сумма цифр = 1+0+0+1+5 = 7.
Число 10016. Сумма цифр = 1+0+0+1+6 = 8.
Число 10017. Сумма цифр = 1+0+0+1+7 = 9.
Число 10018. Сумма цифр = 1+0+0+1+8 = 10. Делится на 5.

Итак, мы нашли два последовательных пятизначных числа, сумма цифр которых делится на 5: 10014 и 10018. Но они не являются последовательными.

Давайте попробуем найти такое число, где переход к следующему числу сохранит делимость суммы на 5. Это произойдет, если сумма цифр изменится на 5 или 0. Изменение на 0 невозможно при переходе к следующему числу. Изменение на 5 возможно, например, если число заканчивается на 4, а следующее на 5 (сумма +1), и при этом предыдущие цифры как-то компенсируют. Это сложно.

Проще всего искать числа, сумма цифр которых равна 5, 10, 15, 20, 25, 30, 35, 40, 45. Максимальная сумма цифр для пятизначного числа (99999) равна 45.

Возьмем число, сумма цифр которого делится на 5. Например, 10000. Сумма = 1.
10004. Сумма = 5.
Следующее число 10005. Сумма = 6.
10009. Сумма = 10.
Следующее число 10010. Сумма = 2.

Давайте возьмем число, сумма цифр которого равна 5. Например, 10004.
Следующее число 10005. Сумма 6.
10006. Сумма 7.
10007. Сумма 8.
10008. Сумма 9.
10009. Сумма 10.
Следующее число 10010. Сумма 2.

Рассмотрим число 23450. Сумма цифр = 2+3+4+5+0 = 14. Не делится на 5.
Число 23451. Сумма = 15. Делится на 5.
Следующее число 23452. Сумма = 16. Не делится на 5.

Число 23455. Сумма = 19.
23456. Сумма = 20. Делится на 5.
Следующее число 23457. Сумма = 21. Не делится на 5.

Важно, чтобы разница между суммами цифр двух последовательных чисел делилась на 5. Пусть у нас есть число $$N$$. Сумма цифр $$S(N)$$. Следующее число $$N+1$$. Сумма цифр $$S(N+1)$$. Мы хотим, чтобы $$S(N) ext{ mod } 5 = 0$$ и $$S(N+1) ext{ mod } 5 = 0$$.

Если последняя цифра $$N$$ не 9, то $$S(N+1) = S(N) + 1$$. Тогда $$(S(N) + 1) ext{ mod } 5 = 0$$. Если $$S(N) ext{ mod } 5 = 0$$, то $$(S(N)+1) ext{ mod } 5 = 1$$. Это не подходит.

Если последняя цифра $$N$$ равна 9, то при переходе к $$N+1$$ происходит перенос. Например, для числа 19, $$S(19) = 10$$. $$N+1 = 20$$, $$S(20) = 2$$. Разница 8.

Для числа 199, $$S(199) = 19$$. $$N+1 = 200$$, $$S(200) = 2$$. Разница 17.

Нам нужно, чтобы $$S(N+1) - S(N)$$ было кратно 5. Но $$S(N+1) - S(N)$$ обычно равно 1 (если последняя цифра не 9) или $$1 - 9k$$ (если есть $$k$$ девяток на конце).

Если число оканчивается на 4, сумма цифр $$S$$. Следующее число оканчивается на 5, сумма цифр $$S+1$$. Чтобы $$S ext{ mod } 5 = 0$$ и $$(S+1) ext{ mod } 5 = 0$$, это невозможно.

Рассмотрим число, оканчивающееся на 5. Пусть это число $$X...Y5$$. Сумма цифр $$S$$. Следующее число $$X...Y6$$. Сумма цифр $$S+1$$. Если $$S ext{ mod } 5 = 0$$, то $$S+1 ext{ mod } 5 = 1$$.

Нам нужно, чтобы $$S(N)$$ и $$S(N+1)$$ делились на 5.

Давайте возьмем число, где сумма цифр равна 15. Например, 12345. $$S(12345) = 15$$.
$$N+1 = 12346$$. $$S(12346) = 16$$.

Возьмем число, где сумма цифр равна 20. Например, 23456. $$S(23456) = 20$$.
$$N+1 = 23457$$. $$S(23457) = 21$$.

Возьмем число, где сумма цифр равна 25. Например, 29996. $$S(29996) = 2+9+9+9+6 = 35$$.
$$N+1 = 29997$$. $$S(29997) = 2+9+9+9+7 = 36$$.

Возьмем число, где сумма цифр равна 30. Например, 39990. $$S(39990) = 3+9+9+9+0 = 30$$.
$$N+1 = 39991$$. $$S(39991) = 3+9+9+9+1 = 31$$.

Возьмем число, где сумма цифр равна 35. Например, 39995. $$S(39995) = 3+9+9+9+5 = 35$$.
$$N+1 = 39996$$. $$S(39996) = 3+9+9+9+6 = 36$$.

Возьмем число, где сумма цифр равна 40. Например, 49999. $$S(49999) = 4+9+9+9+9 = 40$$.
$$N+1 = 50000$$. $$S(50000) = 5$$.

Есть другой подход. Если число оканчивается на 0, сумма цифр $$S$$. Следующее число оканчивается на 1, сумма $$S+1$$. Если $$S ext{ mod } 5 = 0$$, то $$(S+1) ext{ mod } 5 = 1$$.

Если число оканчивается на 4, сумма цифр $$S$$. Следующее число оканчивается на 5, сумма $$S+1$$.

Рассмотрим число $$N$$. Если $$N ext{ mod } 5 = 0$$, то $$N+1 ext{ mod } 5 = 1$$.

Давайте попробуем взять число, которое делится на 5. Например, 10000. Сумма цифр = 1.
10005. Сумма цифр = 6.
10010. Сумма цифр = 2.
10015. Сумма цифр = 7.
10020. Сумма цифр = 3.
10025. Сумма цифр = 8.
10030. Сумма цифр = 4.
10035. Сумма цифр = 9.
10040. Сумма цифр = 5. Делится на 5.
Следующее число 10041. Сумма цифр = 6. Не делится на 5.

Число 10045. Сумма цифр = 10. Делится на 5.
Следующее число 10046. Сумма цифр = 11. Не делится на 5.

Число 10050. Сумма цифр = 6.
10055. Сумма цифр = 11.
10060. Сумма цифр = 7.
10065. Сумма цифр = 12.
10070. Сумма цифр = 8.
10075. Сумма цифр = 13.
10080. Сумма цифр = 9.
10085. Сумма цифр = 14.
10090. Сумма цифр = 10. Делится на 5.
Следующее число 10091. Сумма цифр = 11.

Есть ли два последовательных числа, сумма цифр которых делится на 5?
Пусть $$N$$ - такое число. $$S(N) ext{ mod } 5 = 0$$.
Если последняя цифра $$N$$ не 9, то $$S(N+1) = S(N) + 1$$. Тогда $$S(N+1) ext{ mod } 5 = 1$$. Не подходит.
Если последняя цифра $$N$$ есть 9, $$k$$ раз. $$N = ...d99...9$$ ($$k$$ девяток). $$N+1 = ... (d+1)00...0$$.
$$S(N) = S(...) + d + 9k$$. $$S(N+1) = S(...) + d+1$$.
$$S(N+1) - S(N) = (S(...) + d+1) - (S(...) + d + 9k) = 1 - 9k$$.
Мы хотим, чтобы $$S(N) ext{ mod } 5 = 0$$ и $$S(N+1) ext{ mod } 5 = 0$$. Следовательно, $$S(N+1) - S(N)$$ должно делиться на 5.
$$1 - 9k ext{ mod } 5 = 0$$.
$$1 - 4k ext{ mod } 5 = 0$$.
$$1 ext{ mod } 5 = 4k ext{ mod } 5$$.
Если $$k=1$$: $$1 ext{ mod } 5 = 4 ext{ mod } 5$$. Это верно.
Так что, если число оканчивается на одну девятку, то разница сумм цифр делится на 5.
$$S(N+1) = S(N) + 1 - 9 = S(N) - 8$$.
Если $$S(N)$$ делится на 5, то $$S(N)-8$$ не делится на 5.

Значит, не существует двух последовательных натуральных чисел, сумма цифр которых делится на 5.

Перечитаем задачу: "Придумайте два последовательных натуральных пятизначных числа, сумма цифр каждого из которых делится на 5."

Возможно, я неправильно понял задачу или есть какой-то хитрый случай.

Давайте попробуем найти числа, которые не заканчиваются на 9.

Пусть число $$N$$ оканчивается на 0, $$N=...0$$. $$S(N)$$. $$N+1 = ...1$$. $$S(N+1) = S(N)+1$$. Если $$S(N)$$ кратно 5, то $$S(N+1)$$ кратно 5, только если $$S(N)+1$$ кратно 5, что невозможно.

Пусть число $$N$$ оканчивается на 1, $$N=...1$$. $$S(N)$$. $$N+1 = ...2$$. $$S(N+1) = S(N)+1$$.

Пусть число $$N$$ оканчивается на 4, $$N=...4$$. $$S(N)$$. $$N+1 = ...5$$. $$S(N+1) = S(N)+1$$.

Пусть число $$N$$ оканчивается на 5, $$N=...5$$. $$S(N)$$. $$N+1 = ...6$$. $$S(N+1) = S(N)+1$$.

Всегда, если последняя цифра не 9, то $$S(N+1) = S(N)+1$$. Если $$S(N)$$ делится на 5, то $$S(N+1)$$ не делится на 5.

Единственный случай, когда $$S(N+1) eq S(N)+1$$ - это когда последняя цифра $$N$$ равна 9.

Пусть $$N$$ оканчивается на 9. $$N = A9$$. $$S(N) = S(A)+9$$. $$N+1 = (A+1)0$$. $$S(N+1) = S(A)+1$$.

Мы хотим $$S(N) ext{ mod } 5 = 0$$ и $$S(N+1) ext{ mod } 5 = 0$$.
$$S(A)+9 ext{ mod } 5 = 0 ightarrow S(A)+4 ext{ mod } 5 = 0 ightarrow S(A) ext{ mod } 5 = 1$$.
$$S(A)+1 ext{ mod } 5 = 0 ightarrow S(A) ext{ mod } 5 = 4$$.

Получили противоречие: $$S(A) ext{ mod } 5 = 1$$ и $$S(A) ext{ mod } 5 = 4$$. Это значит, что не может быть двух последовательных чисел, сумма цифр которых делится на 5, если число заканчивается на 9.

Может быть, я неправильно понимаю