即证明（AtB）*（AtB）T=E
由题义可知AAt=E BBt=E又因为（AtB）t=BtA
所以 AtB*BtA=E