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

6 . 已知：为有穷正整数数列，其最大项的值为，且当时，均有.设，对于，定义，其中，表示数集M中最小的数.
(1)若，写出的值；
(2)若存在满足：，求的最小值；
(3)当时，证明：对所有.

10 . 设集合是一个非空数集，对任意，定义，称为集合的一个度量，称集合为一个对于度量而言的度量空间，该度量空间记为.
定义1：若是度量空间上的一个函数，且存在，使得对任意，均有：，则称是度量空间上的一个“压缩函数”.
定义2：记无穷数列为，若是度量空间上的数列，且对任意正实数，都存在一个正整数，使得对任意正整数，均有，则称是度量空间上的一个“基本数列”.
(1)设，证明：是度量空间上的一个“压缩函数”；
(2)已知是度量空间上的一个压缩函数，且，定义，，证明：为度量空间上的一个“基本数列”.