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

2 . 给定正整数n，记S(n)为所有由2n个非负实数组成的2行n列的数表构成的集合.对于AS(n)，用，分别表示的第i行，第j列各数之和(i=1，2；j=1，2，...，n).将A的每列的两个数中任选一个变为0(可以将0变为0)而另一个数不变，得到的数表称为A的一个残表.
(1)对如下数表A，写出A的所有残表A'，使得；

0.1	0.1	1
0	0	0.1

(2)已知AS(2)且(j=1，2)，求证：一定存在A的某个残表A'使得，均不超过；
(3)已知AS(23)且(j=1，2，...，23)，求证：一定存在A的某个残表A'使得，均不超过6.

7 . 帕德近似是法国数学家亨利·帕德发明的用有理多项式近似特定函数的方法．给定两个正整数，，函数在处的阶帕德近似定义为：，且满足：，，，．已知在处的阶帕德近似为．注：
(1)求实数，的值；
(2)求证：；
(3)求不等式的解集，其中．

8 . 三个互不相同的函数与在区间上恒有或恒有，则称为与在区间上的“分割函数”.
(1)设，试分别判断是否是与在区间上的“分割函数”，请说明理由；
(2)求所有的二次函数（用表示，使得该函数是与在区间上的“分割函数”；
(3)若，且存在实数，使得为与在区间上的“分割函数”，求的最大值.