分析:(1)利用减函数的定义即可证明;
(2)化成同底的对数式,利用对数函数的单调性可得真数的大小关系,解出即可.
解答:(1)证明:由1-
>0,得x>a,所以函数f(x)的定义域为(a,+∞).
设a<x
1<x
2,
则f(x
1)-f(x
2)=
loga(1-)-
loga(1-),
因为
(1-)-(1-)=
<0,所以1-
<1-
,
又0<a<1,所以f(x
1)-f(x
2)>0,即f(x
1)>f(x
2),
所以f(x)是(a,+∞)上的减函数;
(2)f(x)>1,即
loga(1-)>1,也即即
loga(1-)>log
aa,
又0<a<1,所以0<1-
<a,解得a<x<
.
所以不等式的解集为:(a,
).
点评:本题考查对数函数的单调性及其应用,相关性质是解决基础.