利用正交矩阵，转置等于逆矩阵（或者写成AA^T=E），以及向量长度，等于内积的算术平方根则||A^TB^(-1)x||=(A^TB^(-1)x)^T(ATB^(-1)x)=x^T(B^(-1))^TA(A^TB^(-1)x)=x^T(B^T)^TA(A^TB^(-1)x)=x^TBAA^TB^(-1)x=x^TB(AA^T)B^(-1)x=x^TBB^(-1)x=x^Tx=||x||=2
