由已知 log2(x+y+3)=log2(xy) 可得xy=x+y+3≥2√xy+3 得(√xy-3)(√xy+1)≥0