どんなベクトル v に対しても (v,A'Av)=(Av,Av)=|Av|^2 ≧0 が成立する。
vに固有ベクトルを代入しる