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