题面据 Putnam 可核档案整理;中文题意为本站自译,公式请以原始来源为准。 PDF:https://kskedlaya.org/putnam-archive/2013.pdf。
Let be the set of all positive integers that are *not* perfect squares. For in , consider choices of integers
such that
and is a perfect square, and
let be the minumum of over all such choices. For example,
is a perfect square, while , ,
, , , , and are not, and so .
Show that the function from to the integers is one-to-one.
令 为所有“非”完全平方数的正整数的集合。对于中的,考虑整数的选择
使得
是完全平方数,并且
令 为所有此类选择中 的最小值。例如,
是完全平方数,而 , ,
、、、 和 不是,因此 。
证明从 到整数的函数 是一对一的。
提示 1
先看同余、整除、最大公因数和 p 进赋值。
提示 2
把整数条件转成同余方程、指数比较或下降过程。
提示 3
若要存在性,用构造;若要唯一性,用最小反例、无限下降或模限制。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2013 年 Putnam A2 可先归入数论:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?