Есть! Я узнал более точную формулировку:
- Если в полярных координатах отложить (нарисовать) углы
, где
, и
любой угол. То в результате получится 1,2 или 3 (но не больше) различных по величине углов между соседними прямыми.
Сильно не отличается.
Я по-быстрому попытался реализовать это визуально, под руку попалась GeoGebra.
Заметил, что количество отрезков на окружности, когда их получается 2 типа, - равно знаменателю одной из лучших подходящих дробей, если
— иррационально. Посчитал так же количество отрезков обеих видов, один дал числитель дроби.
Бонус:Топологию использовал для доказательства утверждения типа: "из 2-х пустых вёдер можно получить не более двух полных (воды)". Я уже мельком пояснил, что хотел выбрать способ
доказать показать это на примере сравнения инвариантов пары пространств. То есть как-то игнорировать человека.(ну, вы понели..?)