T0=T9T9…TT9,使Tx=xe 对z同理存在有限个Givens矩阵T2,T2,…,T2的乘积 T2-T2T2…Ig2Tg2,使T2z=g=e Tx=xT2z=T2xz)→(T2）T0x=xa 即， →(T2T2…I2）T'(T9T9…T）x=x 其中 10(1) (1) (1) (1) (1) T TT TT = 1 1 1 13 12 n n−  ，使 (1) T x xe = 1 对 z 同理存在有限个 Givens 矩阵 (2) (2) (2) 12 13 1 , ,, TT T  n 的乘积 (2) (2) (2) (2) (2) T TT TT = 1 1 1 13 12 n n−  ，使 (2) T z ze e = =1 1 即， ( ) ( ) ( ) 1 (1) (2) (2) (2) (1) 1 (2) (2) (2) (1) (1) (1) 1 1 1 12 1 1 1 12 ( ) n n n n T x xT z T xz T T x xz T T T T T T x xz − − − − == → = ⇒ =   其中 10