Алгебра ва сонлар назарияси (чизиқли алгебра)

Таъриф-5. Агар ҳар қандай нолдан фарқли вектор учун тенгсизлик бажарилса, ҳақиқий квадратик форма мусбат (манфий) дейилади.

Сильвестр критерияси деб аталувчи қуйидаги теорема квадратик форманинг мусбат аниқланганлигига жавоб беради.