定理6 秩为的元实二次型,设其规范形为
则
(1)负定的充分必要条件是,且 (即负定二次型,其规范形为).
(2)半正定的充分必要条件是 (即半正定二次型的规范形为).
(3)半负定的充分必要条件是, (即).
(4)不定的充分必要条件是 (即).