因为A正交,所以 AA^T = E
两边取行列式得 |A||A^T| = |E|
所以 |A|^2 = 1
所以 |A|= 1 or -1
故A 可逆.
再由 AA^T = E,得 A^-1 = A^T
所以 (A^-1)(A^-1)^T = (A^T)(A^T)^T = A^TA = E
所以 A^-1 是正交矩阵.