题面据 Putnam 可核档案整理;中文题意为本站自译,公式请以原始来源为准。 PDF:https://kskedlaya.org/putnam-archive/1986.pdf。
A *transversal* of an matrix consists of
entries of , no two in the same row or column. Let be the
number of matrices satisfying the following two
conditions:
(a) Each entry of is in the set
.
(b) The sum of the entries of a transversal is the same for
all transversals of .
An example of such a matrix is
$$
A = \left( \begin{array}{ccc} -1 & 0 & -1 \\ 0 & 1 & 0 \\ 0 & 1 & 0
\end{array}
\right).
$$
Determine with proof a formula for of the form
$$
f(n) = a_1 b_1^n + a_2 b_2^n + a_3 b_3^n + a_4,
$$
where the 's and 's are rational numbers.
矩阵 的*横截面* 由 组成
的条目,不能有两个在同一行或同一列。设 为
满足以下两个条件的 矩阵 的数量
条件:
(a) 的每个条目 都在集合中
。
(b) 横截面的 个条目的总和是相同的
的所有横线。
这种矩阵 的一个例子是
$$
A = \left( \begin{array}{ccc} -1 & 0 & -1 \\ 0 & 1 & 0 \\ 0 & 1 & 0
\结束{数组}
\右)。
$$
通过证明确定 形式的公式
$$
f(n) = a_1 b_1^n + a_2 b_2^n + a_3 b_3^n + a_4,
$$
其中 和 是有理数。
提示 1
先把题面里的关系改写成一个干净的代数对象。
提示 2
寻找不变量、对称式或一个可以降次数的替换。
提示 3
最后用判别式、因式分解、单调性或构造把所有可能排完。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。1986 年 Putnam A4 可先归入代数:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?