灯下 登录
番外 · 题谱 · 2010 · P6

2010 IMO Shortlist A6

代数 · P3/P6 · 压轴题

题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。

IMO Shortlist 2010 A6 algebra

Suppose that ff and gg are two functions defined on the set of positive integers and taking positive integer values. Suppose also that the equations f(g(n))=f(n)+1f(g(n))=f(n)+1 and g(f(n))=g(f(n))= g(n)+1g(n)+1 hold for all positive integers. Prove that f(n)=g(n)f(n)=g(n) for all positive integer nn. (Germany)

假设 ffgg 是在正整数集合上定义并取正整数值的两个函数。还假设方程 f(g(n))=f(n)+1f(g(n))=f(n)+1g(f(n))=g(f(n))= g(n)+1g(n)+1 对于所有正整数都成立。证明对于所有正整数 nnf(n)=g(n)f(n)=g(n)。 (德国)

提示 1

先把题面里的关系改写成一个干净的代数对象。

提示 2

寻找不变量、对称式或一个可以降次数的替换。

提示 3

最后用判别式、因式分解、单调性或构造把所有可能排完。

完整解答

这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2010 年 IMO Shortlist A6 可先归入代数:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。

这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?