1 . 对于非空集合，定义其在某一运算（统称乘法）“×”下的代数结构称为“群”，简记为．而判断是否为一个群，需验证以下三点：
1.（封闭性）对于规定的“×”运算，对任意，都须满足；
2.（结合律）对于规定的“×”运算，对任意，都须满足；
3.（恒等元）存在，使得对任意，；
4.（逆的存在性）对任意，都存在，使得．
记群所含的元素个数为，则群也称作“阶群”．若群的“×”运算满足交换律，即对任意，，我们称为一个阿贝尔群（或交换群）．
(1)证明：所有实数在普通加法运算下构成群；
(2)记为所有模长为1的复数构成的集合，请找出一个合适的“×”运算使得在该运算下构成一个群，并说明理由；
(3)所有阶数小于等于四的群是否都是阿贝尔群？请说明理由．

2 . 设M是由复数组成的集合，对M的一个子集A，若存在复平面上的一个圆，使得A的所有数在复平面上对应的点都在圆内或圆周上，且中的数对应的点都在圆外，则称A是一个M的“可分离子集”．
(1)判断是否是的“可分离子集”，并说明理由；
(2)设复数z满足，其中分别表示z的实部和虚部．证明：是的“可分离子集”当且仅当．

3 . 对于函数，分别在处作函数的切线，记切线与轴的交点分别为，记为数列的第n项，则称数列为函数的“切线-轴数列”，同理记切线与轴的交点分别为，记为数列的第n项，则称数列为函数的“切线-轴数列”
(1)设函数，记“切线-轴数列”为，记为的前n项和，求.
(2)设函数，记“切线-轴数列”为，猜想的通项公式并证明你的结论.
(3)设复数均为不为0的实数，记为的共轭复数，设，记“切线-轴数列”为，求证：对于任意的不为0的实数，总有成立.

5 . 通过平面直角坐标系，我们可以用有序实数对表示向量.类似的，我们可以把有序复数对看作一个向量，记，则称为复向量.类比平面向量的相关运算法则，对于，，、、、、，我们有如下运算法则：
①；       ②；
③；             ④.
(1)设，，求和.
(2)由平面向量的数量积满足的运算律，我们类比得到复向量的相关结论：
①
②       ③.
试判断这三个结论是否正确，并对正确的结论予以证明.
(3)若，集合，.对于任意的，求出满足条件的，并将此时的记为，证明对任意的，不等式恒成立.
根据对上述问题的解答过程，试写出一个一般性的命题（不需要证明）.

6 . 设是一个关于复数z的表达式，若（其中x，y，，为虚数单位），就称f将点“f对应”到点．例如将点“f对应”到点．
(1)若点“f对应”到点，点“f对应”到点，求点、的坐标；
(2)设常数，，若直线l：，，是否存在一个有序实数对，使得直线l上的任意一点“对应”到点后，点Q仍在直线上？若存在，试求出所有的有序实数对；若不存在，请说明理由；
(3)设常数，，集合且和且，若满足：①对于集合D中的任意一个元素z，都有；②对于集合A中的任意一个元素，都存在集合D中的元素z使得．请写出满足条件的一个有序实数对，并论证此时的满足条件．

9 . 被称为欧拉公式.我们运用欧拉公式，可以推导出倍角公式.如：.类比方法，我们可以得到____（用含有的式子表示）