>>74
最初から対角行列だったら・・・と思えばいい

n=3でKが対角成分a,b,0（a,bは正）の対角行列だったら
x=「(p,q,r)の転置」とするとx^* K x=a|p|^2+b|q|^2だから

x^* K x=0 ⇒ Kx=0