(Aa,Ab) = (Aa)^T(Ab) = a^TA^TAb = a^Tb = (a,b)
由上知 (Aa,Aa) = (a,a)
所以 ||Aa|| = √(Aa,Aa) = √(a,a) = ||a||.