Решения. 1999 год. 10 класс 247
Осталось доказать, что если в результате проделанной
операции не все числа остались на своих местах, то хотя
бы для одной пары симметричных групп из 10 чисел эта
разность будет строго отрицательна. Нетрудно видеть, что
y
0
> y, если хотя бы одна пара чисел (из данной десят-
ки) поменялась. Если же хотя бы одна пара чисел не
поменялась, то x
0
< x, так как все числа различны. Зна-
чит, достаточно показать, что найдутся две симметричные
группы по 10 чисел для которых хотя бы одна пара не
поменялась, и хотя бы одна пара поменялась (напомним,
что a
1
и a
1998
не поменялись местами). Но это очевидно.
Лемма доказана.
Р е ш е н и е з а д а ч и. Будем считать, что числа 1,
2, . . . , 1999 расставлены так, что дуги между соседними
числами равны. Пусть числа расставлены оптимальным
образом, т. е. так, что сумма произведений десяток со-
седних чисел максимальна. Проведем какую-нибудь ось
симметрии 1999-угольника (это — диаметр, проходящий
через одно из чисел k и середину противоположной дуги).
Тогда для всех пар чисел, симметричных относительно
этого диаметра, меньшие числа расположены в одном
полукруге, а большие — в другом. Действительно, зануме-
руем числа переменными a
1
, . . . , a
1999
по кругу, начиная
с большего из чисел, соседних с числом k, и заканчивая
числом k. Тогда a
1
> a
1998
, так что можно применить
лемму: так как расстановка оптимальная, никакая пара
чисел не поменяется местами, а значит, большие числа
расположены в одном полукруге, а меньшие — в другом.
Оказывается, что с точностью до поворотов и симмет-
рий существует единственная расстановка чисел, удовле-
творяющая этому свойству для всех диаметров. Действи-
тельно, число 2 должно быть рядом с числом 1. Иначе
найдется диаметр, отделяющий число 2 от числа 1, при-
чем 1 и 2 не симметричны относительно этого диаметра.
Обозначим числа, симметричные числам 1 и 2 относитель-
но этого диаметра, через A и B соответственно. Тогда A > 1
и 2 < B, что противоречит оптимальности в силу леммы.
Далее строим искомую расстановку по индукции (см.
факт 24). Пусть мы доказали, что числа 1, 2, . . . , 2k
(1 6 k 6 998) расставлены как в ответе, т. е. в порядке