1 . 若函数的图象上的两个不同点处的切线互相重合，则称该切线为函数的图象的“自公切线”，称这两点为函数的图象的一对“同切点”.
(1)分别判断函数与的图象是否存在“自公切线”，并说明理由；
(2)若，求证：函数有唯一零点且该函数的图象不存在“自公切线”；
(3)设，的零点为，，求证：“存在，使得点与是函数的图象的一对‘同切点’”的充要条件是“是数列中的项”.

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

3 . 设为给定的正奇数，定义无穷数列：若是数列中的项，则记作.
(1)若数列的前6项各不相同，写出的最小值及此时数列的前6项；
(2)求证：集合是空集；
(3)记集合正奇数，求集合.（若为任意的正奇数，求所有数列的相同元素构成的集合.）

4 . 定义：设和均为定义在上的函数，它们的导函数分别为和，若不等式对任意实数恒成立，则称和为“相伴函数”.
(1)给出两组函数，①和②和，分别判断这两组函数是否为“相伴函数”（只需直接给出结论，不需论证）；
(2)若是定义在上的可导函数，是偶函数，是奇函数，，证明：和为“相伴函数”；
(3)，写出“和为相伴函数”的充要条件，证明你的结论.