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