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

6 . 已知集合中含有三个元素，同时满足①；②；③为偶数，那么称集合具有性质.已知集合，对于集合的非空子集，若中存在三个互不相同的元素，使得均属于，则称集合是集合的“期待子集”.
(1)试判断集合是否具有性质，并说明理由；
(2)若集合具有性质，证明：集合是集合的“期待子集”；
(3)证明：集合具有性质的充要条件是集合是集合的“期待子集”.

7 . 我们知道，二维空间（平面）向量可用二元有序数组表示；三维空间向盘可用三元有序数组表示．一般地，维空间向量用元有序数组表示，其中称为空间向量的第个分量，为这个分量的下标．对于维空间向量，定义集合．记的元素的个数为（约定空集的元素个数为0）．
(1)若空间向量，求及；
(2)对于空间向量．若，求证：，若，则；
(3)若空间向量的坐标满足，当时，求证：．

9 . 已知点集满足，，.对于任意点集，若其非空子集A，B满足，，则称集合对为的一个优划分.对任意点集及其优划分，记A中所有点的横坐标之和为，B中所有点的纵坐标之和为.
(1)写出的一个优划分，使其满足；
(2)对于任意点集，求证：存在的一个优划分，满足；
(3)对于任意点集，求证：存在的一个优划分，满足且.