シュワルツの不等式とかは役に立つぞ。
(ac+bd)^2>=(a^2+b^2)(c^2+d^2)