函数的定义域为{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₂，证明结论；若不存在，说明理由．

已知函数．

求(1) 的定义域；

（2）判断在其定义域上的奇偶性，并予以证明，

（3）求的解集。