a^2+b^2+3-ab-√3(a+b)=a^2/2-√3a+3/2+b^2/2-√3b+3/2+a^2/2-ab+b^2/2=(a/√2-√3/√2)^2+(b/√2-√3/√2)^2+(a/√2-b/√2)^2>=0所以：a^2+b^2+3-ab-√3(a+b)>=0所以：a^2+b^2+3>=ab+√3(a+b)