为什么a=c时等号成立

(a-b)^2>=0,当且仅当a=b时，等号成立
即a^2+b^2>=2ab
另外ab<=4/(2-√2)=2(2+√2）