>>37
Wikipediaで調べてみた。コーシー・シュワルツの不等式っていうのか。。。
この不等式が二次式の判別式になっていることに気が付くかどうかがムズい。

>>38
( Σ_[k=1, n] a_k b_k )^2
の展開式がわからんかった(´-`)