>>701

(ax+by)(ay+bx) = (a+b)^2・xy + 2ab(x-y)^2 ≧ (a+b)^2・xy,

またはコーシーで
(ax+by)(ay+bx) ≧ (a√xy + b√xy)^2 = (a+b)^2・xy,