已知定义域在区间(0,+无穷)上的函数F(x)满足f(X1/X2)=f(x1)-f(x2)且当x>1时,f(x)<0