Với mọi số thực ta luôn có:
`(a-b)^2>=0`
`<=>a^2-2ab+b^2>=0`
`<=>a^2+b^2>=2ab`
`<=>2(a^2+b^2)>=(a+b)^2=1`
`<=>a^2+b^2>=1/2(đpcm)`
Dấu "=' `<=>a=b=1/2`
ta có:
(a²+b²)(1²+1²)≥(a.1+b.1)²
⇔ 2(a²+b²) ≥ (a+b)²
⇔ 2(a²+b²)≥ 1 (vì a+b=1)
⇔ a² +b² ≥ 1/2 (đpcm)
dấu "=) xảy ra khi a = b = 1/2