(a^2+b`2+c^2)(x^2+y^2+z^2)≧(ax+by+cy)^2
だな
(a^2+b`2)(x^2+y^2)≧(ax+by)^2
に見覚えは?