(Tx,Tx)=(x-2(a,x)a,x-2(a,x)a)=(x,x)-4(a,x)^2+4(a,x)^2(a,a)=(x,x)
所以根下[(Tx,Tx)]=根下[(x,x)],所以Tx的长度=x的长度.