1 . 已知幂的基本不等式：当，时，．请利用此基本不等式解决下列相关问题：
(1)当，时，求的取值范围；
(2)当，时，求证：；
(3)利用（2）证明对数函数的单调性：当时，对数函数在上是严格增函数．

3 . 已知函数的定义域为，为大于的常数，对任意，都满足，则称函数在上具有“性质”．
(1)试判断函数和函数是否具有“性质”（无需证明）；
(2)若函数具有“性质”，且，求证：对任意，都有；
(3)若函数的定义域为，且具有“性质”，试判断下列命题的真假，并说明理由，
①若在区间上是严格增函数，则此函数在上也是严格增函数；
②若在区间上是严格减函数，则此函数在上也是严格减函数．

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

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