实对称矩阵正定充要条件详解：从特征值到主子式

一个n阶实对称矩阵'a'是正定的充要条件如下：

充分条件：

1. 对于任意非零向量'x'属于R^n，都有'x^T * a * x' > 0，其中'x^T'表示'x'的转置。
2. 矩阵'a'的所有特征值都是正数。

必要条件：

1. 对于任意正整数'k'，'a'的'k'阶顺序主子式都大于0。
2. 矩阵'a'可以分解成'a = LDL^T'的形式，其中'D'是对角矩阵，且对角线上的元素都是正数，'L'是下三角矩阵的转置。
3. 矩阵'a'的所有主子式大于0。

这些条件可以用来判断一个n阶实对称矩阵'a'是否是正定的。如果满足上述充要条件之一，那么矩阵'a'就是正定的。这些条件中，充分条件较为常用，可以通过矩阵的特征值或者二次型矩阵来判断矩阵是否正定。必要条件也可以应用于具体的问题中，但相对较少使用。