由定义,正交正定矩阵a,a*a'=a'*a=E；
另外显然有a*E=E*a=E;
比较二式,由于ab=ba=E中如果a、b正定,对正定的a,有b唯一,（正定的b,有a唯一）,
所以b=E,同理证得a=E；所以,a=b=a'=b’=E .