证明：设 U 是非奇异实矩阵,则存在正交矩阵 O 和某个正定矩阵 P,使得 U=PO=OP.并且这个表示法是唯一的.若 U 是辛矩阵,则 P 和 O 都是辛矩阵.