正交矩阵和他的转置矩阵的积是0,定义就是这样的,所以你先要求出他的转置矩阵,然后相乘,积是0表示就是正交矩阵.这不复杂,但相当繁琐,自己算吧.给你个思路.