用定义法证明y=x+4/x,在(-无穷,0)的增减性