>>667
>>689のコーシー・シュワルツの不等式は
単純に内積の定義の両辺を2乗して、0≦(cosθ)^2≦1だから
と考えれば…