ЗАДАЧИ
problems.ru
О проекте | Об авторах | Справочник
Каталог по темам | по источникам |
К задаче N

Проект МЦНМО
при участии
школы 57
Задача 97760
Темы:    [ Инварианты ]
[ Деление с остатком ]
[ Процессы и операции ]
[ Теория групп (прочее) ]
Сложность: 5
Классы: 8,9,10
В корзину
Прислать комментарий

Условие

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


Решение 1

  Для произвольной расстановки нескольких красных и чётного числа 2k синих точек подсчитаем знакопеременную сумму

S = m1m2 + m3m4 + ... + m2k – 1m2k
длин серий красных точек: m1 – число красных точек, заключённых между первой и второй синими точками, m2 – число красных точек между второй и третьей синими точками, m3 – между третьей и четвёртой, ..., m2k – между последней и первой синими точками; некоторые mi могут равняться нулю. Направление обхода и первая точка выбираются произвольно; при их изменении S может поменять знак. (Если  k = 0,  то S равно числу красных точек.) Заметим, что делимость числа |S| на 3 – инвариант: нетрудно проверить, что при любой допустимой операции S изменяется ровно на 3. Но для двух красных точек наша сумма равна 2 (не делится на 3), а для двух синих точек – равна 0 (делится на 3).


Решение 2

  Для знатоков. Пусть сначала точки стоят на прямой. Рассмотрим группу симметрий правильного треугольника. Поставим в соответствие красной точке поворот r на 60°, синей – фиксированную симметрию s, а набору точек – соответствующую композицию преобразований. Условия можно записать в виде соотношений  r³ = s²,  sr² = rs,  srs = r²,  которые выполнены в указанной группе. Итак, эквивалентным наборам точек соответствуют одинаковые элементы группы.
  Закручивание в окружность приводит к тому, что одинаковым наборам соответствуют сопряженные элементы группы:  xUUx.  Но элементы  s² = e  и r² не сопряжены.

Замечания

Подробнее см., например, П.С. Александров. "Введение в теорию групп".

Источники и прецеденты использования

журнал
Название "Квант"
год
Год 1980
выпуск
Номер 12
Задача
Номер М660
олимпиада
Название Турнир городов
Турнир
Дата 1980
Номер 1
вариант
Вариант
Задача
Номер 1

© 2004-... МЦНМО (о копирайте)
Пишите нам

Проект осуществляется при поддержке Департамента образования г.Москвы и ФЦП "Кадры" .