olymmath

ISL 2010 N1

  • Answer

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.

Dataset text NuminaMath olympiads. Quoted with source.

Show the answer

39

Solutions

Official solution Solution 1 by the IMO Problem Selection Committee

The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).

Locator isl/2010/n1 · Tag 7FD6ZCCDEQ · Edit this page on GitHub · Keys: j next, k previous