Математика / Прямые, плоскости
Классификация коники по дискриминанту
Знак B^2-4AC однозначно определяет тип коники после удаления сдвига и поворота, если кривая не вырождена. Формула "Классификация коники по дискриминанту" помогает перейти от общего уравнения второй степени к читаемому каноническому виду и понять, какая кривая стоит за набором коэффициентов.
Формула
Схематично показано, как знак 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 показывает знак определителя квадратичной части с точностью до множителя и потому различает эллиптический, параболический и гиперболический типы. Но это только первый слой анализа. Для страницы "Классификация коники по дискриминанту" важно читать формулу как часть алгоритма, а не как одиночное правило. Сначала исходное уравнение приводят к стандартной матричной форме, затем смотрят на квадратичную часть и решают, нужен ли поворот осей. После этого ищут центр или вершину, убирают линейные члены насколько возможно и получают канонический вид. Только в конце называют кривую и ее параметры. Такой порядок полезен человеку: он объясняет, почему похожие уравнения могут описывать разные геометрические объекты, и почему классификация по одному признаку без проверки реальности и вырожденности может дать неверный вывод.
Как пользоваться формулой
- Найдите A,B,C в общем уравнении
- Вычислите Δ = B^2-4AC
- Сопоставьте знак Δ с типом коники (вырождение исключается отдельно)
- Отдельно проверьте вырожденные случаи: знак дискриминанта задает тип квадратичной части, но не гарантирует реальную невырожденную кривую.
Историческая справка
Кривые второго порядка изучались еще в античной геометрии как конические сечения, но современный способ классифицировать их через уравнение возник после развития координатного метода. Декарт и Ферма сделали возможным переход от чертежа к алгебраической записи, а матричный язык 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
Связанные формулы
Математика
Общее уравнение кривой второго порядка
Общее уравнение второй степени на плоскости объединяет уравнения окружности, эллипса, гиперболы и параболы до поворота и переноса координат.
Математика
Каноническое уравнение эллипса
Канонический вид описывает эллипс через полуоси a и b и центр (h,k): точки с постоянной суммой расстояний до фокусов формируют замкнутую кривую.
Математика
Каноническое уравнение гиперболы
Канонический вид горизонтальной гиперболы задает ее оси симметрии через h,k и полуоси a,b. По знаку между дробями выбирается открытие ветвей по горизонтали или вертикали.
Математика
Каноническое уравнение параболы
Каноническая запись параболы связывает ее вершину (h,k) и параметр раскрытия a. При знаке a определяется направление ветвей по оси y.