只要借助转置和逆的穿透律以及正交矩阵的定义即可,证明如图