TC \(\left(ax+by\right)\left(bx+ay\right)-\left(a+b\right)^2\cdot xy\)
\(=\left(abx^2+a^2xy+b^2xy+aby^2-a^2xy-2abxy-b^2xy\right)\)
\(=abx^2+aby^2-2abxy=ab\left(x-y\right)^2\)
Vi \(\left(x-y\right)^2\ge0\)(voi moi x,y)
va \(a,b\ge0\)(gt)
\(\Rightarrow ab\left(x-y\right)^2\ge0\)
\(\Rightarrow\left(ax+by\right)\left(bx+ay\right)\ge\left(a+b\right)^2\cdot xy\)