判断矩阵是否为正交矩阵举例