1 . 抽屉原则是德国数学家狄利克雷（P.G.T.Dirichlet，1805~1859）首先提出来的，也称狄利克雷原则. 它有以下几个基本表现形式（下面各形式中所涉及的字母均为正整数）：
形式1：把个元素分为个集合，那么必有一集合中含有两个或两个以上的元素.
形式2：把个元素分为个集合，那么必有一集合中含有个或个以上的元素.
形式3：把无穷多个元素分为有限个集合，那么必有一个集合中含有无穷多个元素.
形式4：把个元素分为个集合，那么必有一个集合中的元素个数，也必有一个集合中的元素个数.（注：若，则表示不超过的最大整数，表示不小于的最小整数）. 根据上述原则形式解决下面问题：
(1)①举例说明形式1；
②举例说明形式3，并用列举法或描述法表示相关集合.
(2)证明形式2；
(3)圆周上有2024个点，在其上任意标上（每点只标一个数，不同的点标上不同的数）.
①从上面这2024个数中任意挑选1013个数，证明在这1013个数中一定有两个数互质；（若两个整数的公约数只有1，则这两个整数互质）
②证明：在上面的圆周上一定存在一点和与它相邻的两个点所标的三个数之和不小于3038.

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

4 . 给定整数，由元实数集合定义其相伴数集，如果，则称集合S为一个元规范数集，并定义S的范数为其中所有元素绝对值之和.
(1)判断、哪个是规范数集，并说明理由；
(2)任取一个元规范数集S，记、分别为其中最小数与最大数，求证：；
(3)当遍历所有2023元规范数集时，求范数的最小值.
注：、分别表示数集中的最小数与最大数.