已知函数f（x）的定义域为R，对任意实数m、n，都有f（m+n）=f（m）+f（n）-1，并且x＞0时，恒有f（x）＞1 （1）求证：f（x）在定义域R上是单调递增函数； （2）若f（3）=4，解不等式f（a2+a-5）

（1）证明：设x₁，x₂∈R，且x₁＜x₂，则x₂-x₁＞0，
∴f（x₂-x₁）＞1，
又f（x₂）-f（x₁）=f[（x₂-x₁）+x₁]-f（x₁）
=f（x₂-x₁）+f（x₁）-1-f（x₁）＞0，即f（x₂）＞f（x₁），
∴f（x）是R上的增函数．
（2）∵m，n∈R，不妨设m=n=1，
∴f（1+1）=f（1）+f（1）-1，即f（2）=2f（1）-1，
f（3）=f（2+1）=f（2）+f（1）-1=2f（1）-1+f（1）-1=3f（1）-2=4，
∴f（1）=2，
∴f（a²+a-5）＜2=f（1），
∵f（x）在R上为增函数，∴a²+a-5＜1，解得-3＜a＜2，
∴a∈（-3，2）．