已知f（x）是实数集R上的减函数,且f（x/y）=f（x）-f（一）,f（2）=1,解不等式：f（x）+（x-7）≥3已知f（x）是实数集R上的减函数,且f（x/y）=f（x）-f（y）,f（2）=1,解不等式：f（x）+（x-7）≥3

Question

已知f（x）是实数集R上的减函数,且f（x/y）=f（x）-f（一）,f（2）=1,解不等式：f（x）+（x-7）≥3
已知f（x）是实数集R上的减函数,且f（x/y）=f（x）-f（y）,f（2）=1,解不等式：f（x）+（x-7）≥3

Answer 1

令x=4,y=2
则f(2)=f(4)-f(2)
f(4)=2f(2)=2
令x=8,y=2
则f(4)=f(8)-f(2)
f(8)=f(4)+f(2)=2+1=3
f(x)+f(x-7)>=3
f(x/y)+f(y)=f(x)
所以f[x(x-7)]>=f(8)
x(x-7)