同一骨架 2025 年全国高中数学联赛一试(A 卷) 第 2 题 · P007109
筛选生成集合中的共同元素时,可以先把成员条件搬回生成参数,再证明不同参数确实给出不同输出。若生成函数严格递增,参数的排列与元素的大小次序一致,筛完参数后才可以可靠地排序或计数。
一题的成员条件成为同余限制,另一题成为上界截断;筛选规则不同,但单射与顺序的核验承担同一职责。
设集合
若将集合 的元素按自小到大的顺序排列成一个数列 ,则数列 的通项公式为
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把属于第二个集合改写为模 的条件,从而筛选第一个集合中的参数,再检查递增顺序。
先回想这道题的想法,再试试当前题。
当且仅当存在正整数 使
即 。当 时, 分别同余于 ,所以恰须 。所有可取的正整数依次为 ,。反之,这些 对应的 都是正整数。又因 在正整数上严格递增,故交集第 个元素为
时分别得到 ,对应 及 。它们同时符合两种表达式,且大小顺序与参数顺序一致。
求按大小排列的交集通项时,要先证明参数筛选充分必要,再证明参数递增确实给出元素的递增顺序。
集合交的成员条件需翻译成原参数的同余类,反向构造另一参数以保证充分性,再证明原式严格递增,才能把保留参数的位置当作交集元素序号。
同一骨架 2025 年全国高中数学联赛一试(A 卷) 第 2 题 · P007109
筛选生成集合中的共同元素时,可以先把成员条件搬回生成参数,再证明不同参数确实给出不同输出。若生成函数严格递增,参数的排列与元素的大小次序一致,筛完参数后才可以可靠地排序或计数。
一题的成员条件成为同余限制,另一题成为上界截断;筛选规则不同,但单射与顺序的核验承担同一职责。
已记下,谢谢!