庞加莱分离定理

设 为一组标准正交向量，其中 , 2, ..., , 使得 内积 。然后设定

(1)

因此对于任何 方阵 ，对于该方阵，乘积 是有定义的，相应的 二次形式 是

(2)

然后如果

(3)

对于 , 2, ..., ，可以得出

(4)

(5)

对于 , 2, ..., 和 , 1, ..., 。