（1）a=1時，f（x）=x+b在R上是增函數(shù)，
由已知，當n≥2時，x∈[a_n-1，b_n-1]，f（x）的值域是[a_n，b_n]，
∴a_n=f（a_n-1）=a_n-1+b，b_n=f（b_n-1）=b_n-1+b，
∴{a_n}、{b_n}都是公差為b的等差數(shù)列．
∵a₁=0，b₁=1，
∴a_n=（n-1）b，b_n=（n-1）b+1；
（2）∵a＞0，a≠1，
∴f（x）=ax+b在R上也是增函數(shù)，
由已知有b_n=f（b_n-1）=ab_n-1+b，即b_n=ab_n-1+b（n≥2），
∴

bn

bn?1

＝a+

b

bn?1

，
若{b_n}是公比不為1的等比數(shù)列，則

b

bn?1

是常數(shù)，所以b=0；
（3）∵a＜0，∴f（x）=ax+b在R上是減函數(shù)，
由已知可得，b_n=f（a_n-1）=a?a_n-1+b，a_n=f（b_n-1）=a?b_n-1+b，
∴b_n-a_n=-a（b_n-1-a_n-1）（n≥2），
∴{b_n-a_n}是以1為首項，-a為公比的等比數(shù)列，
∴b_n-a_n=（-a）^n-1，
∴T_n-S_n=（b₁-a₁）+（b₂-a₂）+…+（b_n-a_n）=

n，a＝?1 1?(?a)n 1+a ，a≠?1

，
于是，（T₁+T₂+…+T₂₀₀₀）-（S₁+S₂+…+S₂₀₀₀）
=（T₁-S₁）+（T₂-S₂）+…+（T₂₀₀₀-S₂₀₀₀）
=

2001000，a＝?1 2000+2001a?a2001 (1+a)2 ，a＜0，a≠?1

．