灯下 登录
番外 · 题谱 · 2014 · P12

2014 Putnam B6

数论 · P3/P6 · 压轴题

题面据 Putnam 可核档案整理;中文题意为本站自译,公式请以原始来源为准。 PDF:https://kskedlaya.org/putnam-archive/2014.pdf。

Putnam 2014 B6 number-theory

Let f:[0,1]Rf: [0,1] \to \mathbb{R} be a function for which there exists a constant K>0K>0

such that f(x)f(y)Kxy\left| f(x) - f(y) \right| \leq K \left| x - y \right| for all x,y[0,1]x,y \in [0,1].

Suppose also that for each rational number r[0,1]r \in [0,1], there exist integers aa and bb

such that f(r)=a+brf(r) = a + br. Prove that there exist finitely many intervals I1,,InI_1, \dots, I_n

such that ff is a linear function on each IiI_i and [0,1]=i=1nIi[0,1] = \bigcup_{i=1}^n I_i.

f:[0,1]Rf: [0,1] \to \mathbb{R} 为存在常量 K>0K>0 的函数

这样 f(x)f(y)Kxy\left| f(x) - f(y) \right| \leq K \left| x - y \right| 对于 [0,1]中的所有中的所有x,y \。

还假设对于每个有理数 r[0,1]r \in [0,1],存在整数 aabb

这样 f(r)=a+brf(r) = a + br。证明存在有限多个区间 I1,,InI_1, \dots, I_n

这样 ff 是每个 IiI_i[0,1]=i=1nIi[0,1] = \bigcup_{i=1}^n I_i 上的线性函数。

提示 1

先看同余、整除、最大公因数和 p 进赋值。

提示 2

把整数条件转成同余方程、指数比较或下降过程。

提示 3

若要存在性,用构造;若要唯一性,用最小反例、无限下降或模限制。

完整解答

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

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