Плоская кривая четвёртой степени (Hlkvtgx tjnfgx cymf~jmkw vmyhyun)
Плоская кривая четвёртой степени или плоская квартика — плоская алгебраическая кривая четвёртой степени[англ.]. Она может быть определена уравнением четвёртой степени от двух переменных:
где по меньшей мере одно из чисел A, B, C, D, E не равно нулю. Это уравнение имеет 15 констант. Однако уравнение можно умножить на любую ненулевую константу без изменения кривой. Таким образом, путём подходящего выбора константы умножения, любой коэффициент можно сделать равным 1, оставляя лишь 14 констант. Таким образом, пространство квартик можно отождествить с вещественным проективным пространством . Отсюда также следует по теореме Крамера о алгебраических кривых[англ.], что существует в точности одна квартика, проходящая через 14 различных точек общего положения, поскольку квартика имеет 14 степеней свободы.
Квартика может иметь максимум
- четыре связные компоненты
- двадцать четыре бикасательные
- три обыкновенные двойные точки.
Можно рассматривать кривые четвёртой степени над другими полями (или даже кольцами), например, над комплексными числами. В последнем случае получают римановы поверхности, которые являются одномерными объектами над C, но двумерными над R. Примером является квартика Клейна[англ.]. Кроме того, можно рассматривать кривые в проективной плоскости, задаваемые однородными многочленами.
Примеры
[править | править код]Различные комбинации коэффициентов в уравнении выше дают различные важные семейства кривых, перечисленные ниже.
Амперсанд (кривая)
[править | править код]Кривая-амперсанд — это плоская кривая четвёртой степени с уравнением
Кривая имеет род нуль с тремя обыкновенными двойными точками на вещественной плоскости.[1]
Боб (кривая)
[править | править код]Кривая-боб — это плоская кривая четвёртой степени с уравнением
Боб имеет род нуль. Кривая имеет одну особенность в начале координат, обыкновенную тройную точку[2]. [3]
Двукаспидная кривая
[править | править код]Двукаспидная кривая — это плоская кривая четвёртой степени с уравнением
- ,
где a определяет размер кривой. Двукаспидная кривая имеет только две узловые точки в качестве сингулярностей, а потому является кривой рода один[4].
Бант (кривая)
[править | править код]Бант — это плоская кривая четвёртой степени с уравнением
Бант имеет одну тройную точку в x=0, y=0, а потому является рациональной кривой рода нуль [5].
Крестообразная кривая
[править | править код]Крестообразная кривая или кривая-крест — это плоская кривая четвёртой степени, задаваемая уравнением
- ,
где a и b — два параметра, определяющие форму кривой. Крестообразная кривая связана стандартным квадратичным преобразованием x ↦ 1/x, y ↦ 1/y с эллипсом , а потому является рациональной плоской алгебраической кривой рода нуль. Крестообразная кривая имеет три двойные точки на вещественной проективной плоскости в точках x=0 и y=0, x=0 и z=0, y=0 и z=0.[6]
Поскольку кривая является рациональной, она может быть параметризована рациональными функциями. Например, если a=1 и b=2, то уравнения
задают параметризацию точек на кривой, кроме исключительных случаев, когда знаменатель обращается в нуль.
Спирическое сечение
[править | править код]Спирическое сечение можно определить как бициркулярную[англ.] кривую четвёртой степени, симметричную относительно осей x и y. Спирические сечения входят в семейство торических сечений и содержат семейство лемнискат Бута и семейство овалов Кассини. Название происходит от греческого слова σπειρα, означающего тор.
В декартовых координатах уравнение можно записать
а в полярных координатах как
Трёхлистный клевер
[править | править код]Трёхлистный клевер — это плоская кривая четвёртой степени
Разрешив уравнение относительно y, получим следующую функцию
где два знака не зависят друг от друга, что даёт до четырёх различных значений y для каждого x.
Параметрическим уравнением трёхлистного клевера будет
- [7].
В полярных координатах () уравнение принимает вид
Кривая является частным случаем розы с k = 3. Эта кривая имеет тройную точку в начале координат (0, 0) и имеет три двойные касательные.
Примечания
[править | править код]- ↑ Weisstein, Eric W. Ampersand Curve (англ.) на сайте Wolfram MathWorld.
- ↑ Cundy, Rollett, 1961, с. 72.
- ↑ Weisstein, Eric W. Bean Curve (англ.) на сайте Wolfram MathWorld.
- ↑ Weisstein, Eric W. Bicuspid Curve (англ.) на сайте Wolfram MathWorld.
- ↑ Weisstein, Eric W. Bow (англ.) на сайте Wolfram MathWorld.
- ↑ Weisstein, Eric W. Cruciform curve (англ.) на сайте Wolfram MathWorld.
- ↑ Gibson, 2001, с. 12, 78.
Литература
[править | править код]- Cundy H. M., Rollett A. P. Mathematical models. — 2nd. — Clarendon Press, Oxford, 1961. — С. 72. — ISBN 978-0-906212-20-2.
- Gibson C. G. Elementary Geometry of Algebraic Curves, an Undergraduate Introduction. — Cambridge: Cambridge University Press, 2001. — С. 12, 78. — ISBN 978-0-521-64641-3.