
168 Решения. 1995 год. 11 класс
часть последнего равенства равна нулю. Значит, и левая
часть равна нулю, и шаг индукции доказан.
К о м м е н т а р и и. 1
◦
. Разобьем отрезок [−1; 1] на отрезки длины
2
−n−1
. Пометим отрезок знаком «+», если он покрашен в черный цвет,
и знаком «−», если — в белый. Соответствующая последовательность из
плюсов и минусов является n-м членом последовательности Морса:
+, +−, +−−+, +−−+−++−, +−−+−++−−++−+−−+, .. .
(От куска A переходим к куску AA
0
, где A
0
получается из A заменой
всех знаков на противоположные.) Можно построить n-й член этой
последовательности так: для каждого k = 0, . .. , 2
n
−1 взять сумму его
двоичных цифр (см. факт 12) и записать на n-м месте + или − в
зависимости от ее четности. В этой последовательности никакая ком-
бинация символов не повторится 3 раза подряд.
2
◦
. Выражение
D
c
f (x) = f(x + c) −f(x)
называется разностной производной функции f с шагом c. Разност-
ное дифференцирование использовали в докомпьютерные времена для
построения таблиц различных функций, например, приближали sin x
многочленом степени n, а затем заполняли таблицу, в которой в k-м
столбце записана k-я разностная производная. Так как n-я производ-
ная — константа, n-й столбец заполнить легко. Если же заполнен k-й
столбец, то нетрудно заполнить и (k −1)-й. Таким образом, используя
лишь операцию сложения, можно заполнить первый столбец, т. е.
получить таблицу синусов.
5. Пример, когда период последовательности A состоит
из одной единицы и 1994 нулей, а B — непериодическая
последовательность из нулей и единиц, в которой все еди-
ницы расположены на расстоянии, не меньшем 1994 друг
от друга, показывает, что условие совпадения всех кусков
длины 1994 не является достаточным для периодичности
B (см. факт 4).
Докажем, что если любой кусок длины 1995 последо-
вательности B содержится в A, то последовательность B
периодична с периодом длины 1995.
Докажем сначала, что 1995 — длина одного из перио-
дов. Пусть это не так, тогда в последовательности B най-
дется кусок длины 1996, у которого первый и последний
символы не совпадают:
B = . . . x . . . . . . . ..
| {z }
1994 символа
y...,