设 $A$ 与 $b$ 分别为实数域上的 $n$ 阶对称正定矩阵与 $n$ 维列向量，定义

证明：若 $X^*$ 是线性方程组 $AX=b$ 的解，则对任意 $X\in\mathbb R^n$，有