a,b≥0,a+b≥2√ab,两边平方：a²+b²+2ab≥4ab,→a²+b²-2ab=(a-b)²≥0,命题得证