内容 2008 · 136
来源 context
题面据中国数学奥林匹克 / AoPS 可核档案整理;中文题意为本站自译,英文行为来源英译摘要,公式请以原始来源为准。
Let be an infinite subset of , and a fixed integer. For any prime not dividing , There are infinitely many elements of not divisible by . Show that for any integer , There exist finitely many elements of , such that their sum is congruent to 1 modulo and congruent to 0 modulo .
设 为 的无限子集, 为固定整数。对于任何素数 不能整除 , 中有无限多个元素不能被 整除。证明对于任何整数 , 存在有限多个元素,使得它们的和与 1 模 全等,并且与 0 模 全等。
提示 1
先决定要数什么对象,或把关系画成图。
提示 2
找一个极端对象、双计数式或不变量。
提示 3
把局部限制累加成全局矛盾或构造。
完整解答
题面已直接收录。先把 2008 年 CMO 第 4 题的条件整理成对象、关系、目标三部分;再沿提示寻找不变量、标准构型或关键变形;最后补齐边界情形,并回到原题要求核对。
我的笔记 自动保存