命题
主子式大于等于零的实对称矩阵是半正定矩阵。
即:对于任意的 n∈N+, 对于任意一个实对称矩阵 An×n, 若它的的任意一个主子式 ≥0, 则 X⊺AX≥0,∀X∈Rn 。
证明
n=1 时, 对于任意一个实对称矩阵 A1×1, a11=|A|≥0, 因此 a11x2≥0,∀x∈R 。命题成立。
假设 n 时命题成立。则
记 A=(A1α⊺αan+1,n+1),
An+1×n+1 的任意一个主子式 ≥0, 因此 an+1,n+1≥0 。
若 an+1,n+1=0, 则对于任意的 i∈N,1≤i<n+1,
∣∣∣ai,ian+1,iai,n+1an+1,n+1∣∣∣=ai,ian+1,n+1−ai,n+1an+1,i=−ai,n+12,
由于 ∣∣∣ai,ian+1,iai,n+1an+1,n+1∣∣∣≥0, 因此 ai,n+1=an+1,i=0, 于是 A=(A10⃗ ⊺0⃗ 0),
令 X=(