内容 2010 · 272
来源 context
题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Let be integers, and let . For any positive integer we say that the pair is -good if implies for all integers . We say that is very good if is -good for infinitely many positive integers . (a) Find a pair which is 51 -good, but not very good. (b) Show that all 2010-good pairs are very good. (Turkey)
令为整数,并令。对于任何正整数 ,如果 对于所有整数 意味着 ,则该对 是 -good。如果 是,我们就说 非常好——对于无穷多个正整数 来说是好。 (a) 找到一对 ,其值为 51 -好,但不是很好。 (b) 证明所有 2010 年的好配对都非常好。 (火鸡)
提示 1
先看同余、整除、最大公因数和 p 进赋值。
提示 2
把整数条件转成同余方程、指数比较或下降过程。
提示 3
若要存在性,用构造;若要唯一性,用最小反例、无限下降或模限制。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2010 年 IMO Shortlist N4 可先归入数论:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
闲谈 aside
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?
我的笔记 自动保存