解:(1)∵定义在区间(0,+∞)上的函数f(x)满足f(
)=f(x
1)-f(x
2),
∴当x
1=x
2时,f(1)=O.
(2)f(x)是减函数.
证明:设x
1>x
2,则f(x
1)-f(x
2)=f(
),
∵x
1>x
2,∴
>1,
∵当x>1时,f(x)<0,
∴f(x
1)-f(x
2)<0,
∴f(x)在区间(0,+∞)是减函数.
(3)∵f(1)=O f(3)=-1,
∴f(
)=f(1)-f(3)=0-(-1)=1,
∴f(9)=f(3
)=f(3)-f(
)=-1-1=-2,
∵f(x)在区间(0,+∞)是减函数,
∴f(x)在[2,9]上的最小值为f(9)=-2.
分析:(1)由定义在区间(0,+∞)上的函数f(x)满足f(
)=f(x
1)-f(x
2),当x
1=x
2时,能求出f(1).
(2)设x
1>x
2,则f(x
1)-f(x
2)=f(
),由x
1>x
2,知
>1,当x>1时,f(x)<0,由此能推导出f(x)在区间(0,+∞)是减函数.
(3)由f(1)=O,f(3)=-1,知f(
)=f(1)-f(3)=1,f(9)=f(3
)=f(3)-f(
)=-2,由f(x)在区间(0,+∞)是减函数,能求出f(x)在[2,9]上的最小值.
点评:本题考查抽象函数的函数值、单调性、最小值的求法,解题时要认真审题,仔细解答,注意合理地进行等价转化.