Maths Olympiad Prep

Library / /42 of 158

Number theory Difficulty 5.2 AIME, harder Prove it Estonia

For any positive integer nn let ana_n be the largest power of 22 that divides nn (e.g. a2011=1a_{2011} = 1, a2012=4a_{2012} = 4). Prove that for any positive integers ii and jj with i<ji < j, the sum 1ai+1ai+1++1aj\frac{1}{a_i} + \frac{1}{a_{i+1}} + \dots + \frac{1}{a_j} is a fractional number.

Solution

First prove that the largest power of 22 among the numbers aia_i, ai+1a_{i+1}, \dots, aja_j is unique. Let 2s2^s be the largest of the numbers aia_i, ai+1a_{i+1}, \dots, aja_j. If there were kk and ll with ik<lji \le k < l \le j such that ak=al=2sa_k = a_l = 2^s, then they must be of the form k=2suk = 2^s u and l=2svl = 2^s v, where uu and vv are odd numbers. Since k<lk < l, we have u<vu < v and u+1<vu+1 < v. Since u+1u+1 is even, the number m=2s(u+1)m = 2^s(u+1) has a divisor 2s+12^{s+1}, and k<m<lk < m < l, which contradicts the choice of ss. Thus the largest power of 22 appears only once among the numbers aia_i, ai+1a_{i+1}, \dots, aja_j.

Converting the fractions to the common denominator, the fraction with the largest denominator gives 11 in the numerator, all others give a positive power of 22, i.e. an even number. Consequently the numerator is odd and cannot cancel with the denominator.

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.