灯下 登录
番外 · 题谱 · 1986 · P5

1986 USAMO 第 5 题

数论 · P2/P5 · 中段题

题面据 USAMO 可核档案整理;中文题意为本站自译,公式请以原始来源为准。

USAMO 1986 P5 number-theory

By a partition π\pi of an integer n1,n\ge 1, we mean here a representation of nn as a sum of one or more positive integers where the summands must be put in nondecreasing order. (E.g., if n=4,n=4, then the partitions π\pi are 1+1+1+1,1+1+1+1, 1+1+2,1+1+2, 1+3,2+2,1+3, 2+2, and 44).

For any partition π,\pi, define A(π)A(\pi) to be the number of 11's which appear in π,\pi, and define B(π)B(\pi) to be the number of distinct integers which appear in π\pi (E.g., if n=13n=13 and π\pi is the partition 1+1+2+2+2+5,1+1+2+2+2+5, then A(π)=2A(\pi)=2 and B(π)=3B(\pi) = 3).

Prove that, for any fixed n,n, the sum of A(π)A(\pi) over all partitions of π\pi of nn is equal to the sum of B(π)B(\pi) over all partitions of π\pi of n.n.

整数 n1,n\ge 1, 的分区 π\pi 是指 nn 表示为一个或多个正整数之和,其中被加数必须按非递减顺序排列。 (例如,如果 n=4,n=4, 则分区 π\pi1+1+1+11+1+1+1、 1+1+21+1+2、 1+32+21+3、2+2、44)。

对于任何分区 π,\pi,A(π)A(\pi) 定义为 π,\pi, 中出现的 11 的数量,并将 B(π)B(\pi) 定义为 π\pi 中出现的不同整数的数量(例如,如果 n=13n=13π\pi 是分区 1+1+2+2+2+5,1+1+2+2+2+5,,则 A(π)=2A(\pi)=2B(π)=3B(\pi) = 3)。

证明,对于任何固定的 $n,$$n\pi的所有分区上的的所有分区上的A(\pi)之和等于之和等于n\pi的所有分区上的的所有分区上的B(\pi)之和。之和。

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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