Возможно, имелись в виду угловые миноры, а не ведущие главные миноры.

Согласно критерию Сильвестра, квадратичная форма положительно определена, если все её угловые миноры размеров i × i, где i пробегает все целые числа от 1 до n включительно, положительны. 1

Минор k-го порядка матрицы A — это определитель матрицы, составленный из элементов данной матрицы, стоящих на пересечении произвольно выбранных её k строк и k столбцов с сохранением их порядка. 2

Главный минор — это минор, у которого номера строк совпадают с номерами столбцов. 24 Для квадратной матрицы это диагональные элементы. 4

Таким образом, для положительной определённости матрицы A необходимо и достаточно, чтобы все главные миноры матрицы были положительными. 2