Не уверен приводил ли на этом форуме данную задачу... Поиск ничего не выдал, но наперед извиняюсь если повтор.

точек (

- любое конечное число) расположены в эвклидовой плоскости любым образом таким, что никакие три из них не лежат на одной прямой.
Также есть прямая

, которая "движется" следующим образом:
- Сначала

проходит через ровно одной из точек (пусть

).
-

вращается по часовой стрелке вокруг

(

- "текущая ось вращения") до тех пор, пока одно из ее "плечей" не упирается в какую-нибудь из других точек (пусть

).
- С данного момента, ось вращения

переходит с

к

, (т.е. точка

"отцепляется" от прямой, и она далее продолжает вращаться по часовой стрелке, вокруг нового центра вращения

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

точек в любом расположении (единственное ограничение - никакие три из точек не лежат на одной прямой - чтобы процесс был однозначным) - всегда найдется такая "начальная" точка

и такое "начальное" направление прямой

- что при вращении прямая перейдет через всех точек.