theo đề bài ta có
`x+y=a`
`<=>(x+y)^2=a^2`
`<=>x^2+2xy+y^2=a^2`(1)
có
\(x^2+y^2\ge\dfrac{a^2}{2}\)
\(< =>\)\(2x^2+2y^2\ge a^2\)
thay (1) ta có
\(=>2x^2+2y^2\ge x^2+2xy+y^2\)
\(< =>2x^2+2y^2-x^2-2xy-y^2\ge0\)
\(< =>x^2-2xy+y^2\ge0\)
`<=>(x-y)^2>=0` (đúng)
dấu ''='' xảy ra khí `x=y`