解 ①由f(
)=f(x
1)-f(x
2),令x
1=x
2,则f(1)=0;
②设x
1>x
2>0,则f(x
1)-f(x
2)=f(
),
因为
>1,所以f(
)<0,
所以f(x
1)-f(x
2)<0,即f(x
1)<f(x
2),
所以f(x)在(0,+∞)上为单调减函数;
③因为f(3)=-1,又f(
)=f(9)-f(3),即f(9)=2f(3)=-2,
所以f(|x|)<-2,可化为f(|x|)<f(9),
又f(x)为(0,+∞)上的单调减函数,
所以|x|>9,解得x<-9或x>9,
所以f(|x|)<-2的解集为(-∞,9)∪(9,+∞).
分析:①在f(
)=f(x
1)-f(x
2)中令x
1=x
2,即可求得f(1);
②定义法:设x
1>x
2>0,则f(x
1)-f(x
2)=f(
),由x>1时f(x)<0可判断f(
)的符号,从而可比较f(x
1)与f(x
2)的大小,根据单调性定义即可作出判断;
③由f(3)=-1及f(
)=f(9)-f(3),可求得f(9)=-2,从而f(|x|)<-2可化为f(|x|)<f(9),根据单调性可去掉不等式中的符号“f”,转化为具体不等式,解出即可;
点评:本题考查抽象函数的单调性及其应用,考查抽象不等式的求解,考查转化思想,抽象函数的性质问题常利用定义进行解决,解决抽象不等式的基本思路是利用性质转化为具体不等式处理.