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

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

10 . 设集合，称坐标在平面直角坐标系中对应的点P为A中元素a的格点.
(1)证明：若则.
(2)A中的元素所对应的格点记作（），现将A中所有元素进行排序，使得，在平面直角坐标系中，求以为顶点的三角形面积.
(3)已知集合，若至少有2个元素，最多有5个元素，求的取值范围.