Линии второго порядка
Ли́нии второ́го поря́дка, плоские линии, декартовы прямоугольные координаты которых удовлетворяют алгебраическому уравнению 2-го порядка с действительными коэффициентами
где хотя бы одно из чисел , и не равно нулю.
Это уравнение может и не определять действительного геометрического образа, но для сохранения общности в таких случаях говорят, что оно определяет мнимую линию 2-го порядка. Уравнение линий 2-го порядка может быть преобразовано с помощью параллельного переноса начала и поворота системы координат на некоторый угол к одному из 9 (в зависимости от значений коэффициентов) приведённых ниже канонических видов, каждому из которых соответствует определённый класс линий 2-го порядка. Выделяются следующие нераспадающиеся линии: эллипсы
параболы , мнимые эллипсы
а также распадающиеся линии: пары пересекающихся прямых
пары мнимых пересекающихся прямых
пары параллельных прямых , пары мнимых параллельных прямых , пара совпадающих параллельных прямых ; здесь , и – действительные числа, не равные нулю.
Исследование линий 2-го порядка может быть проведено без приведения общего уравнения к каноническому виду. Для этого вводятся т. н. инварианты линий 2-го порядка – выражения, составленные из коэффициентов общего уравнения линий 2-го порядка, значения которых не меняются при параллельном переносе и повороте системы координат (ниже ),
Например, эллипсы, как нераспадающиеся линии, характеризуются тем, что для них ; положительное значение инварианта выделяет эллипсы среди других типов нераспадающихся линий (для гипербол , для парабол ). Различить случаи действительного или мнимого эллипса позволяет сопоставление знаков инвариантов и : если и разных знаков, то эллипс действительный, если и одного знака, то эллипс мнимый.
Три основных инварианта , и определяют линии 2-го порядка (кроме случая параллельных прямых) с точностью до движения евклидовой плоскости: если соответствующие инварианты , и двух линий совпадают, то такие линии могут быть совмещены движением. Иными словами, эти линии эквивалентны по отношению к группе движений плоскости.
Существуют классификации линий 2-го порядка с использованием других групп преобразований. Так, относительно более общей, чем группа движений, группы аффинных преобразований эквивалентными являются любые две линии, определяемые уравнениями одного канонического вида. Например, две подобные линии 2-го порядка являются эквивалентными. Связи между различными аффинными классами линий 2-го порядка позволяет установить классификация с использованием проективной геометрии.
Кроме аналитического способа определения линий 2-го порядка (с помощью уравнения), существуют и другие способы. Например, эллипс, гипербола и парабола могут быть получены как сечения конуса плоскостью – конические сечения.