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

二次型矩阵A的主对角元素是二次型的各个变量平方的系数，记作a11, a22, ..., ann。二次型正定的定义是对于任意非零向量x，都有x^T * A * x > 0。如果A的主对角元素都大于0，那么对于任意非零向量x=(x1, x2, ..., xn)，有x^T * A * x = a11 * x1^2 + a22 * x2^2 + ... + ann * xn^2 > 0。因此，二次型矩阵A的所有主对角元素都大于0是二次型正定的必要条件。