Инварианты кривых второго порядка: ортогональная классификация

Три ортогональных инварианта

Для уравнения второго порядка существуют три фундаментальных ортогональных инварианта. Первый инвариант ($I_1$) равен сумме коэффициентов при старших квадратах: $I_1 = A + C$. С алгебраической точки зрения это след матрицы старшей квадратичной формы. Второй инвариант ($I_2$) — это определитель этой же матрицы: $I_2 = AC - B^2$. Третий инвариант ($I_3$), называемый большим определителем, представляет собой детерминант симметричной матрицы третьего порядка, составленной из всех шести коэффициентов уравнения (включая линейные и свободный член). Волшебство заключается в том, как бы мы ни вращали и ни двигали систему координат, новые коэффициенты уравнения ($A', B', C'...$) могут измениться до неузнаваемости, но значения $I_1$, $I_2$ и $I_3$ останутся строго прежними.

Второй инвариант и тип кривой

Инвариант $I_2 = AC - B^2$ (иногда называемый дискриминантом старших членов) играет ключевую роль в определении геометрического типа кривой. Знак этого инварианта мгновенно классифицирует форму линии. Если $I_2 > 0$, кривая относится к эллиптическому типу (это может быть реальный эллипс, мнимый эллипс или вырожденная точка). Если $I_2 < 0$, линия принадлежит к гиперболическому типу (гипербола или пара пересекающихся прямых). Если же $I_2 = 0$, мы имеем дело с параболическим типом (парабола или пара параллельных прямых). Этот элегантный алгебраический тест позволяет компьютерным алгоритмам мгновенно распознавать тип геометрического объекта без необходимости решать нелинейные уравнения.

Третий инвариант: критерий вырожденности

Большой определитель $I_3$ отвечает за полноту формы кривой. Если $I_3 \neq 0$, кривая называется невырожденной (это классические полноценные эллипсы, гиперболы и параболы). Если же $I_3 = 0$, кривая является вырожденной. Вырождение означает, что геометрическое место точек распадается на более простые линейные объекты. Например, если $I_2 < 0$ и $I_3 = 0$, уравнение задает пару пересекающихся прямых линий. Геометрически это соответствует случаю, когда секущая плоскость проходит точно через вершину прямого кругового конуса. Совместный анализ знаков всех трех инвариантов $I_1$, $I_2$ и $I_3$ дает абсолютно точную классификацию из 9 возможных геометрических состояний уравнения второй степени.

Диагонализация и центр симметрии

Инварианты не только классифицируют кривую, но и напрямую участвуют в конструировании ее канонического уравнения. При повороте осей на нужный угол перекрестный коэффициент $B$ обращается в нуль, а новые коэффициенты при квадратах ($A'$ и $C'$) становятся корнями характеристического уравнения $\lambda^2 - I_1 \lambda + I_2 = 0$. Таким образом, длины полуосей эллипса или гиперболы аналитически находятся прямо из инвариантов исходного громоздкого уравнения. Поиск центра симметрии кривой (для эллипсов и гипербол) также сводится к алгебре: центр находится как решение системы линейных уравнений, составленной из частных производных исходного уравнения по $x$ и по $y$, приравненных к нулю. Система имеет единственное решение тогда и только тогда, когда главный определитель $I_2 \neq 0$.