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

Классификация коники по дискриминанту

Знак B^2-4AC однозначно определяет тип коники после удаления сдвига и поворота, если кривая не вырождена. Формула "Классификация коники по дискриминанту" помогает перейти от общего уравнения второй степени к читаемому каноническому виду и понять, какая кривая стоит за набором коэффициентов.

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

Формула

$$\delta=B^2-4AC:\quad \delta<0\ \text{эллиптический тип},\ \delta=0\ \text{параболический тип},\ \delta>0\ \text{гиперболический тип}$$
discriminant Тип коники по знаку Δ

Схематично показано, как знак B^2-4AC меняет знак кривизны направления.

Отрицательный — эллипсоидный тип, нулевой — параболический, положительный — гиперболический.

Обозначения

$A,B,C$
Коэффициенты при x^2, xy, y^2, безразмерные
$\Delta$
Дискриминант квадратичной формы, безразмерный

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

  • Рассматривается уравнение с Bxy, где A,B,C заданы
  • Для классификации дополнительно анализируется вырожденность
  • Вычисления выполняются в реальных числах

Ограничения

  • При вырожденности один признак не всегда достаточен
  • При A=C и B=0 сразу получаем Δ=0 и поворот не меняет форму члена xy
  • Формула не учитывает ориентацию осей и сдвиг

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

Дискриминант квадратичной формы описывает знак произведения собственных направлений после диагонализации; именно он меняется по типу (положительный/нулевой/отрицательный).

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

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

  1. Найдите A,B,C в общем уравнении
  2. Вычислите Δ = B^2-4AC
  3. Сопоставьте знак Δ с типом коники (вырождение исключается отдельно)
  4. Отдельно проверьте вырожденные случаи: знак дискриминанта задает тип квадратичной части, но не гарантирует реальную невырожденную кривую.

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

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

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

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

Пример

Для x^2 - 4xy + y^2 уравнения: Δ = (-4)^2 - 4\cdot1\cdot1 = 12 > 0, значит гиперболический тип. Для "Классификация коники по дискриминанту" хороший численный пример должен включать не только подстановку в формулу \delta=B^2-4AC:\quad \delta<0\ \text{эллиптический тип},\ \delta=0\ \text{параболический тип},\ \delta>0\ \text{гиперболический тип}, но и проверку геометрического смысла. Если B^2-4AC больше нуля, квадратичная часть имеет гиперболический тип, но перед окончательным выводом все равно нужно проверить свободный и линейные члены. После вычислений полезно задать себе три вопроса: какой тип кривой получился, какие преобразования координат были использованы и можно ли восстановить исходное уравнение обратным поворотом или переносом. Такой подход защищает от типичной ошибки, когда по похожей записи преждевременно называют эллипс, гиперболу или параболу, не проверив вырожденность, реальность и ориентацию осей.

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

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

Практика

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

Определить тип по Δ

Условие. x^2 + 6xy - 3y^2 + 4x -2y = 0

Решение. A=1, B=6, C=-3. Δ = 36 -4\cdot1\cdot(-3)=48>0.

Ответ. Гипербола (если не вырожденная форма)

Критический случай

Условие. 4x^2+4xy+ y^2 - 5x +7y = 0

Решение. A=4, B=4, C=1. Δ = 16 - 16 = 0.

Ответ. Δ = 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.