`(x^2+y^2).(a^2+b^2) \ge (ax+by)^2`
`<=> x^2a^2 + x^2b^2 + y^2a^2 + y^2b^2 \ge (ax)^2 + (by)^2 + 2.ax.by`
`<=> a^2x^2 + b^2x^2 + a^2y^2 + b^2y^2 \ge a^2x^2 + b^2y^2 + 2.ax.by`
`<=> b^2x^2 + a^2y^2 \ge 2.ax.by`
`<=> b^2x^2 + a^2y^2 - 2axby \ge 0`
`<=> (bx)^2 + (ay)^2 - 2.bx.ay \ge 0`
`<=> (bx-ay)^2 \ge 0` (luôn đúng `\forall x;y;a;b\inRR`)
Vậy `(x^2+y^2).(a^2+b^2) \ge (ax+by)^2` `\forall x;y;a;b \inRR`