4 . 已知函数与的图象关于直线对称，若，构造函数．
(1)当时，求函数在点处的切线与坐标轴围成三角形的面积；
(2)若（其中为的导函数），当时，，证明：．（参考数据：）

7 . 若正实数数列满足，则称是一个对数凸数列；若实数列满足，则称是一个凸数列.已知是一个对数凸数列，．
(1)证明：；
(2)若，证明：；
(3)若，，求的最大值．

8 . 对称变换在对称数学中具有重要的研究意义．若一个平面图形K在m（旋转变换或反射变换）的作用下仍然与原图形重合，就称K具有对称性，并记m为K的一个对称变换．例如，正三角形R在（绕中心O作120°的旋转）的作用下仍然与R重合（如图1图2所示），所以是R的一个对称变换，考虑到变换前后R的三个顶点间的对应关系，记；又如，R在（关于对称轴所在直线的反射）的作用下仍然与R重合（如图1图3所示），所以也是R的一个对称变换，类似地，记．记正三角形R的所有对称变换构成集合S．一个非空集合G对于给定的代数运算.来说作成一个群，假如同时满足：
I．，；
II．，；
Ⅲ．，，；
Ⅳ．，，．
对于一个群G，称Ⅲ中的e为群G的单位元，称Ⅳ中的为a在群G中的逆元．一个群G的一个非空子集H叫做G的一个子群，假如H对于G的代数运算来说作成一个群．

   

(1)直接写出集合S（用符号语言表示S中的元素）；
(2)同一个对称变换的符号语言表达形式不唯一，如．对于集合S中的元素，定义一种新运算*，规则如下：，．
①证明集合S对于给定的代数运算*来说作成一个群；
②已知H是群G的一个子群，e，分别是G，H的单位元，，，分别是a在群G，群H中的逆元．猜想e，之间的关系以及，之间的关系，并给出证明；
③写出群S的所有子群．