a²＋b²＋3-[ab＋√3﹙a＋b﹚]
=(a+b)^2+3-3ab-√3(a＋b)
(a+b)^2+3>=2√3(a＋b),[(a+b)^2+3]/2>=√3(a＋b)
(a-√3)^2+(b-√3)^2+2ab-3>=0,(a-√3)^2+(b-√3)^2>=3-2ab,所以3-2ab>=0,ab=3/2-ab>=0
所以[(a+b)^2+3]/2>=3ab
[(a+b)^2+3]/2+[(a+b)^2+3]/2>=3ab+√3(a＋b)
所以a²＋b²＋3≥ab＋√3﹙a＋b﹚ a²＋b²＋3-[ab＋√3﹙a＋b﹚]
=(a+b)^2+3-3ab-√3(a＋b)
(a+b)^2+3>=2√3(a＋b),[(a+b)^2+3]/2>=√3(a＋b)
(a-√3)^2+(b-√3)^2+2ab-3>=0,(a-√3)^2+(b-√3)^2>=3-2ab,所以3-2ab>=0,ab=3/2-ab>=0
所以[(a+b)^2+3]/2>=3ab
[(a+b)^2+3]/2+[(a+b)^2+3]/2>=3ab+√3(a＋b)
所以a²＋b²＋3≥ab＋√3﹙a＋b﹚