1 . 已知正四面体棱长为2，点分别是，，内切圆上的动点，现有下列四个命题：
①对于任意点，都存在点，使；
②存在，使直线平面；
③当最小时，三棱锥的体积为
④当最大时，顶点到平面的距离的最大值为．
其中正确的有___________．（填选正确的序号即可）

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的所有子群．

3 . 群的概念由法国天才数学家伽罗瓦（1811-1832）在19世纪30年代开创，群论虽起源于对代数多项式方程的研究，但在量子力学､晶体结构学等其他学科中也有十分广泛的应用.设是一个非空集合，“”是一个适用于中元素的运算，若同时满足以下四个条件，则称对“”构成一个群：（1）封闭性，即若，则存在唯一确定的，使得；（2）结合律成立，即对中任意元素都有；（3）单位元存在，即存在，对任意，满足，则称为单位元；（4）逆元存在，即任意，存在，使得，则称与互为逆元，记作.一般地，可简记作可简记作可简记作，以此类推.正八边形的中心为.以表示恒等变换，即不对正八边形作任何变换；以表示以点为中心，将正八边形逆时针旋转的旋转变换；以表示以所在直线为轴，将正八边形进行轴对称变换.定义运算“”表示复合变换，即表示将正八边形先进行变换再进行变换的变换.以形如，并规定的变换为元素，可组成集合，则对运算“”可构成群，称之为“正八边形的对称变换群”，记作.则以下关于及其元素的说法中，正确的有（       ）

A．，且

B．与互为逆元

C．中有无穷多个元素

D．中至少存在三个不同的元素，它们的逆元都是其本身

4 . 设A，B是两个非空集合，如果对于集合A中的任意一个元素x，按照某种确定的对应关系，在集合B中都有唯一确定的元素y和它对应，并且不同的x对应不同的y；同时B中的每一个元素y，都有一个A中的元素x与它对应，则称：为从集合A到集合B的一一对应，并称集合A与B等势，记作.若集合A与B之间不存在一一对应关系，则称A与B不等势，记作.
例如：对于集合，，存在一一对应关系，因此.
(1)已知集合，，试判断是否成立?请说明理由；
(2)证明：①；
②.

5 . 已知无穷数列满足，其中表示x，y中最大的数，表示x，y中最小的数.
(1)当，时，写出的所有可能值；
(2)若数列中的项存在最大值，证明：0为数列中的项；
(3)若，是否存在正实数M，使得对任意的正整数n，都有？如果存在，写出一个满足条件的M；如果不存在，说明理由.