若A为正交矩阵,|AT−E|=|A−E|是如何推出来的?