>>40
判別式なんか考えなくたって、
a,bをベクトル、kをスカラーとして、
(b-ka,b-ka)≧0
を計算して、kに適当なスカラーを代入するだけで出るよ。これでやると
複素ベクトル空間のこーしー・しゅばるつも出るよ。

( Σ_[k=1～n] a_k b_k )^2=Σ_[k,i=1～n] a_k b_k a_i b_i
なんだけどわかるかな。