灯下 登录
番外 · 闲灯 / Putnam 数学竞赛 / A2 · number-theory

2013 Putnam A2

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

Putnam 2013 A2 number-theory

Let SS be the set of all positive integers that are *not* perfect squares. For nn in SS, consider choices of integers

a1,a2,,ara_1, a_2, \dots, a_r such that n<a1<a2<<arn < a_1< a_2 < \cdots < a_r

and na1a2arn \cdot a_1 \cdot a_2 \cdots a_r is a perfect square, and

let f(n)f(n) be the minumum of ara_r over all such choices. For example,

2362 \cdot 3 \cdot 6 is a perfect square, while 232 \cdot 3, 242 \cdot 4,

252 \cdot 5, 2342 \cdot 3 \cdot 4, 2352 \cdot 3 \cdot 5, 2452 \cdot 4 \cdot 5, and 23452 \cdot 3 \cdot 4 \cdot 5 are not, and so f(2)=6f(2) = 6.

Show that the function ff from SS to the integers is one-to-one.

SS 为所有“非”完全平方数的正整数的集合。对于SS中的nn,考虑整数的选择

a1,a2,,ara_1, a_2, \dots, a_r 使得 n<a1<a2<<arn < a_1< a_2 < \cdots < a_r

na1a2arn \cdot a_1 \cdot a_2 \cdots a_r 是完全平方数,并且

f(n)f(n) 为所有此类选择中 ara_r 的最小值。例如,

2362 \cdot 3 \cdot 6 是完全平方数,而 232 \cdot 3, 242 \cdot 4,

252 \cdot 52342 \cdot 3 \cdot 42352 \cdot 3 \cdot 52452 \cdot 4 \cdot 523452 \cdot 3 \cdot 4 \cdot 5 不是,因此 f(2)=6f(2) = 6

证明从 SS 到整数的函数 ff 是一对一的。

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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