（1）f（x）=ln（a^x-b^x）（a＞1＞b＞0）要意义，a^x-b^x＞0（2分）
（只要学生得出答案，没有过程的，倒扣一分，用指数函数单调性或者直接解出）ax−bx＞0⇒(

a

b

)x＞1(a＞1＞b＞0⇒

a

b

＞1)
∴所求定义域为（0，+∞）（4分）
（2）函数在定义域上是单调递增函数（5分）
证明：∀x₁，x₂，0＜x₁＜x₂（6分）
∵a＞1＞b＞0∴ax1＜ax2，bx1＞bx2（7分）

∴ax1−bx1＜ax2−bx2 ∴ln(ax1−bx1)＜ln(ax2−bx2) ∴f(x1)＜f(x2)

（9分）
所以原函数在定义域上是单调递增函数（10分）
（3）要使f（x）在[1，+∞）上恒取正值
须f（x）在[1，+∞）上的最小值大于0-（11分）
由（2）y_max=f（1）=ln（a-b）（12分）
∵ln（a-b）＞0∴a-b＞1
所以f（x）在[1，+∞）上恒取正值时有a-b＞1．（14分）