1/4(a+b-2√3）²+3/4（a-b）²≥0
化开后得：a²+b²+3-ab-√3(a+b)≥0
∴a²+b²+3≥ab+√3(a+b)
（注：按以上思路您可以进行逆向推导）