1 . 在数学中，不给出具体解析式，只给出函数满足的特殊条件或特征的函数称为“抽象函数”．我们需要研究抽象函数的定义域、单调性、奇偶性等性质．对于抽象函数，当时，，且满足：，均有
(1)证明：在上单调递增；
(2)若函数满足上述函数的特征，求实数的取值范围；
(3)若，求证：对任意，都有．

2 . 悬索桥（如图）的外观大漂亮，悬索的形状是平面几何中的悬链线.年莱布尼兹和伯努利推导出某链线的方程为，其中为参数.当时，该方程就是双曲余弦函数，类似的我们有双曲正弦函数.

(1)从下列三个结论中选择一个进行证明，并求函数的最小值；
①；
②；
③.
(2)求证：，.

3 . 定义：双曲余弦函数，双曲正弦函数．
(1)求函数的最小值；
(2)若函数在上的最小值为，求正实数的值；
(3)求证：对任意实数，关于的方程总有实根．

4 . 已知函数.
(1)若，求该函数的值域；
(2)证明：当时，恒成立.