Разберемся с задачей пошагово.
Дано: Петя написал 10 различных натуральных чисел \( a_1, a_2, ..., a_{10} \). Условия:
Сумма любых пяти чисел делится на 5.
Обозначим сумму любых пяти чисел как \( S_5 \). Тогда для любых 5 чисел: \[ a_{i_1} + a_{i_2} + a_{i_3} + a_{i_4} + a_{i_5} \equiv 0 \pmod{5} \]Сумма любых шести чисел делится на 6.
Аналогично, для любых 6 чисел: \[ a_{j_1} + a_{j_2} + ... + a_{j_6} \equiv 0 \pmod{6} \]Сумма любых семи чисел делится на 7.
Для любых 7 чисел: \[ a_{k_1} + a_{k_2} + ... + a_{k_7} \equiv 0 \pmod{7} \]
Шаг 1: Анализ условий
Обозначим сумму всех 10 чисел как \( T = a_1 + a_2 + ... + a_{10} \).
Рассмотрим, как связаны эти условия с \( T \).
Шаг 2: Условие делимости суммы по 5
Рассмотрим сумму всех чисел, исключая одно число \( a_i \):
\[ S_{9}^{(i)} = T - a_i \]
Из условия для любых 5 чисел можно сделать вывод, что сумма любых 5 делится на 5. Значит, по модулю 5:
\[ (T - a_{i_1}) \equiv 0 \pmod{5} \]
для любых \( a_{i_1} \), входящих в 5-элементную сумму.
Но так как суммы по 5 делятся на 5, то, взяв сумму по 5 любых чисел, мы остановимся на делимости \( T - a_i \equiv 0 \pmod{5} \), что для всех \( a_i \) нужно, чтобы:
\[ T \equiv a_i \pmod{5} \]
- Таким образом, все \( a_i \) эквивалентны по модулю 5, и все они одинаковы при взятии остатка по модулю 5. Пусть:
\[ a_i \equiv r \pmod{5} \]
для всех \( i \).
Шаг 3: Условие делимости суммы по 6
- Аналогично, для суммы любых шести чисел:
\[ T - a_i \equiv 0 \pmod{6} \]
- Значит:
\[ T \equiv a_i \pmod{6} \]
для всех \( i \). Тогда все \( a_i \) эквивалентны по модулю 6:
\[ a_i \equiv s \pmod{6} \] для всех \( i \).
Шаг 4: Условие делимости суммы по 7
- Аналогично:
\[ T - a_i \equiv 0 \pmod{7} \]
- Так как это верно для любых \( a_i \), то:
\[ a_i \equiv t \pmod{7} \]
для всех \( i \).
Шаг 5: В итоге
Обратим внимание, что все \( a_i \) по модулю 5, 6 и 7 равны некоторым фиксированным остаткам:
\[ a_i \equiv r \pmod{5} \] \[ a_i \equiv s \pmod{6} \] \[ a_i \equiv t \pmod{7} \]
поскольку все \( a_i \) одинаковы по остаткам по модулю каждого из чисел.
Следовательно, все числа \( a_i \) по модулю \( \operatorname{НОК}(5,6,7) \).
Шаг 6: Найдём НОК(5,6,7)
\[ \operatorname{НОК}(5,6,7) = 2 \times 3 \times 5 \times 7 = 210 \]
Значит, все числа \( a_i \) — равно по модулю 210.
Обозначим:
\[ a_i \equiv c \pmod{210} \]
для всех \( i \).
Шаг 7: Общее выражение
Обозначим \( a_i = c + 210k_i \), где \( k_i \) — целые числа, и каждый \( a_i \) — натуральное число.
Требуются \( a_i \) — разные натуральные числа и минимизировать максимум из них.
Шаг 8: Минмизация максимального \( a_i \)
Для этого нам нужно найти такие \( c \) и набор \( k_i \):
- Все \( a_i = c + 210k_i \),
- все \( a_i \) — различные,
- \( a_i > 0 \),
- минимизировать \( \max a_i \).
Поскольку числа должны быть различны, выберем разные \( k_i \). Минимальный набор — это последовательность \( k_i \), например:
\[ k_i = 0, 1, 2, ..., 9 \]
(пять — для минимизации наименьших значений, лучше выбрать распределение \( k_i \) на 10 чисел).
Шаг 9: Выбираем \( c \)
Для минимизации наибольшего числа нам нужно как можно меньшее \( c \). Но все \( a_i \) должны быть положительными.
- Самое маленькое \( a_i \) — это \( c + 210 \times \min k_i \).
Чтобы все \( a_i > 0 \), нужно:
\[ c + 210 \times \min k_i \geq 1 \]
Обычно, чтобы числа были минимальными, выбираем \( c \) как минимальное значение, позволяющее сделать все \( a_i \) положительными и разными.
Шаг 10: Выбор \( c \)
- Пусть \( c \geq 1 \). Тогда при \( c = 1 \), минимальный вариант:
\[ a_i = 1 + 210 \times k_i, \quad k_i = 0, 1, 2, ..., 9 \]
тогда числа:
\[ a_1 = 1, \quad a_2=211, \quad a_3=421, \quad ..., \quad a_{10} = 1 + 210 \times 9 = 1 + 1890 = 1891 \]
Шаг 11: Проверка на минимальность
То есть, минимальный максимум — это последний элемент:
\[ a_{10} = 1 + 210 \times 9 = 1891 \]
Можно попробовать уменьшить \( c \). Но чтобы все \( a_i \) были положительными, \( c \geq 1 \).
- Если поставить \( c=0 \), то \( a_i = 210 k_i \), и первый \( a_i \) будет равен 0 — не натуральное число.
- Если поставить \( c=1 \), то \( a_1=1 \), остальные — 211, 421..., что минимально.
Ответ:
Наименьшее возможное значение наибольшего из чисел — это:
\[ \boxed{1891} \]
Итог
Наименьшее значение наибольшего из написанных чисел — 1891.
Если нужны все числа, они выглядят так:
\[ a_i = 1 + 210 \times (i-1), \quad i=1,2,\dots,10 \]