a^2+b^2+3-ab-√3(a+b)
=(1/2)(a^2+b^2-2ab+a^2-2√3a+3+b^2-2√3b+3)
=(1/2)((a-b)^2+(a-√3)^2+(b-√3)^2)>=0
所以a平方+b平方+3大于等于ab+根3（a+b)