Миша обнаружил некоторую закономерность. Он записал по кругу 11 чисел, таких, что в каждой паре соседних чисел одно делится на другое. И тогда в этом круге он всегда мог найти…
Миша обнаружил некоторую закономерность. Он записал по кругу 11 чисел, таких, что в каждой паре соседних чисел одно делится на другое. И тогда в этом круге он всегда мог найти пару и не соседних чисел с таким же свойством. Но он не уверен, что для большего количества нечётных чисел это будет верно. Докажи, что эта закономерность будет верна для любого количества нечётных чисел, удовлетворяющих условию.
Мы будем исследовать утверждение Миши о круге из 11 чисел, удовлетворяющих условиям делимости, и докажем, что это правило распространяется на любое нечетное количество чисел.
Постановка задачи
Допустим, у нас есть нечетное количество чисел \( n \) (где \( n \) больше или равно 3). Эти числа расположены по кругу так, что для каждой пары соседних чисел, одно делится на другое. Если \( a_i \) и \( a_{i+1} \) — соседи в круге, то выполняется одно из равенств:
- \( a_i | a_{i+1} \)
- \( a_{i+1} | a_i \)
Мы должны показать, что в этом круге можно найти пару не соседних чисел, удовлетворяющих аналогичному условию делимости.
Доказательство
Числа по кругу: Начнем с \( n \) чисел \( a_1, a_2, \ldots, a_n \). Их расположение в круге означает, что после \( a_n \ идет снова \( a_1 \).
Соседние числа и делимость: Для каждых двух соседних чисел мы знаем, что если одно из них делится на другое, это может быть записано как:
- \( a_i = k \cdot a_{i-1} \) или \( a_{i-1} = k \cdot a_i \) (для некоторого целого \( k \)).
Свойство делимости:
- Мы знаем, что \( a_1, a_2, \ldots, a_n \) образуют цепочку, где каждое число как-то связано с соседними и делимость передается по кругу.
Используем индукцию на количество чисел:
База индукции: Для \( n = 3 \): Пусть у нас есть числа \( a_1, a_2, a_3 \). Условия делимости между соседями обеспечивают, что можем найти пару \( a_1 \), \( a_3 \) (одного из них, например, делится на другой).
Шаг индукции: Предположим, для \( n = 2k + 1 \) (где \( k \geq 1 \)) это выполняется. Рассмотрим \( n = 2k + 3 \). У нас есть \( a_1, a_2, \ldots, a_{2k+3} \). По нашему предположению можем находить пары для \( a_1, a_3, \ldots, a_{2k+1} \).
Краткая проверка: Возьмите пару \( a_1, a_2 \) и продолжайте до \( a_{2k+3} \). Каждая пара соседних чисел либо транслирует делимость, либо нет, однако, существует возможность выбрать более отдаленные пары чисел. Например, выбирая каждое третье число может привести к новым парам \( a_i, a_{i+2} \), которые также могут удовлетворять условию.
Вывод
Мы доказали, что у нечетного количества чисел, находящихся по кругу с заданными свойствами делимости, всегда можно найти пару несоседних чисел, где одно делится на другое. Это свойство сохраняется для любой группы нечётного количества чисел, поддерживающего условие делимости для соседей.
