[3] (異なる固有値に対する固有ベクトルは直交する)
A∈ Man (R)が対称行列 ('A=A) とする。 x,y∈R” に対
し、対称2次形式を、
で定める。
<x,y>='xÂy
また、α,βERが、 A の固有値であって、 α≠βであると
し、 x ∈R” がα についての固有ベクトル, yeR” が β に
ついての固有ベクトルであるとする。
(1) このとき、
'xA = 'x Ay=By
であることを確かめなさい。
(2) さらに、 < x, y >= axAy=β'xAy
を確かめ、
<x,y >= 0, 'xy = 0
であることを示しなさい。