Безутиан

Название, данное английским математиком Сильвестром квадратной функции, которая получается след. Образом. Если даны две бинарные формы, напр. Ax4+bx3y+cx2y2+. И a4x4+b'y3+c'x2y2+. То элиминант их получится по способу Безу в виде определителяОпределитель этот симметрический. С другой стороны, известно, что всякая квадратная форма имеет дискриминантом симметрический определитель, и наоборот, всякий симметрический определитель может быть рассматриваем как дискриминант некоторой квадратной формы. Та квадратная форма, дискриминант которой есть элиминант данных двух форм, составленный по способу Безу, и есть Безутиан системы данных двух форм. Если вместо двух различных форм мы возьмем две частные производные одной и той же бинарной формы, то из Безутиана легко получить число мнимых корней данной формы.

А именно, если представить Б. В виде суммы квадратов (что всегда возможно), то число квадратов с отрицательным знаком будет равно числу мнимых корней данной формы. Или можно поступить следующим образом. Прибавив некоторую величину s к каждому члену главной диагонали матрицы Б., получим уравнение в s, в котором все корни будут вещественные и неравны, и определим число отрицательных корней этого уравнения. Оно будет равно числу мнимых корней данной формы (см. Sylvester, "Philosophical Transactions", 1853)..