Матрица Сильвестра и результант: алгебраическое исключение переменных

Конструкция матрицы Сильвестра

Пусть нам даны два многочлена: P(x) степени m и Q(x) степени n. Матрица Сильвестра для этих полиномов строится путем записи их коэффициентов в виде квадратной блочной матрицы размера (m+n) на (m+n). Первые n строк матрицы формируются из коэффициентов многочлена P(x). В первой строке коэффициенты записываются с левого края, а оставшиеся позиции заполняются нулями. Во второй строке те же коэффициенты сдвигаются на одну позицию вправо, и так далее. Затем следующие m строк точно таким же каскадным (сдвиговым) образом заполняются коэффициентами многочлена Q(x). Такая специфическая ленточно-сдвиговая структура переводит алгебраическую задачу умножения полиномов на строгий язык дискретной линейной алгебры.

Результант и условие общих корней

Определитель матрицы Сильвестра называется результантом двух многочленов (обозначается Res(P, Q)). Величайшая теорема алгебры утверждает: результант в точности равен нулю тогда и только тогда, когда полиномы P и Q имеют как минимум один общий корень (над алгебраически замкнутым полем, например, комплексными числами). Более того, результант можно алгебраически выразить как произведение всевозможных попарных разностей корней первого и второго многочленов, умноженное на старшие коэффициенты. Это мультипликативное свойство доказывает, что если хотя бы один корень P совпадает с корнем Q, одна из скобок обнулится, превращая в нуль и весь определитель матрицы Сильвестра.

Дискриминант как частный случай результанта

Хорошо знакомый из школьной программы дискриминант квадратного уравнения (D = b^2 - 4ac) — это лишь вершина айсберга алгебраической теории исключения. Дискриминант абсолютно любого многочлена P(x) произвольной степени алгебраически определяется именно через результант. Дискриминант вычисляется как результант самого многочлена P(x) и его первой формальной производной P'(x) (с точностью до знака и нормировочного множителя). Если дискриминант равен нулю, это означает, что многочлен и его производная имеют общий корень. А из математического анализа мы знаем, что совпадение корня функции и ее производной является строгим критерием наличия кратного (многократного) корня у функции.

Исключение переменных и пересечение кривых

Настоящая практическая мощь результанта раскрывается в алгебраической геометрии при анализе многомерных кривых. Представьте, что у нас есть система из двух нелинейных уравнений с двумя неизвестными: f(x, y) = 0 и g(x, y) = 0. Чтобы найти точки пересечения этих кривых, мы можем рассматривать переменную y как обычную числовую константу, воспринимая f и g как полиномы только от переменной x. Составив матрицу Сильвестра и вычислив ее определитель (результант), мы полностью исключим (уничтожим) переменную x из системы. Полученный результант будет представлять собой новый многочлен, зависящий исключительно от переменной y. Корни этого нового многочлена дадут нам точные координаты y для всех точек пересечения исходных нелинейных кривых.