Конструктивы в алгебре

Первое решение.

Для любого предъявим явно начальную рассадку, которая является -удачной для любого натурального числа

Сначала для данного построим конечную геометрическую прогрессию со знаменателем для которой выполнено условие

Требуемый набор существует при любом целом поскольку уравнение

имеет решение на интервале так как левая часть меняет знак на его концах.

Расположим теперь кузнечиков в следующих начальных точках:

Рассмотрим прыжок первого кузнечика через второго; тогда его новая координата будет равна Получилось, что прыгнувший кузнечик стал самым правым, а все кузнечики теперь расположены в точках

Сдвинув начало координат на 1 вправо, получим координаты кузнечиков

Таким образом, кузнечики уменьшили свои координаты ровно в раз. Если указанный шаг (прыжок самого левого кузнечика через ближайшего соседа) повторять раз, то попарные расстояния уменьшатся в раз, что позволит достичь любого нужного уменьшения

Второе решение.

При как бы кузнечики ни прыгали, расстояние между ними не меняется.

Пусть Рассадим 1-го, 2-го и 3-го кузнечиков на прямой в точках с координатами 0, 1, назовём этих кузнечиков Остальные произвольно рассаживаются в другие попарно различные точки. Покажем, что для всякого кузнечики далее смогут прыгать так, чтобы сумма попарных расстояний уменьшилась хотя бы в раз (исходную сумму обозначим через

Лемма.

Пусть три кузнечика сидят на прямой в попарно различных точках и отношение расстояний от одного из них до двух других иррационально. Тогда сколько бы они ни сделали прыжков друг через друга, они всё равно будут в попарно различных точках, и отношение расстояний от одного из них до двух других будет иррационально.

Доказательство леммы.

Покажем, что эти условия сохраняются при прыжке. Предположим, для некоторого кузнечика отношение расстояний до двух других рационально, тогда эти расстояния имеют вид и где рационально. Тогда расстояние между другими двумя кузнечиками ненулевое и имеет вид тогда отношение любых двух расстояний между кузнечиками рационально, противоречие. Пусть какой-то кузнечик перепрыгнул через кузнечика тогда расстояния от до обоих кузнечиков не изменились, а значит, отношение этих расстояний осталось иррациональным, в частности расстояния различны, и потому кузнечики по-прежнему находятся в попарно различных точках.

Вернёмся к задаче.

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

Пусть, не умаляя общности, в текущий момент минимально расстояние между кузнечиками с координатами и а имеет координату . Отметим на прямой все точки с координатами, отличающимися от на число, кратное Понятно, что прыгая друг через друга кузнечики смогут занять любые две соседние отмеченные точки, тогда не находится в отмеченной точке (по лемме прыгая только через друг друга остаются в попарно различных точках), тогда , могут занять две соседние отмеченные точки между которыми лежит и расстояние от до одного из кузнечиков будет не более то есть наименьшее расстояние уменьшилось хотя бы в 2 раза.

Тогда за несколько ходов кузнечики могут уменьшить наименьшее расстояние между ними хотя бы в 2 раза, потом за несколько ходов ещё хотя бы в 2 раза, потом ещё, и т.д, могут за несколько ходов добиться того, чтобы расстояние между какими-то двумя из них было равно некоторому числу , меньшему — пусть они так и сделают. Назовём каких-нибудь двух кузнечиков, между которыми расстояние хорошими, и одного из них назовём далее эти кузнечики уже не прыгают.

Далее, любой кузнечик не из пары хороших может прыгая через пару хороших (в подходящем порядке) смещаться на в любую сторону на прямой, и тогда может за несколько прыжков через них оказаться на расстоянии меньшем от пусть все кузнечики кроме хороших сделают прыжки таким образом. Тогда расстояние от любого кузнечика до будет меньше а значит, все попарные расстояния меньше а значит, их сумма меньше