2 . 对称变换在对称数学中具有重要的研究意义．若一个平面图形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的所有子群．

5 . 临沂一中校本部19、20班数学小组在探究函数的性质时，发现通过函数的单调性、奇偶性和周期性，还无法准确地描述出函数的图象，例如函数和，虽然它们都是增函数，但是图像上却有很大的差异. 通过观察图像和阅读数学文献，该小组了解到了函数的凹凸性的概念. 已知定义：设连续函数f（x）的定义域为，如果对于内任意两数，都有，则称为上的凹函数；若，则为凸函数. 对于函数的凹凸性，通过查阅资料，小组成员又了解到了琴生不等式（Jensen不等式）：若f（x）是区间上的凹函数，则对任意的,有不等式恒成立（当且仅当时等号成立）. 小组成员通过询问数学竞赛的同学对他们研究的建议，得到了如下评注：在运用琴生不等式求多元最值问题，关键是构造函数.小组成员选择了反比例型函数和对数函数，研究函数的凹凸性.
(1)设，求W=的最小值.
(2)设为大于或等于1的实数，证明（提示：可设）
(3)若a>1，且当时，不等式恒成立，求实数的取值范围.