函数的定义域为{x|x≠1}，图象过原点，且．
（1）试求函数f（x）的单调减区间；
（2）已知各项均为负数的数列{a_n}前n项和为S_n，满足，求证：；
（3）设，是否存在m₁，，n₁，m₂，n₂∈N*，使得ln2011∈（g（m₁，n₁），g（m₂，n₂））？若存在，求出m₁，，n₁，m₂，n₂，证明结论；若不存在，说明理由．

函数的定义域为{x|x≠1}，图象过原点，且．
（1）试求函数f（x）的单调减区间；
（2）已知各项均为负数的数列{a_n}前n项和为S_n，满足，求证：；
（3）设，是否存在m₁，，n₁，m₂，n₂∈N*，使得ln2011∈（g（m₁，n₁），g（m₂，n₂））？若存在，求出m₁，，n₁，m₂，n₂，证明结论；若不存在，说明理由．

函数的定义域为{x|x≠1}，图象过原点，且．
（1）试求函数f（x）的单调减区间；
（2）已知各项均为负数的数列{a_n}前n项和为S_n，满足，求证：；
（3）设，是否存在m₁，，n₁，m₂，n₂∈N*，使得ln2011∈（g（m₁，n₁），g（m₂，n₂））？若存在，求出m₁，，n₁，m₂，n₂，证明结论；若不存在，说明理由．