Отрезки и прямые, связанные с окружностью. Теорема о бабочке