证明：x>0,y0,f(t)=2t/(3+t^2),对f(t)求导,令其=0,得t=根号3或者负根号3（舍去）,将其代入原式,原命题得证
有字数限制?