Математика / Матрицы, определители

Устранение смешанного члена в 2D

В плоскости поворот координат на θ (u,v) убирает смешанный член q. Главные оси соответствуют направлениям, где кросс-термин исчезает.

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

Линейная алгебра Канонический вид

Формула

q(x,y)=ax^2+2bxy+cy^2, \quad \tan 2\theta=\frac{2b}{a-c}, \quad q = \lambda_1 u^2 + \lambda_2 v^2.

diagram Поворот главных осей в 2D

Демонстрирует как угол θ выбирается так, чтобы оставить только u² и v².

Главные оси — это новый базис, где эллиптические/гиперболические сечения не смешиваются.

Обозначения

$a$: коэффициент x², скаляр
$b$: половина коэффициента xy, скаляр
$c$: коэффициент y², скаляр
$\theta$: угол поворота осей, радианы

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

Форма рассматривается в двух переменных.
Подстановка (x,y) — поворот (ортогональное преобразование).
a и c не должны давать неопределённость в arctan в вырожденном случае a=c.

Ограничения

Если a=c и b=0, смешанного члена и так нет.
Численно точное определение θ важно для больших b.
Этап даёт только диагональную форму, знак диагонали зависит от A.

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

Вырожденный смешанный член убирается решением условия, что в новом базисе коэффициент u v равен нулю. Формулы для λ1,2 следуют из собственных значений матрицы.

Квадратичная форма переводит полином второй степени на язык матриц. Это полезно потому, что геометрические свойства формы становятся спектральными свойствами симметричной матрицы: собственные векторы задают главные направления, собственные значения показывают растяжение и знак вдоль этих направлений, а определенность отвечает за форму поверхности около начала координат. Для "Устранение смешанного члена в 2D" важно различать три уровня: явный полином, матричную запись и геометрическую интерпретацию. Переход между ними позволяет не только считать значения, но и понимать, является ли форма положительной, отрицательной, вырожденной или неопределенной. В задачах оптимизации это связано с минимумами и максимумами, а в геометрии - с приведением к главным осям и классификацией квадрик.

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

Определи a,b,c в записи ax²+2bxy+cy².
Вычисли tan2θ = 2b/(a-c).
Найди λ1, λ2 по стандартной формуле.
Подставь x=u cosθ - v sinθ, y=u sinθ + v cosθ.

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

Ротационный метод закрепился в классической аналитической геометрии для уравнений коник.

Квадратичные формы изучали задолго до современной матричной записи: они возникали в теории чисел, аналитической геометрии, механике и исследовании поверхностей второго порядка. В XIX веке развитие матриц, определителей и линейных преобразований сделало возможной компактную запись x^T A x и систематическое приведение форм к каноническому виду. Позже этот аппарат стал основой для оптимизации, статистики, механики и численных методов.

В учебных курсах этот исторический слой важен потому, что квадратичные формы объединяют разные области: классификацию поверхностей, устойчивость равновесий, метод главных осей, статистические ковариации и локальный анализ функций многих переменных.

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

Известен как часть «классической» процедуры приведения квадрик к каноническому виду. Тему корректнее связывать с общей историей теории форм, матриц и спектральных методов. Вклад внесли многие математики XIX века; отдельную школьную или вузовскую формулу здесь нельзя честно приписать одному автору.

Пример

q=4x^2+4xy+y^2: tan2θ=4/3, λ1=5, λ2=0, в главных осях q=5u^2. Дополнительная проверка для "Устранение смешанного члена в 2D": после преобразования нужно сравнить исходный полином и матричную запись на нескольких простых векторах, например на базисных e_i и на суммах e_i+e_j. Это быстро выявляет ошибку в коэффициенте при смешанном члене: в матрице симметричной квадратичной формы половина коэффициента стоит в двух зеркальных позициях. Если для тестового вектора значения не совпадают, дальнейшие выводы о собственных значениях, главных осях или определенности будут неверными даже при аккуратной алгебре.

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

Перепутать формулу для tan2θ с tanθ и получить неверные λ1, λ2. Самая частая ошибка - перепутать коэффициент смешанного члена. Если в полиноме стоит 2bxy, то в симметричной матрице стоят b и b; если стоит bxy, то в матрице должны стоять b/2 и b/2. Также нельзя применять критерии положительной определенности к несимметричной матрице без перехода к симметричной части, потому что антисимметричная часть в x^T A x не влияет.

Практика

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

Поворот для удаления xy

Условие. q=4x^2+4xy+y^2.

Решение. tan2θ=2, λ1,2=(5/2)±\sqrt{(3/2)^2+4}, то есть λ1=5, λ2=0.

Ответ. После поворота: q=5u^2.

Ещё один пример

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

Решение. tan2θ=-1, λ1,2=2\pm\sqrt{2}.

Ответ. Смешанный член исчезает; остаётся q= (2+\sqrt2)u^2 + (2-\sqrt2)v^2.

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

Hoffman & Kunze, Linear Algebra
Vanderbilt Math Notes, Conic sections rotation formulas

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

Математика

Ортогональная диагонализация симметричной матрицы квадратичной формы

$A=Q\Lambda Q^T, \quad Q^TQ=I, \quad Q=[q_1\dots q_n], \; q(x)=x^T A x=(Q^Tx)^T \Lambda (Q^Tx).$

Для симметричной A всегда существует ортогональная матрица собственных векторов, которая переводит квадратичную форму в диагональный вид и задаёт главные оси.

Математика

Канонический вид в главных осях

$q(x)=x^T A x = z^T\Lambda z = \sum_{i=1}^{n}\lambda_i z_i^2, \quad x=Qz.$

В координатах главных осей квадратичная форма становится суммой квадратов с весами-коэффициентами λ_i, что упрощает классификацию многообразий.

Математика

Снятие линейного члена через сдвиг центра

$x^T A x+2b^T x+c=(x+x_0)^T A (x+x_0)+c-b^T A^{-1} b, \quad x_0=-A^{-1}b, \ (A \text{ nonsingular}).$

Если у квадратичной формы есть линейная часть, её удобно убрать сдвигом переменных x→x+x₀ и затем сводить оставшуюся чистую квадратичную часть к главным осям.