>>36
コーシーシュワルツの不等式
(a^2+b^2)(x^2+y^2)≧(ax+by)^2
これは左辺-右辺で簡単に示せる