灯下 登录
番外 · 闲灯 / IMO Shortlist / N1 · number-theory

2010 IMO Shortlist N1

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

IMO Shortlist 2010 N1 number-theory

Find the least positive integer nn for which there exists a set {s1,s2,…,sn}\left\{s_{1}, s_{2}, \ldots, s_{n}\right\} consisting of nn distinct positive integers such that (1−1s1)(1−1s2)…(1−1sn)=512010\left(1-\frac{1}{s_{1}}\right)\left(1-\frac{1}{s_{2}}\right) \ldots\left(1-\frac{1}{s_{n}}\right)=\frac{51}{2010} N1′\mathbf{N} 1^{\prime}. Same as Problem N1, but the constant 512010\frac{51}{2010} is replaced by 422010\frac{42}{2010}. (Canada) Answer for Problem N1. n=39n=39. Solution for Problem N1. Suppose that for some nn there exist the desired numbers; we may assume that s1<s2<⋯<sns_{1}<s_{2}<\cdots<s_{n}. Surely s1>1s_{1}>1 since otherwise 1−1s1=01-\frac{1}{s_{1}}=0. So we have 2≤s1≤s2−1≤⋯≤sn−(n−1)2 \leq s_{1} \leq s_{2}-1 \leq \cdots \leq s_{n}-(n-1), hence si≥i+1s_{i} \geq i+1 for each i=1,…,ni=1, \ldots, n. Therefore 512010=(1−1s1)(1−1s2)…(1−1sn)≥(1−12)(1−13)…(1−1n+1)=12⋅23⋯nn+1=1n+1\begin{aligned} \frac{51}{2010} & =\left(1-\frac{1}{s_{1}}\right)\left(1-\frac{1}{s_{2}}\right) \ldots\left(1-\frac{1}{s_{n}}\right) \\ & \geq\left(1-\frac{1}{2}\right)\left(1-\frac{1}{3}\right) \ldots\left(1-\frac{1}{n+1}\right)=\frac{1}{2} \cdot \frac{2}{3} \cdots \frac{n}{n+1}=\frac{1}{n+1} \end{aligned} which implies n+1≥201051=67017>39n+1 \geq \frac{2010}{51}=\frac{670}{17}>39 so n≥39n \geq 39. Now we are left to show that n=39n=39 fits. Consider the set {2,3,…,33,35,36,…,40,67}\{2,3, \ldots, 33,35,36, \ldots, 40,67\} which contains exactly 39 numbers. We have 12⋅23⋯3233⋅3435⋯3940⋅6667=133⋅3440⋅6667=17670=512010\frac{1}{2} \cdot \frac{2}{3} \cdots \frac{32}{33} \cdot \frac{34}{35} \cdots \frac{39}{40} \cdot \frac{66}{67}=\frac{1}{33} \cdot \frac{34}{40} \cdot \frac{66}{67}=\frac{17}{670}=\frac{51}{2010} hence for n=39n=39 there exists a desired example. Comment. One can show that the example (1) is unique. Answer for Problem N1' ′n=48{ }^{\prime} n=48. Solution for Problem N1'. Suppose that for some nn there exist the desired numbers. In the same way we obtain that si≥i+1s_{i} \geq i+1. Moreover, since the denominator of the fraction 422010=7335\frac{42}{2010}=\frac{7}{335} is divisible by 67 , some of sis_{i} 's should be divisible by 67 , so sn≥si≥67s_{n} \geq s_{i} \geq 67. This means that 422010≥12⋅23⋯n−1n⋅(1−167)=6667n\frac{42}{2010} \geq \frac{1}{2} \cdot \frac{2}{3} \cdots \frac{n-1}{n} \cdot\left(1-\frac{1}{67}\right)=\frac{66}{67 n} which implies n≥2010⋅6642⋅67=3307>47n \geq \frac{2010 \cdot 66}{42 \cdot 67}=\frac{330}{7}>47 so n≥48n \geq 48. Now we are left to show that n=48n=48 fits. Consider the set {2,3,…,33,36,37,…,50,67}\{2,3, \ldots, 33,36,37, \ldots, 50,67\} which contains exactly 48 numbers. We have 12⋅23⋯3233⋅3536⋯4950⋅6667=133⋅3550⋅6667=7335=422010\frac{1}{2} \cdot \frac{2}{3} \cdots \frac{32}{33} \cdot \frac{35}{36} \cdots \frac{49}{50} \cdot \frac{66}{67}=\frac{1}{33} \cdot \frac{35}{50} \cdot \frac{66}{67}=\frac{7}{335}=\frac{42}{2010} hence for n=48n=48 there exists a desired example. Comment 1. In this version of the problem, the estimate needs one more step, hence it is a bit harder. On the other hand, the example in this version is not unique. Another example is 12⋅23⋯4647⋅6667⋅329330=167⋅66330⋅32947=767⋅5=422010.\frac{1}{2} \cdot \frac{2}{3} \cdots \frac{46}{47} \cdot \frac{66}{67} \cdot \frac{329}{330}=\frac{1}{67} \cdot \frac{66}{330} \cdot \frac{329}{47}=\frac{7}{67 \cdot 5}=\frac{42}{2010} . Comment 2. N1' was the Proposer's formulation of the problem. We propose N1 according to the number of current IMO.

找到最小正整数 nn,其中存在由 nn 个不同正整数组成的集合 {s1,s2,…,sn}\left\{s_{1}, s_{2}, \ldots, s_{n}\right\},使得 (1−1s1)(1−1s2)…(1−1sn)=512010\left(1-\frac{1}{s_{1}}\right)\left(1-\frac{1}{s_{2}}\right) \ldots\left(1-\frac{1}{s_{n}}\right)=\frac{51}{2010} N1′\mathbf{N} 1^{\prime}。与问题 N1 相同,但常数 512010\frac{51}{2010} 被 422010\frac{42}{2010} 替换。 (加拿大)问题N1的答案。 n=39n=39。问题N1的解决方案。假设对于某些 nn 存在所需的数字;我们可以假设 s1<s2<⋯<sns_{1}<s_{2}<\cdots<s_{n}。当然s1>1s_{1}>1,否则1−1s1=01-\frac{1}{s_{1}}=0。所以我们有 2≤s1≤s2−1≤⋯≤sn−(n−1)2 \leq s_{1} \leq s_{2}-1 \leq \cdots \leq s_{n}-(n-1),因此对于每个 i=1,…,ni=1, \ldots, n 都有 si≥i+1s_{i} \geq i+1。因此 512010=(1−1s1)(1−1s2)…(1−1sn)≥(1−12)(1−13)…(1−1n+1)=12⋅23⋯nn+1=1n+1\begin{aligned} \frac{51}{2010} & =\left(1-\frac{1}{s_{1}}\right)\left(1-\frac{1}{s_{2}}\right) \ldots\left(1-\frac{1}{s_{n}}\right) \\ & \geq\left(1-\frac{1}{2}\right)\left(1-\frac{1}{3}\right) \ldots\left(1-\frac{1}{n+1}\right)=\frac{1}{2} \cdot \frac{2}{3} \cdots \frac{n}{n+1}=\frac{1}{n+1} \end{aligned} 这意味着 n+1≥201051=67017>39n+1 \geq \frac{2010}{51}=\frac{670}{17}>39 因此 n≥39n \geq 39。现在我们需要证明 n=39n=39 适合。考虑集合 {2,3,…,33,35,36,…,40,67}\{2,3, \ldots, 33,35,36, \ldots, 40,67\},它恰好包含 39 个数字。我们有 12⋅23⋯3233⋅3435⋯3940⋅6667=133⋅3440⋅6667=17670=512010\frac{1}{2} \cdot \frac{2}{3} \cdots \frac{32}{33} \cdot \frac{34}{35} \cdots \frac{39}{40} \cdot \frac{66}{67}=\frac{1}{33} \cdot \frac{34}{40} \cdot \frac{66}{67}=\frac{17}{670}=\frac{51}{2010} 因此对于 n=39n=39 存在一个所需的示例。评论。可以证明例子(1)是唯一的。问题 N1' 的答案 ′n=48{ }^{\prime} n=48。问题N1'的解决方案。假设对于某些 nn 存在所需的数字。以同样的方式我们得到si≥i+1s_{i} \geq i+1。此外,由于分数 422010=7335\frac{42}{2010}=\frac{7}{335} 的分母可以被 67 整除,所以 sis_{i} 中的一些应该可以被 67 整除,所以 sn≥si≥67s_{n} \geq s_{i} \geq 67。这意味着 422010≥12⋅23⋯n−1n⋅(1−167)=6667n\frac{42}{2010} \geq \frac{1}{2} \cdot \frac{2}{3} \cdots \frac{n-1}{n} \cdot\left(1-\frac{1}{67}\right)=\frac{66}{67 n} 这意味着 n≥2010⋅6642⋅67=3307>47n \geq \frac{2010 \cdot 66}{42 \cdot 67}=\frac{330}{7}>47 所以 n≥48n \geq 48。现在我们需要证明 n=48n=48 适合。考虑集合 {2,3,…,33,36,37,…,50,67}\{2,3, \ldots, 33,36,37, \ldots, 50,67\},它恰好包含 48 个数字。我们有 12⋅23⋯3233⋅3536⋯4950⋅6667=133⋅3550⋅6667=7335=422010\frac{1}{2} \cdot \frac{2}{3} \cdots \frac{32}{33} \cdot \frac{35}{36} \cdots \frac{49}{50} \cdot \frac{66}{67}=\frac{1}{33} \cdot \frac{35}{50} \cdot \frac{66}{67}=\frac{7}{335}=\frac{42}{2010} 因此对于 n=48n=48 存在一个所需的示例。评论 1. 在这个版本的问题中,估计需要多一步,因此有点困难。另一方面,这个版本中的例子并不是唯一的。另一个例子是 12⋅23⋯4647⋅6667⋅329330=167⋅66330⋅32947=767⋅5=422010.\frac{1}{2} \cdot \frac{2}{3} \cdots \frac{46}{47} \cdot \frac{66}{67} \cdot \frac{329}{330}=\frac{1}{67} \cdot \frac{66}{330} \cdot \frac{329}{47}=\frac{7}{67 \cdot 5}=\frac{42}{2010} . Comment 2. N1' 是提案者对问题的表述。我们根据当前IMO的数量提出N1。

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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