Чтобы решить эту задачу, сначала разберёмся с процессом, который выполняет робот.
На доске находятся натуральные числа от 2024 до n. При каждой операции робот берёт два наибольших числа, вычитает меньшее из большего и оставляет результат на доске. Этот процесс позволяет нам снизить количество чисел на доске, но важно разобрать, как меняется сумма чисел.
На начальном этапе сумма всех чисел от 2024 до n равна:
\[ S = 2024 + 2025 + 2026 + \ldots + n \]
Согласно формуле суммы арифметической прогрессии:
\[ S = \frac{(n - 2024 + 1)(2024 + n)}{2} \]
Каждый раз, когда робот выполняет операцию, он заменяет два числа \( a \) и \( b \) (где \( a \geq b \)) на их разность \( a - b \). Сумма при этом изменяется следующим образом:
\[ S' = S - (a + b) + (a - b) = S - 2b \]
Таким образом, при каждой операции сумма чисел на доске уменьшается на четное число (двойной \( b \)). Это означает, что не сменяется чётность суммы.
Теперь давайте поймем, когда на доске останется одно число, равное 0. Для того чтобы конечное число было 0, начальная сумма чисел \( S \) должна быть чётным числом, так как из 0 нельзя будет получить нечётное число, вычтя четное. Следовательно, количество таких \( n \) должно быть таким, чтобы сумма \( S \) была чётной.
Если \( n \) — натуральное число от 2024 до \( n \), то:
Определим количество чисел:
- \( k = n - 2024 + 1 = n - 2023 \).
Числа от 2024 до \( n \) можно увидеть как последовательность, состоящую из \( k \) чисел.
Теперь вычислим сумму \( S \):
- Сумма чисел: \[ S = \frac{k(2024 + n)}{2}. \]
При этом \( k \) будет зависеть от \( n \). Мы ищем такие \( n \), что \( S \) чётное. Для этого важно следующее:
- \( n \) должно быть нечетным, чтобы \( 2024 + n \) было чётным (поскольку 2024 — чётное число).
Теперь нужно определить возможные значения \( n \), которые меньше 8000 и являются нечетными, начиная с 2025:
Чётные числа находятся в диапазоне от 2025 до 7999 включительно.
Последнее нечетное число < 8000 равно 7999. Первое нечетное число = 2025.
Теперь можем посчитать количество нечетных чисел в этом диапазоне:
Формула для количества членов арифметической прогрессии:
\[ a_n = a_1 + (n - 1) \cdot d, \] где \( a_1 = 2025 \), \( d = 2 \), и \( a_n = 7999 \).
Решаем уравнение по \( n \):
\[ 7999 = 2025 + (n - 1) \cdot 2. \] \[ 7999 - 2025 = (n - 1) \cdot 2. \] \[ 5974 = (n - 1) \cdot 2. \] \[ n - 1 = 2987. \] \[ n = 2988. \]
Итак, количество нечетных чисел равно 2988.
Таким образом, существует 2988 натуральных значений \( n \), для которых последнее число на доске будет равно 0.