Maths Olympiad Prep

Library / /14 of 32

Algebra Difficulty 5.6 AIME, harder Prove it Romania

Prove that the number 11 can be represented as the sum of a finite number nn of real positive numbers, not necessarily distinct, that only use the digits 00 and/or 77 in their decimal representation. What is the smallest possible value of nn?

Solution

The problem is equivalent to representing
17=0.142857142857142857:=0.142857 \frac{1}{7} = 0.142857142857142857\dots := 0.\overline{142857}
as the sum of a finite number, nn, of real numbers that only have digits 00 and 77 in their decimal representation. In order to get the fourth decimal 88, it is easy to see that we need n8n \geq 8. An example with n=8n = 8 terms is
1= 0.777777+0.077777+0.070777+0.070777+0.000777+0.000707+0.000707+0.000700, \begin{aligned} 1 = &\ 0.\overline{777777} + 0.\overline{077777} + 0.\overline{070777} + 0.\overline{070777} \\ & + 0.\overline{000777} + 0.\overline{000707} + 0.\overline{000707} + 0.\overline{000700}, \end{aligned}
which leads to the following representation of 11:
1=777777+77777+70777+70777+777+707+707+7001061. 1 = \frac{777777 + 77777 + 70777 + 70777 + 777 + 707 + 707 + 700}{10^6 - 1}.
Clearly, there are other representations for n=8n = 8, as well as for values n>8n > 8.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.