По кругу расставили N попарно различных натуральных чисел. Известно, что сумма любых трёх подряд идущих чисел делится на 5 , а сумма любых четырёх подряд идущих чисел делится на 7 . а) Может ли N быть равным 2026 ? б) Может ли N быть равным 10 , если известно, что ни одно из чисел не превосходит 100 ? в) Какое наименьшее значение может принимать сумма всех расставленных чисел, если N = 10 ?
Пусть числа a_1, a_2, , a_N расставлены по кругу, индексы рассматриваются по модулю N . Заметим, что из условия следуют два свойства: 1. Сумма любых трёх подряд идущих чисел делится на 5 : a_i + a_(i+1) + a_(i+2) === 0 +-od 5. Сдвинув индекс на 1 , получим a_(i+1) + a_(i+2) + a_(i+3) === 0 +-od 5 . Вычитая первое уравнение из второго, имеем a_(i+3) === a_i +-od 5 . 2. Сумма любых четырёх подряд идущих чисел делится на 7 : a_i + a_(i+1) + a_(i+2) + a_(i+3) === 0 +-od 7. Аналогично, сдвиг индекса даёт a_(i+4) === a_i +-od 7 . а) Рассмотрим случай N = 2026 . Так как (3; 2026) = 1 , соотношение a_(i+3) === a_i +-od 5 при последовательном применении для всех i означает, что остатки всех чисел при делении на 5 одинаковы. Тогда из a_i + a_(i+1) + a_(i+2) === 3a_i === 0 +-od 5 следует, что a_i === 0 +-od 5 для всех i . Так как (4; 2026) = 2 , остатки a_i +-od 7 могут зависеть от чётности индекса i . Если мы выберем все числа кратными 35 , то условия делимости сумм на 5 и на 7 будут выполнены автоматически. В качестве примера можно взять a_i = 35i для i = 1, 2, , 2026 . Все числа натуральные и попарно различные. Да, может. б) Пусть N = 10 и числа не превосходят 100 . Поскольку (3; 10) = 1 , из a_(i+3) === a_i +-od 5 следует, что все a_i имеют один и тот же остаток при делении на 5 . Из условия суммы трёх следует, что этот остаток равен 0 . Таким образом, все числа кратны 5 . Поскольку (4; 10) = 2 , из a_(i+4) === a_i +-od 7 следует, что остатки по модулю 7 зависят от чётности индекса. Обозначим остаток для чётных индексов r_e , а для нечётных — r_o . Условие делимости суммы четырёх подряд идущих чисел на 7 даёт: (r_e + r_o) + (r_e + r_o) === 2(r_e + r_o) === 0 +-od 7 => r_e + r_o === 0 +-od 7. Подсчитаем количество чисел, кратных 5 , в диапазоне от 1 до 100 для каждого остатка по модулю 7 : | Остаток +-od 7 | Числа | Количество | |---|---|---| | 0 | 35, 70 | 2 | | 1 | 15, 50, 85 | 3 | | 2 | 30, 65, 100 | 3 | | 3 | 10, 45, 80 | 3 | | 4 | 25, 60, 95 | 3 | | 5 | 5, 40, 75 | 3 | | 6 | 20, 55, 90 | 3 | При N = 10 у нас есть 5 чисел с чётными индексами и 5 с нечётными. Чтобы составить группу из 5 различных чисел с одинаковым остатком по модулю 7 , в соответствующей строке таблицы должно быть не менее 5 чисел. Однако в таблице нет ни одного остатка, которому соответствовало бы 5 чисел. Даже если r_e = r_o = 0 , чисел с остатком 0 всего два, чего недостаточно для 10 различных позиций. Значит, N не может быть равным 10 при данных ограничениях. в) Для N = 10 без ограничения сверху, числа должны быть кратны 5 и r_e + r_o === 0 +-od 7 . Числа, кратные 5 и имеющие фиксированный остаток r по модулю 7 , образуют арифметическую прогрессию с шагом 35 . 1. Если r_e = r_o = 0 , то все 10 чисел кратны 35 . Их минимальная сумма: 35 * (1 + 2 + + 10) = 35 * 55 = 1925. 2. Если r_e != 0 , рассмотрим возможные пары остатков (r_e; r_o) : - Пара (1; 6) : Чётный класс (остаток 1 ): 15, 50, 85, 120, 155 . Сумма: 425 . Нечётный класс (остаток 6 ): 20, 55, 90, 125, 160 . Сумма: 450 . Общая сумма: 425 + 450 = 875 . - Пара (2; 5) : Чётный класс (остаток 2 ): 30, 65, 100, 135, 170 . Сумма: 500 . Нечётный класс (остаток 5 ): 5, 40, 75, 110, 145 . Сумма: 375 . Общая сумма: 500 + 375 = 875 . - Пара (3; 4) : Чётный класс (остаток 3 ): 10, 45, 80, 115, 150 . Сумма: 400 . Нечётный класс (остаток 4 ): 25, 60, 95, 130, 165 . Сумма: 475 . Общая сумма: 400 + 475 = 875 . Во всех случаях с r != 0 минимальная сумма составляет 875 . Ответ: а) Да б) Нет в) 875
А) Да; Б) Нет; В) 875