Математика / Прямые, плоскости

Критерий вырожденной коники через определитель

Если детерминант квадратичной формы с линейными и свободным членом равен нулю, возможна вырождённая коника (две прямые, точка, пустое множество).

Опубликовано: Обновлено:

Формула

$$\Delta = \left|\begin{matrix} A & \frac{B}{2} & \frac{D}{2} \\ \frac{B}{2} & C & \frac{E}{2} \\ \frac{D}{2} & \frac{E}{2} & F \end{matrix}\right| = 0$$
conic-degenerate Вырождение коник

Наложение двух прямых и вырождения в точку выделяется по нулевому детерминанту.

Детерминант отличает устойчиво вырождение от нормальной коники.

Обозначения

$A,B,C,D,E,F$
Коэффициенты общего уравнения, безразмерные
$\Delta$
Определитель для вырождения, безразмерный

Условия применения

  • Уравнение записано в полном общем виде второй степени
  • Коэффициенты действительные
  • Для детальной диагностики дополнительно проверяются факторы

Ограничения

  • Нулевой детерминант указывает вырождение, но не его конкретный тип
  • Для отличия точки и пары прямых нужны дополнительные признаки
  • Численные ошибки могут маскировать нулевое значение

Подробное объяснение

Это условие является алгебраической формой ранга матрицы квадратичной формы расширенного порядка.

Вырожденная коника появляется, когда расширенная матрица общего уравнения имеет нулевой определитель. Геометрически это означает, что вместо полноценной кривой может получиться пара прямых, точка или пустое множество. Для страницы "Критерий вырожденной коники через определитель" важно читать формулу как часть алгоритма, а не как одиночное правило. Сначала исходное уравнение приводят к стандартной матричной форме, затем смотрят на квадратичную часть и решают, нужен ли поворот осей. После этого ищут центр или вершину, убирают линейные члены насколько возможно и получают канонический вид. Только в конце называют кривую и ее параметры. Такой порядок полезен человеку: он объясняет, почему похожие уравнения могут описывать разные геометрические объекты, и почему классификация по одному признаку без проверки реальности и вырожденности может дать неверный вывод.

Как пользоваться формулой

  1. Подставьте коэффициенты в матрицу
  2. Вычислите детерминант
  3. Если Δ=0, проведите дополнительную проверку реального вида коники
  4. После условия определителя разложите уравнение или проверьте, не получились ли пара прямых, точка или пустое множество.

Историческая справка

Кривые второго порядка изучались еще в античной геометрии как конические сечения, но современный способ классифицировать их через уравнение возник после развития координатного метода. Декарт и Ферма сделали возможным переход от чертежа к алгебраической записи, а матричный язык XIX-XX веков дал более строгий способ понимать повороты осей, собственные направления и инварианты квадратичной части. Для "Критерий вырожденной коники через определитель" исторический контекст важен потому, что современная учебная формула соединяет несколько традиций: антическую геометрию коник, аналитическую геометрию координат и линейную алгебру квадратичных форм. Поэтому такие формулы нельзя честно приписывать одному автору; они являются результатом длительного развития языка геометрии.

Историческая линия формулы

Формула "Критерий вырожденной коники через определитель" относится к общей линии развития аналитической геометрии и теории квадратичных форм. Координатный метод исторически связывают с Декартом и Ферма, а матричная классификация и диагонализация оформились позже; поэтому атрибуция должна описывать историческую связь, а не одного автора-открывателя.

Пример

Если A=C=1, B=0, D=E=0, F=0, то Δ=0 и это вырожденная окружность, сворачивающаяся в одну точку (0,0). Для "Критерий вырожденной коники через определитель" хороший численный пример должен включать не только подстановку в формулу \Delta = \left|\begin{matrix} A & \frac{B}{2} & \frac{D}{2} \\ \frac{B}{2} & C & \frac{E}{2} \\ \frac{D}{2} & \frac{E}{2} & F \end{matrix}\right| = 0, но и проверку геометрического смысла. Нулевой определитель расширенной матрицы указывает, что уравнение может распадаться на более простые объекты, и это нужно проверять отдельно. После вычислений полезно задать себе три вопроса: какой тип кривой получился, какие преобразования координат были использованы и можно ли восстановить исходное уравнение обратным поворотом или переносом. Такой подход защищает от типичной ошибки, когда по похожей записи преждевременно называют эллипс, гиперболу или параболу, не проверив вырожденность, реальность и ориентацию осей.

Частая ошибка

Смешивают этот детерминант с Δ=B^2−4AC, которые имеют разное назначение. Главная ошибка в этой теме - рассматривать коэффициенты отдельно, а не как систему. Коэффициент при xy, линейные члены и свободный член совместно определяют положение и тип кривой. Нулевой определитель не говорит, какая именно вырожденная фигура получилась; это нужно выяснять отдельно. В странице "Критерий вырожденной коники через определитель" результат следует проверять обратной подстановкой и хотя бы одной тестовой точкой, если такая точка известна.

Практика

Задачи с решением

Проверка вырождения

Условие. x^2 - y^2 =0

Решение. A=1, B=0, C=-1, D=E=0, F=0. Детерминант = 0.

Ответ. Вырожденная коника (две пересекающиеся прямые)

Нормальный случай

Условие. x^2 + y^2 - 1 = 0

Решение. A=1, B=0, C=1, D=E=0, F=-1. Determinant = -1/4 \neq 0.

Ответ. Невырожденная окружность

Дополнительные источники

  • Н. В. Ефимов, Краткий курс аналитической геометрии
  • И. М. Гельфанд, Е. Г. Глаголева, А. А. Кириллов, Метод координат
  • OpenStax, Precalculus 2e, Conic Sections
  • OpenStax, Calculus Volume 3, Quadric Surfaces

Связанные формулы

Математика

Общее уравнение кривой второго порядка

$Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0$

Общее уравнение второй степени на плоскости объединяет уравнения окружности, эллипса, гиперболы и параболы до поворота и переноса координат.

Математика

Каноническое уравнение эллипса

$\frac{(x-h)^2}{a^2}+\frac{(y-k)^2}{b^2}=1,\ a\ge b>0$

Канонический вид описывает эллипс через полуоси a и b и центр (h,k): точки с постоянной суммой расстояний до фокусов формируют замкнутую кривую.

Математика

Каноническое уравнение гиперболы

$\frac{(x-h)^2}{a^2}-\frac{(y-k)^2}{b^2}=1$

Канонический вид горизонтальной гиперболы задает ее оси симметрии через h,k и полуоси a,b. По знаку между дробями выбирается открытие ветвей по горизонтали или вертикали.

Математика

Каноническое уравнение параболы

$y-k = a(x-h)^2$

Каноническая запись параболы связывает ее вершину (h,k) и параметр раскрытия a. При знаке a определяется направление ветвей по оси y.