
100 Решения. 1993 год. 8 класс
Нетрудно видеть, что каждая операция над фишками
не меняет композицию симметрий. Например, добавление
двух красных фишек соответствует двум одинаковым сим-
метриям, но композиция двух одинаковых симметрий —
тождественное преобразование. Остальные случаи (добав-
ление двух синих фишек, удаление двух красных и уда-
ление двух синих фишек) аналогичны.
Итак, эта композиция является инвариантом, в то вре-
мя как начальному и конечному расположению фишек со-
ответствуют разные композиции — параллельные переносы
на векторы 2 и −2 соответственно. Последнее утверждение
можно проверить, введя координаты на прямой.
К о м м е н т а р и и. 1
◦
. Эта задача родилась из известной теоремы:
два непрерывных пути внутри квадрата, соединяющие противополож-
ные вершины, пересекаются. Дадим набросок доказательства.
Допустим, что пути не пересекаются. Тогда их можно заменить
ломаными, которые тоже не пересекаются и звенья которых не парал-
лельны сторонам квадрата. Покрасим одну ломаную в красный цвет,
Рис. 21
а другую — в синий. Будем параллельно передвигать
прямую от одной стороны квадрата к другой. Прямая
будет пересекать ломаную по набору красных и синих
точек, с которым будет происходить то же самое, что
с фишками в задаче (вставкам и удалениям фишек
соответствует прохождение прямой через некоторые
внутренние точки звеньев ломаной, рис. 21).
2
◦
. Доказанное утверждение тесно связано с те-
оремой Жордана, которая утверждает, что всякая
замкнутая несамопересекающаяся кривая делит плос-
кость на две части. Это интуитивно ясное утвержде-
ние отнюдь не просто доказать — дело в том, что
кривая может не иметь ни одного гладкого участка, так что непонятно
даже, как выбрать две точки по разные стороны от кривой.
Н е э л е м е н т а р н ы й к о м м е н т а р и й. Рассмотрим группу, по-
рожденную двумя образующими a и b и соотношениями a
2
= b
2
= 1.
Поставим в соответствие красной фишке элемент a, синей — элемент b,
а последовательности фишек — элемент этой группы, который полу-
чается произведением слева направо соответствующих всем фишкам
образующих a и b. Ясно, что элемент группы не меняется при разре-
шенных операциях (в силу соотношений). Более того, из одной после-
довательности фишек можно получить другую тогда и только тогда,
когда соответствующие элементы группы совпадают.
Можно проверить, что эта группа изоморфна полупрямому произ-
ведению групп Z и Z/2Z. Она некоммутативна, а расположения фишек
из условия задачи соответствуют элементам ab и ba.