Матрица Сильвестра

Матрица Сильвестра — матрица, позволяющая вычислить результант двух многочленов. Открыта английским математиком Джеймсом Сильвестром.

Определение

Пусть даны многочлены

$A(x) = \sum_{i=0}^{n}{a_i x^i} = a_0 + a_1 x + \ldots + a_n x^n$,

$B(x) = \sum_{i=0}^{m}{b_i x^i} = b_0 + b_1 x + \ldots + b_m x^m$.

Тогда матрицей Сильвестра для этих многочленов будет квадратная матрица $(n+m) \times (n+m)$ вида

$S_{A,B} = \begin{pmatrix} a_n & a_{n-1} & a_{n-2} & \cdots & \cdots & a_0 & 0 & \cdots & 0 \\ 0 & a_n & a_{n-1} & a_{n-2} & \cdots & a_1 & a_0 & \cdots & 0 \\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\ 0 & \cdots & 0 & a_n & a_{n-1} & a_{n-2} & \cdots & a_1 & a_0 \\ b_m & b_{m-1} & \cdots & b_0 & 0 & \cdots & \cdots & \cdots & 0 \\ 0 & b_m & \cdots & b_1 & b_0 & 0 & \cdots & \cdots & 0 \\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\ 0 & \cdots & \cdots & \cdots & 0 & b_m & \cdots & b_1 & b_0 \end{pmatrix}$.

Количество строк матрицы, содержащих коэффициенты многочлена $a(x)$, равно $m$, а многочлена $b(x)$ — $n$. Результант многочленов находится как определитель этой матрицы:

$R(A,B) = \det S_{A,B}$.

Пример

Для многочленов

$A(x) = a_2 x^2 + a_1 x + a_0$,

$B(x) = b_3 x^3 + b_2 x^2 + b_1 x + b_0$

матрица Сильвестра будет выглядеть так:

$S_{A,B} = \begin{pmatrix} a_2 & a_1 & a_0 & 0 & 0 \\ 0 & a_2 & a_1 & a_0 & 0 \\ 0 & 0 & a_2 & a_1 & a_0 \\ b_3 & b_2 & b_1 & b_0 & 0 \\ 0 & b_3 & b_2 & b_1 & b_0 \end{pmatrix}$.

Ссылки

• Weisstein, Eric W. Sylvester Matrix (англ.) на сайте Wolfram MathWorld.
• http://aix1.uottawa.ca/~jkhoury/elimination.htm

Для улучшения этой статьи по математике желательно?: Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).