a^2+b^2>=2(ab)^(1/2) 当且仅当?时等号成立啊?