二次型正定：主对角元素大于0的必要性

二次型正定的定义是：对于任意非零向量x，都有x' * Ax > 0，其中A是二次型矩阵。

假设A的所有主对角元素都大于0，则对于任意非零向量x=(x1,x2,...,xn)，有：

x' * Ax = x1^2 * a11 + x2^2 * a22 + ... + xn^2 * ann

由于A的所有主对角元素都大于0，所以对于任意非零向量x，x' * Ax > 0。

因此，二次型矩阵A的所有主对角元素都大于0是二次型正定的必要条件。