将 Ax=y 转置,得 xT*AT=xT*(-A)= -xT*A=yT ,
再右乘 x ,得 -xT*Ax=yT*x ,
由于 Ax=y ,
所以 -xT*y=yT*x=(xT*y)T ,
而 xT*y 为实数,故有 (xT*y)T=xT*y ,
所以可得 xT*y=0 ,
即 x、y 正交 .
将 Ax=y 转置,得 xT*AT=xT*(-A)= -xT*A=yT ,
再右乘 x ,得 -xT*Ax=yT*x ,
由于 Ax=y ,
所以 -xT*y=yT*x=(xT*y)T ,
而 xT*y 为实数,故有 (xT*y)T=xT*y ,
所以可得 xT*y=0 ,
即 x、y 正交 .