В геометрии спириковое сечение , иногда называемое спириком Персея , представляет собой плоскую кривую четвертой степени , определяемую уравнениями вида
Эквивалентно, спиро-сечения могут быть определены как бициркулярные четвертичные кривые, которые симметричны относительно осей x и y . Спиро-сечения включены в семейство торических сечений и включают семейство гиппопедов и семейство овалов Кассини . Название происходит от σπειρα, что означает тор на древнегреческом языке. [1]
Спиральное сечение иногда определяется как кривая пересечения тора и плоскости, параллельной его оси вращательной симметрии. Однако это определение не включает все кривые, заданные предыдущим определением, если только не допускаются воображаемые плоскости.
Спиральные сечения были впервые описаны древнегреческим геометром Персеем примерно в 150 г. до н.э. и считаются первыми описанными торическими сечениями. Название «спирический» происходит от древнего обозначения тора spira ., [2] [3]
Начнем с обычного уравнения для тора:
Поменяв местами y и z так, чтобы ось вращения теперь находилась в плоскости xy , и установив z = c для нахождения кривой пересечения, получаем
В этой формуле тор образован вращением окружности радиуса a с центром, следующим за другой окружностью радиуса b (не обязательно больше a , самопересечение допускается). Параметр c — это расстояние от пересекающей плоскости до оси вращения. Спиральных сечений с c > b + a нет , поскольку пересечения нет; плоскость слишком далека от тора, чтобы пересечь его.
Разложение уравнения дает форму, указанную в определении
где
В полярных координатах это становится
или
Спиральные сечения на торе веретена, плоскости которого пересекают веретено (внутреннюю часть), состоят из внешней и внутренней кривой (см. рисунок).
Изоптики эллипсов и гипербол являются спи-рическими сечениями. (См. также веб-ссылку The Mathematics Enthusiast .)
Примерами служат гиппопеде и овал Кассини , а также их родственники, такие как лемниската Бернулли . Овал Кассини обладает замечательным свойством: произведение расстояний до двух фокусов постоянно. Для сравнения, сумма постоянна в эллипсах , разность постоянна в гиперболах , а отношение постоянно в окружностях .