Maths Olympiad Prep

Library / MMO Round 4 /11 of 17

MMO Round 4

Number theory Difficulty 5.7 AIME, harder Prove it Mongolia

Let n≥3n \ge 3 be a given integer. Find the least number of digits in the number formed with only digits 11 and 22 such that the number is divisible by 10n−710^n - 7.

Solution

Answer: 2n+12n + 1
Let N=am…a2a1‾N = \overline{a_m \dots a_2 a_1} be a multiple of dd such that ai∈{1,2}a_i \in \{1, 2\} for every 1≤i≤m1 \le i \le m, where dd denotes 10n−710^n - 7. Since N≥2dN \ge 2d it is clear that m≥n+1m \ge n + 1. Suppose that 2n≥m2n \ge m. By setting S=7×am…an+1‾+an…a1‾S = 7 \times \overline{a_m \dots a_{n+1}} + \overline{a_n \dots a_1} we get
S≤7×22…2⏟n+22…2⏟n<2d. S \le 7 \times \underbrace{22\dots2}_{n} + \underbrace{22\dots2}_{n} < 2d.
It follows from d∣Nd \mid N that d∣Sd \mid S and so we must have S=dS = d (∗))\left(*)\right). But this equality is impossible. Indeed, by (∗))\left(*)\right), we have S≡7an+1+a1(mod10)S \equiv 7a_{n+1} + a_1 \pmod{10} which implies S≢3(mod10)S \not\equiv 3 \pmod{10} since a1,an+1∈{1,2}a_1, a_{n+1} \in \{1, 2\}. This contradicts to (∗))\left(*)\right). Thus m≥2n+1m \ge 2n + 1 and so, for our purpose, it suffices to show that 21…11⏟n−12…22⏟n−21112\underbrace{1\dots11}_{n-1}\underbrace{2\dots22}_{n-2}111 is divisible by dd:

21…11⏟n−12…22⏟n−2111=2×102n+1…11⏟n−12×10n+2…2⏟n−3111≡2×72+7×1…11⏟n−12+2…2⏟n−3111≡7…7⏟n−284+2…2⏟n−209=d≡0(modd). \begin{aligned} 2\underbrace{1\dots11}_{n-1}\underbrace{2\dots22}_{n-2}111 &= 2 \times 10^{2n} + \underbrace{1\dots11}_{n-1}2 \times 10^n + \underbrace{2\dots2}_{n-3}111 \\ &\equiv 2 \times 7^2 + 7 \times \underbrace{1\dots11}_{n-1}2 + \underbrace{2\dots2}_{n-3}111 \\ &\equiv \underbrace{7\dots7}_{n-2}84 + \underbrace{2\dots2}_{n-2}09 = d \equiv 0 \pmod{d}. \end{aligned}

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

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