Условие
Две прямые пересекаются под углом

. Кузнечик
прыгает с одной прямой на другую; длина каждого прыжка
равна 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,...
рассматривается аналогично.
Источники и прецеденты использования