maxal писал(а):
3. (Э.Б.Винберг) Рассмотрим циклические слова с отмеченным началом из 0 и 1 с четным числом нулей. Припишем единицам слова знаки

и

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

и сигнатуры

равно числу сочетаний из

по

при

и вдвое меньше при

.
Ответ должен быть в два раза больший:
"число слов длины
и сигнатуры
равно числу сочетаний из
по
при
и вдвое больше при
".
Например, для

и

имеем такие циклические слова сигнатуры

(в скобках указано число способов отметить начало):
110000 (6)
100100 (3)
1110-10 (6)
-1-10000 (6)
-100-100 (3)
-1-1-1010 (6)
Общее число слов равно

Будем считать, что количество +1 неменьше количества -1, и доказывать, что количество искомых слов равно

. Слова, в которых больше -1ц чем +1ц, получаются сменой знака у всех единиц одновременно и, таким образом, количество слов удваивается.
Заметим, что если сигнатура слова длины

равна

то количество нулей плюс удвоенное количество -1ц равно

Добавим к каждой -1це по нулю с обоих сторон, тогда количество нулей станет равным

и между каждыми двумя единицами (независимо от знака) будет стоять четное число единиц, причем каждая -1ца является изолированной нулями, в то время как +1цы могут стоять рядом.
Заменим последовательные два нуля на 2-ку, так что у нас будет

2-ек.
Таким образом, задача сводится к следующей: есть

двоек, расставленных по окружности, между которыми можно вставлять плюс или минус единицы, причем каждая -1 является изолированной, а +1 может идти сразу несколько за раз. В последсвие каждая каждая 2-ка заменяется на два нуля, и вокруг каждой -1 удаляются нули справа и слева.
Итак, из

промежутков между двойками мы выбираем

для -1ц (число способов

), а под остальным

промежуткам раскидываем

1ц (число способов

). Таким образом, число таких слов равно:

Но здесь мы не учитывали отмеченное начало. Отметить начало в построенной циклической последовательности можно

способами, но последовательности совпадающие при повороте будут давать одинаковые слова. Нетрудно понять, что каждое конкретное слово с отмеченным началом будет посчитано ровно

раз (количество поворотов, при которых положение 2-ек совпадает). Поэтому ответом будет
