解:(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]上的最小值.
點評:本題考查抽象函數的函數值、單調性、最小值的求法,解題時要認真審題,仔細解答,注意合理地進行等價轉化.