>>168
v*tv で表される線型変換の像は1次元だから　dim Ker (A-E) =2
また、Av=(1-s|v|^2)v だから固有値は 1,1,1-s|v|^2 と考えられる。
実際、対称行列は対角化可能なので　(A-E)(A-(1-s|v|^2)E)=O を示せばよい。
(A-E)(A-(1-s|v|^2)E)
=-sv*tv(s|v|^2E-sv*tv)
=-s^2|v|^2v*tv+s^2(v*tv)^2
=-s^2|v|^2v*tv+s^2|v|^2v*tv
=O