缺少条件,前提必须是XY均为非负数
x+y>=2√xy
两边平方
x^2+y^2+2xy>=4xy
x^2+y^2-2xy>=0
(x-y)^2>=0
上式显然成立,证毕.