已知函数f(x)=1/2x^2-3x+2lnx,证明对任意x1、x2∈(0,+∞),当X1>X2时,不等式f(x1)-f