Maths Olympiad Prep

Library / /1 of 4

Number theory Difficulty 6.5 National Olympiad Prove it Romania

Let nn be a positive integer. For each positive integer knk \le n, let rkr_k denote the remainder 2n2^n leaves upon division by kk. Prove that
k=1nrk>n2(log2n32). \sum_{k=1}^{n} r_k > \frac{n}{2} \left( \log_2 \frac{n}{3} - 2 \right).

Solution

Let m=log2nm = \lfloor \log_2 n \rfloor, and split the set of integers 11 through nn into m+1m + 1 pairwise disjoint subsets J0,J1,,JmJ_0, J_1, \dots, J_m, where JkJ_k consists of all numbers of the form 2k(2+1)2^k(2\ell + 1), =0,,n/2k+11/2\ell = 0, \dots, \lfloor n/2^{k+1} - 1/2 \rfloor.
If jj is a member of JkJ_k, then rj2kr_j \ge 2^k, unless j=2kj = 2^k in which case rj=0r_j = 0.
If k>log2n3=mk > \lfloor \log_2 \frac{n}{3} \rfloor = m', then JkJ_k consists of 2k2^k alone, so it contributes nothing to the sum in question.

Consequently,
k=1nrk=k=0mjJkrjk=0m2k(Jk1)=k=0m2kn2k+112>k=0m2k(n2k+132)=n2(m+1)32(2m+11)>n2log2n3n+32>n2(log2n32). \begin{align*} \sum_{k=1}^{n} r_k &= \sum_{k=0}^{m'} \sum_{j \in J_k} r_j \ge \sum_{k=0}^{m'} 2^k (|J_k| - 1) = \sum_{k=0}^{m'} 2^k \left\lfloor \frac{n}{2^{k+1}} - \frac{1}{2} \right\rfloor > \sum_{k=0}^{m'} 2^k \left( \frac{n}{2^{k+1}} - \frac{3}{2} \right) \\ &= \frac{n}{2}(m' + 1) - \frac{3}{2}(2^{m'+1} - 1) > \frac{n}{2} \log_2 \frac{n}{3} - n + \frac{3}{2} > \frac{n}{2} \left( \log_2 \frac{n}{3} - 2 \right). \end{align*}

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.