moonlight, была какая-то общая теорема из комбинаторной геометрии... название забыл. Суть в том, что для двух заданных окружностей если мы выберем начальную точку на внешней и станем проводить звенья ломаной так, чтобы они касались внутренней и заканчивались опять же на внешней, то либо этот процесс будет бесконечен, либо ломаная замкнётся через N звеньев _независимо_ от положения начальной точки.