Условие
Две прямые пересекаются под углом
. Кузнечик
прыгает с одной прямой на другую; длина каждого прыжка
равна 1 м, и кузнечик не прыгает обратно, если только это
возможно. Докажите, что последовательность прыжков периодична
тогда и только тогда, когда
/
— рациональное число.
Решение
Для каждого вектора прыжка имеется ровно два положения
кузнечика, для которых прыжок задается этим вектором. Поэтому
последовательность прыжков периодична тогда и только тогда,
когда имеется лишь конечное число различных векторов прыжков.
Пусть
a1 — вектор прыжка кузнечика с прямой
l2 на
прямую
l1;
a2,
a3,
a4,... —
векторы последующих прыжков. Тогда
a2 =
Sl2(
a1),
a3 =
Sl1(
a2),
a4 =
Sl2(
a3),...
Так как композиция
Sl1oSl2 является
поворотом на угол 2
(или на угол
2
- 2
), векторы
a3,
a5,
a7,... получаются из вектора
a1
поворотами на 2
, 4
,
6
,... (или на
2(
-
),
4(
-
),
6(
-
),...). Поэтому набор
a1,
a3,
a5,... содержит конечное число
различных векторов тогда и только тогда, когда
/
—
рациональное число. Набор
a2,
a4,
a6,...
рассматривается аналогично.
Источники и прецеденты использования