Критерий положительной определённости матрицы Канонический вид квадратичной формы пример