Với mọi `a;b>0` ta có:
`\qquad (a-b)^2\ge 0`
`<=>a^2-2ab+b^2\ge 0`
`<=>a^2+b^2\ge 2ab`
`<=>a^2+b^2+a^2+b^2\ge a^2+b^2+2ab`
`<=>2(a^2+b^2)\ge (a+b)^2`
`<=>a^2+b^2\ge {(a+b)^2}/2`
`<=>a^2+b^2\ge {1^2}/2=0,5` (vì `a+b=1`)
Dấu "=" xảy ra khi `a=b=1/2`
Vậy `a^2+b^2\ge 0,5` với mọi `a;b` dương thỏa `a+b=1`