半正定二次型的一切k阶主子式非负

证明:二次型是半正定的充分必要条件是矩阵的一切k阶主子式非负。