为什么双沟函数的最小值可以通过A+B≥2根号AB来求,这个不等式如何证明