知识点: 若 f(x1,...,xn) 正定, 则 f(x1,...,xk) 也正定
-- 这可由定义得
进一步可得 f(xk)= akk xk^2 也正定
所以akk >0.
事实上, A 的所有主子式都大于0 (特别是顺序主子式)
供参考.不是很明白，f(xk) = akk xk^2 也正定 ？标准型的对角线确实都大于零，但是未化成标准型的二次型对角线元素为什么大于零？