AB都是正交矩阵,证明A+B也是 能不能用这种证明方法