「シュワルツの不等式」の判別式による導出に関する考察。
ちなみにシュワルツの不等式（ベクトルに）は（クーラント・ヒルベルトの「数理物理学の方法（上）」参照）
ベクトルに対して、
が成り立つというものである。
ここではベクトルは実ベクトルに限定して話を進める。
となるを求めるときの条件として、
が複素数であることを課すと、
についての二次方程式の判別式から不等式が得られる。
これを二次元実空間に限定してもうちょっと考える。
はつまり、「を何倍かして
に足したらゼロベクトルになるか」ということを聞いているのであって、そんなものは、
と
がもともと同じ方向の時、つまり線形従属の時しかないじゃん!というのが判別式のノリであり、その線形従属の時にのみ等号が成り立つ。
一方で、が複素数のときには線形従属でなくてもベクトルの和がゼロになる場合があるということも示している。これは何を意味しているか？
の最も単純な直交ベクトルを考えると、
、つまり
である。
虚数をそのまま考えるとキツイが、実はは二次元行列において90度回転を表している。
の行列表現
は
であり、二乗すると単位行列にマイナスがかかったものがちゃんと得られる。これは正にのときの回転行列に他ならない。
結局、ベクトルを回すという反則技を使えばどんなベクトルでも何倍かして足すとゼロに出来るわけで、まぁそうかという気がする。
