CM: BĐT phụ`x^2+y^2` lớn hơn hoặc = `(x+y)^2/2`

`x^2 + y^2 >= (x + y)^2/2`

`<=> 2(x^2 + y^2) >= (x + y)^2`

`<=> 2x^2 + 2y^2 >= x^2 + 2xy + y^2`

`<=> 2x^2 + 2y^2 -x^2-2xy - y^2 >= 0`

`<=> x^2 - 2xy + y^2 >= 0`

`<=> (x - y)^2 >= 0` (luôn đúng `AA x)`

Dấu $"="$ xảy ra khi:

`(x - y)^2 = 0`

`<=> x- y =0`

`<=> x = y`