已知函数f(x)=lgx,求证:对于两个任意不相等的正数x1,x2不等式f(x1)+f(x2)