В алгебраической геометрии лемниската — это любая из нескольких кривых в форме восьмерки или ∞ . [1] [2] Это слово происходит от латинского lēmniscātus , что означает «украшенный лентами», [3] от греческого λημνίσκος, означающего «лента», [2] [4] [5] [6] или что альтернативно может относиться к шерсть , из которой были сделаны ленты . [1]
Кривые, которые были названы лемнискатами, включают три кривые плоскости четвертой степени : гиппопед или лемниската Бута , лемниската Бернулли и лемниската Героно . Изучение лемнискат (и, в частности, гиппопеды) восходит к древнегреческой математике , но термин «лемниската» для кривых этого типа происходит из работы Якоба Бернулли в конце 17 века.
Рассмотрение кривых в форме восьмерки восходит к Проклу , греческому философу -неоплатонику и математику, жившему в V веке нашей эры. Прокл рассматривал сечения тора плоскостью , параллельной оси тора. По его наблюдениям, у большинства таких сечений поперечное сечение состоит либо из одного, либо из двух овалов; однако, когда плоскость касается внутренней поверхности тора, поперечное сечение принимает форму восьмерки, которую Прокл назвал конскими кандалами (устройством для скрепления двух ног лошади), или «гиппопедом». на греческом языке. [7] Название «лемниската Бута» для этой кривой восходит к ее исследованию математиком 19-го века Джеймсом Бутом . [1]
Лемниската может быть определена как алгебраическая кривая , нулевое множество полинома четвертой степени , когда параметр d отрицателен (или ноль для особого случая, когда лемниската становится парой внешне касающихся окружностей). Для положительных значений d вместо этого получается овал Бута .
В 1680 году Кассини изучил семейство кривых, теперь называемое овалом Кассини , определяемое следующим образом: геометрическое место всех точек, произведение расстояний которых от двух фиксированных точек, фокусов кривых , является константой. В очень особых обстоятельствах (когда полурасстояние между точками равно квадратному корню из константы) это приводит к возникновению лемнискаты.
В 1694 году Иоганн Бернулли изучил лемнискату овала Кассини, ныне известную как лемниската Бернулли (показана выше), в связи с проблемой « изохрон », поставленной ранее Лейбницем . Как и гиппопед, это алгебраическая кривая, нулевое множество многочлена . Брат Бернулли Якоб Бернулли также изучил ту же кривую в том же году и дал ей название лемниската. [8] Его также можно определить геометрически как геометрическое место точек, произведение расстояний от двух фокусов которых равно квадрату половины межфокального расстояния. [9] Это частный случай гиппопеда (лемниската Бута) с , и может быть сформирован как поперечное сечение тора, внутреннее отверстие которого и круговые поперечные сечения имеют одинаковый диаметр друг с другом. [1] Лемнискатические эллиптические функции являются аналогами тригонометрических функций для лемнискаты Бернулли, а константы лемнискаты возникают при вычислении длины дуги этой лемнискаты.
Другая лемниската, лемниската Героно или лемниската Гюйгенса, представляет собой нулевое множество многочлена четвертой степени . [11] [12] Кривая Вивиани , трехмерная кривая, образованная пересечением сферы с цилиндром, также имеет форму восьмерки и имеет лемнискату Героно в качестве своей плоской проекции. [13]
Другие алгебраические кривые в форме восьмерки включают