龐加萊分離定理

設 為一組標準正交向量，其中 , 2, ..., , 使得 內積 。然後設定

(1)

因此對於任何 方陣 ，對於該方陣，乘積 是有定義的，相應的 二次形式 是

(2)

然後如果

(3)

對於 , 2, ..., ，可以得出

(4)

(5)

對於 , 2, ..., 和 , 1, ..., 。