验证若 A^T = A^(-1) ，则 A^TA = I （正交矩阵）。验证若 A^T = A^(-1) ，则 A^TA = I （正交矩阵）。

• Natural Language
• Math Input