там не законоопрделеность)а ЗНАКОопределенность
Ну первая мысль, какая пришла на этот счет в голову, это положительно определенная квадратичная форма. Это проверяется при помощи критерия Сильвестра и связано как раз с матрицей формы. А так что именно имеется в виду, трудно сказать. Пока ничего не приходит голову.
Поройтесь здесь, может на что-то наткнетесь.