(12分)已知函数的定义域为R, 对任意实数都有,
且, 当时,.
(1) 求;
解析: (1) 令,则, ,
则当, ∴,
∴是首项为, 公差为1的等差数列.
(2) 在上是增函数.
证明: 设,
,
∵, ∴由于当时, ,