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

Инвариант следа квадратичной части коники

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

Опубликовано: 13 мая 2026 г.Обновлено: 13 мая 2026 г.

Формула

A'+C'=A+C=\operatorname{tr}\begin{pmatrix}A&B/2\\B/2&C\end{pmatrix}

invariant-trace Сохранение следа матрицы

Поворот меняет базис, но не след матрицы квадратичной формы.

A+C = A'+C' — быстрый контроль вычислений.

Обозначения

$A,C$: Исходные коэффициенты квадратичной части, безразмерные
$A',C'$: Коэффициенты после поворота, безразмерные

Когда применять

Используется для проверки собственных значений и консистентности преобразования координат. Она применяется для устранения смешанного члена xy и выбора главных направлений квадратичной части. В контексте страницы "Инвариант следа квадратичной части коники" пользователь получает не просто вычисление, а порядок проверки: классификация, поворот, перенос, канонический вид и геометрическая интерпретация результата.

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

Поворот координат задаётся ортогональной матрицей
Изменяется только базис, а не сама кривая геометрически
Коэффициенты относятся к квадратичной форме Ax²+Bxy+Cy²

Ограничения

Инвариант не заменяет анализ остальных параметров коники
Не сохраняется при афинных преобразованиях без склейки масштаба
Для оценки направления осей всё равно нужен знак Δ

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

След матрицы квадратичной формы сохраняется при подобии матрицы поворота; это след собственных значений.

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

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

Вычислите A+C в исходном уравнении
После поворота проверьте A'+C'
Сравните результат с собственными значениями λ1+λ2
Проверьте, что после поворота коэффициент при произведении новых координат действительно равен нулю.

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

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

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

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

Пример

Если A=5,C=1, после поворота λ1+λ2=6, значит A'+C'=6. Для "Инвариант следа квадратичной части коники" хороший численный пример должен включать не только подстановку в формулу A'+C'=A+C=\operatorname{tr}\begin{pmatrix}A&B/2\\B/2&C\end{pmatrix}, но и проверку геометрического смысла. Если A=C, формула требует отдельного чтения: угол поворота обычно равен 45 градусам, если B не равен нулю. После вычислений полезно задать себе три вопроса: какой тип кривой получился, какие преобразования координат были использованы и можно ли восстановить исходное уравнение обратным поворотом или переносом. Такой подход защищает от типичной ошибки, когда по похожей записи преждевременно называют эллипс, гиперболу или параболу, не проверив вырожденность, реальность и ориентацию осей.

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

Часто путают инвариант A+C с дискриминантом B²−4AC и применяют в неподходящих условиях. Главная ошибка в этой теме - рассматривать коэффициенты отдельно, а не как систему. Коэффициент при xy, линейные члены и свободный член совместно определяют положение и тип кривой. В формуле угла поворота часто путают B и 2B: это зависит от записи квадратичной формы, поэтому нужно исходить из общего вида Ax^2+Bxy+Cy^2. В странице "Инвариант следа квадратичной части коники" результат следует проверять обратной подстановкой и хотя бы одной тестовой точкой, если такая точка известна.

Практика

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

Контроль преобразования

Условие. A=3, C=7, после преобразования получили A'=8,B'=0,C'=. Сколько должно быть C'?

Решение. Инвариант A'+C'=A+C=10, следовательно C'=2.

Ответ. C'=2

Проверить пересчет

Условие. Исходные A=4,C=4, после поворота A'=10, C'= ?

Решение. Инвариант A+C=8, значит A'+C'=8, отсюда C'=-2.

Ответ. C'=-2

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

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

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

Математика

Угол поворота осей для устранения члена xy

$\tan 2\theta = \frac{B}{A-C}$

Поворотом на угол θ убирается смешанный член xy в квадратичной форме второго порядка. Формула "Угол поворота осей для устранения члена xy" помогает перейти от общего уравнения второй степени к читаемому каноническому виду и понять, какая кривая стоит за набором коэффициентов.

Математика

Полуоси эллипса после диагонализации

$\lambda_1U^2+\lambda_2V^2+J=0,\quad \lambda_1,\lambda_2>0,\ J<0,\quad a_i^2=\frac{-J}{\lambda_i}$

После переноса и поворота эллипс приводится к виду \lambda_1X^2+\lambda_2Y^2+J=0 и полуоси выражаются через собственные значения.

Математика

Полуоси гиперболы после диагонализации

$\lambda_+U^2+\lambda_-V^2+J=0,\quad \lambda_+>0,\lambda_-<0,\quad a^2=\frac{|J|}{|\lambda_+|},\ b^2=\frac{|J|}{|\lambda_-|}$

Для гиперболы после центрирования и поворота одно собственное значение имеет знак минус, другое плюс, из чего напрямую получаются полуоси.

Математика

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

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

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