求用基本不等式证明这个已知的条件是a>0,b>0