Квадратичная форма — функция на векторном пространстве, задаваемая однородным многочленом второй степени от координат вектора.
Пусть есть векторное пространство над полем и — базис в .
Функция называется квадратичной формой, если её можно представить в виде
где , а — некоторые элементы поля .
В случае, когда (поле вещественных чисел), важную роль, в том числе для различных приложений, играют понятия положительно и отрицательно определённой квадратичной формы.
Для решения вопроса о том, является ли данная квадратичная форма положительно (отрицательно) определённой, используется критерий Сильвестра: