题面据 Putnam 可核档案整理;中文题意为本站自译,公式请以原始来源为准。 PDF:https://kskedlaya.org/putnam-archive/2002.pdf。
Let be a prime number. Prove that the determinant of the matrix
$$
\begin{pmatrix}
x & y & z \\
x^p & y^p & z^p \\
x^{p^2} & y^{p^2} & z^{p^2}
\end{pmatrix}
$$
is congruent modulo to a product of polynomials of the form
, where are integers. (We say two integer
polynomials are congruent modulo if corresponding coefficients
are congruent modulo .)
令 为素数。证明矩阵的行列式
$$
\开始{p矩阵}
x & y & z \\
x^p & y^p & z^p \\
x^{p^2} & y^{p^2} & z^{p^2}
\end{p 矩阵}
$$
模 与以下形式的多项式的乘积同余
,其中 是整数。 (我们说两个整数
如果相应的系数,多项式与 模同余
模 全等。)
提示 1
先看同余、整除、最大公因数和 p 进赋值。
提示 2
把整数条件转成同余方程、指数比较或下降过程。
提示 3
若要存在性,用构造;若要唯一性,用最小反例、无限下降或模限制。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2002 年 Putnam B6 可先归入数论:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?