这个显然不是正交阵,实正交阵的元素模不会超过1
一般来讲都是先心算一下,看看一些必要条件是否成立,如果无法立刻排除的话再用定义检验