Maths Olympiad Prep

Library / /11 of 15

Number theory Difficulty 6.5 National Olympiad Prove it Philippines

Problem:

For a positive integer nn, let φ(n)\varphi(n) denote the number of positive integers less than and relatively prime to nn. Let Sk=nφ(n)nS_{k}=\sum_{n} \frac{\varphi(n)}{n}, where nn runs through all positive divisors of 42k42^{k}. Find the largest positive integer k<1000k<1000 such that SkS_{k} is an integer.

Solution

Solution:

Answer: 996

The function φ\varphi is the well-known Euler totient function which satisfies the property
φ(n)n=pnp prime (11p) \frac{\varphi(n)}{n}=\prod_{\substack{p \mid n \\ p \text{ prime }}}\left(1-\frac{1}{p}\right)
for any integer n>2n>2. Note that the problem defines φ(1)=0\varphi(1)=0.

For any kNk \in \mathbb{N}, the number 42k42^{k} has (k+1)3(k+1)^{3} factors, each of which takes the form 2a3b7c2^{a} 3^{b} 7^{c} where a,b,c{0,1,2,,k}a, b, c \in\{0,1,2, \ldots, k\}. Since φ(n)/n\varphi(n) / n depends only on the prime factors of nn, we partition this set of factors into 8 forms with the same value for φ(n)/n\varphi(n) / n.

form of nnnumber of such nn'sφ(n)n\frac{\varphi(n)}{n}contribution to the sum
11100
22a; a=1,2,,k2^{a};\ a=1,2, \ldots, kkk(112)=12\left(1-\frac{1}{2}\right)=\frac{1}{2}k2\frac{k}{2}
33b; b=1,2,,k3^{b};\ b=1,2, \ldots, kkk(113)=23\left(1-\frac{1}{3}\right)=\frac{2}{3}2k3\frac{2k}{3}
47c; c=1,2,,k7^{c};\ c=1,2, \ldots, kkk(112)(113)=13\left(1-\frac{1}{2}\right)\left(1-\frac{1}{3}\right)=\frac{1}{3}6k7\frac{6k}{7}
52a3b; a,b=1,2,,k2^{a} 3^{b};\ a, b=1,2, \ldots, kk2k^{2}(112)(117)=37\left(1-\frac{1}{2}\right)\left(1-\frac{1}{7}\right)=\frac{3}{7}3k27\frac{3k^{2}}{7}
62a7c; a,c=1,2,,k2^{a} 7^{c};\ a, c=1,2, \ldots, kk2k^{2}(113)(117)=47\left(1-\frac{1}{3}\right)\left(1-\frac{1}{7}\right)=\frac{4}{7}4k27\frac{4k^{2}}{7}
73b7c; b,c=1,2,,k3^{b} 7^{c};\ b, c=1,2, \ldots, kk2k^{2}(112)(113)(117)=27\left(1-\frac{1}{2}\right)\left(1-\frac{1}{3}\right)\left(1-\frac{1}{7}\right)=\frac{2}{7}2k27\frac{2k^{2}}{7}
82a3b7c, a,b,c=1,2,,k2^{a} 3^{b} 7^{c},\ a, b, c=1,2, \ldots, kk3k^{3}(12)(1-2)

Therefore,
Sk=k2+2k3+6k7+k23+3k27+4k27+2k37=a(k)42, S_{k}=\frac{k}{2}+\frac{2k}{3}+\frac{6k}{7}+\frac{k^{2}}{3}+\frac{3k^{2}}{7}+\frac{4k^{2}}{7}+\frac{2k^{3}}{7}=\frac{a(k)}{42},
where a(k)=85k+56k2+12k3a(k)=85k+56k^{2}+12k^{3}.

Hence, the problem wants us to find the largest k<103k<10^{3} so that a(k)0 (mod 42)a(k) \equiv 0\ (\bmod\ 42), or equivalently, a(k)0 (mod 2)a(k) \equiv 0\ (\bmod\ 2), a(k)0 (mod 3)a(k) \equiv 0\ (\bmod\ 3), and a(k)0 (mod 7)a(k) \equiv 0\ (\bmod\ 7). Observe that

- a(k)k (mod 2)a(k) \equiv k\ (\bmod\ 2), which is 0 iff kk is even.
- a(k)k+2k2 (mod 3)a(k) \equiv k+2k^{2}\ (\bmod\ 3), which is 0 iff k0k \equiv 0 or 1 (mod 3)1\ (\bmod\ 3)
- a(k)k+5k3 (mod 7)a(k) \equiv k+5k^{3}\ (\bmod\ 7), which is 0 iff k0,2k \equiv 0,2, or 5 (mod 7)5\ (\bmod\ 7).

The numbers 999 and 997 are not even. 9982 (mod 3)998 \equiv 2\ (\bmod\ 3). 996 is even, 0 (mod 3)\equiv 0\ (\bmod\ 3), and 2 (mod 7)\equiv 2\ (\bmod\ 7). Therefore, the answer is 996.

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.