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

2 . 复数是由意大利米兰学者卡当在十六世纪首次引入，经过达朗贝尔、棣莫弗、欧拉、高斯等人的工作，此概念逐渐为数学家所接受.形如的数称为复数，其中称为实部，称为虚部，i称为虚数单位，.当时，为实数；当且时，为纯虚数.其中，叫做复数的模.设，，，，，，如图，点，复数可用点表示，这个建立了直角坐标系来表示复数的平面叫做复平面，轴叫做实轴，轴叫做虚轴.显然，实轴上的点都表示实数；除了原点外，虚轴上的点都表示纯虚数.按照这种表示方法，每一个复数，有复平面内唯一的一个点和它对应，反过来，复平面内的每一个点，有唯一的一个复数和它对应.一般地，任何一个复数都可以表示成的形式，即，其中为复数的模，叫做复数的辐角，我们规定范围内的辐角的值为辐角的主值，记作.叫做复数的三角形式.

   

(1)设复数，，求、的三角形式；
(2)设复数，，其中，求；
(3)在中，已知、、为三个内角的对应边.借助平面直角坐标系及阅读材料中所给复数相关内容，证明：
①；
②，，.
注意：使用复数以外的方法证明不给分.

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

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

9 . 现定义“维形态复数”：，其中为虚数单位，，.
(1)当时，证明：“2维形态复数”与“1维形态复数”之间存在平方关系；
(2)若“2维形态复数”与“3维形态复数”相等，求的值；
(3)若正整数，，满足，，证明：存在有理数，使得.