Maths Olympiad Prep

Library / /14 of 52

Number theory Difficulty 7.7 National Olympiad, round 2 Prove it Romania

Given two positive integers mm and nn, show that there exist a positive integer kk and a set SS of at least mm multiples of nn such that the numbers 2kσ(s)/s2^k \sigma(s)/s, sSs \in S, are all odd; σ(s)\sigma(s) is the sum of all positive divisors of ss (1 and ss inclusive).

Solution

Let n=2ann = 2^a n', where aa is a non-negative integer and nn' is odd, and let 2b2^b be the highest power of 22 dividing σ(n)\sigma(n'). Let p1,,pp_1, \dots, p_\ell be odd primes not dividing nn' (e.g., let each pi>np_i > n'), and let NN be an integer such that r=Nφ(p12p2n)1>max(a,b)r = N\varphi(p_1^2 \cdots p_\ell^2 n') - 1 > \max(a, b), where φ\varphi is Euler's totient function. If tt is one of the 22^\ell divisors of the product p1pp_1 \cdots p_\ell, and s=2rnt2s = 2^r n' t^2, then ss is a multiple of nn, since r>ar > a, and
σ(s)=σ(2r)σ(n)σ(t2)=(2r+11)2bodd, \sigma(s) = \sigma(2^r)\sigma(n')\sigma(t^2) = (2^{r+1}-1) \cdot 2^b \cdot \text{odd},
since σ(t2)\sigma(t^2) is odd. Hence,
2rbσ(s)s=2r+11nt2odd 2^{r-b} \frac{\sigma(s)}{s} = \frac{2^{r+1}-1}{n' t^2} \cdot \text{odd}
is an odd integer, by Euler's theorem. Finally, since there are 22^\ell such ss, one for each divisor tt of the product p1pp_1 \cdots p_\ell, it is sufficient to consider an integer log2m\ell \ge \log_2 m to produce a set SS of at least mm multiples of nn satisfying the required condition; plainly, k=rbk = r - b does not depend on ss.

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.