Maths Olympiad Prep

Library / Problems of Ukrainian Authors /19 of 40

Problems of Ukrainian Authors

Number theory Difficulty 5.6 AIME, harder Prove it Ukraine

For every positive integer mm denote by σ(m)\sigma(m) the sum of all its divisors, and by ϕ(m)\phi(m) the number of positive integers less than mm and coprime with mm. Prove that there exists infinitely many such positive integer numbers nn for which ϕ(σ(n))>n\phi(\sigma(n)) > n.

Solution

Consider number n=2p−1n = 2^{p-1}, where pp is a prime number. Then σ(n)=2p−1\sigma(n) = 2^p - 1. Let's prove that ϕ(2p−1)>2p−1\phi(2^p - 1) > 2^{p-1} for infinitely many primes pp.

Let m=2p−1=p1α1…pkαkm = 2^p - 1 = p_1^{\alpha_1} \dots p_k^{\alpha_k}. Then
ϕ(m)=(2p−1)p1−1p1…pk−1pk. \phi(m) = (2^p - 1) \frac{p_1 - 1}{p_1} \dots \frac{p_k - 1}{p_k}.
Notice that every pi>pp_i > p, i=1,…,ki = 1, \dots, k. Really, as it follows from the little Fermat theorem, 2pi−1≡1(modpi)2^{p_i-1} \equiv 1 \pmod{p_i}, and 2p−1≡0(modpi)2^p - 1 \equiv 0 \pmod{p_i} as well, therefore (pi−1)∤p(p_i - 1) \nmid p, because pp is a prime number.

Hence m=2p−1=p1α1…pkαk>pkm = 2^{p-1} = p_1^{\alpha_1} \dots p_k^{\alpha_k} > p^k and so k≤plog⁡p2k \le p \log_p 2. I.e. k≤p2k \le \frac{p}{2} for sufficiently large pp.

Then
ϕ(2p−1)2p−1≥2p−12p(1−1p)p. \frac{\phi(2^p-1)}{2^{p-1}} \ge \frac{2^{p-1}}{2^p} \left(1 - \frac{1}{p}\right)^p.
But (1−1p)p→1e\left(1 - \frac{1}{p}\right)^p \to \frac{1}{e} as p→∞p \to \infty, therefore the number n=2p−1n = 2^{p-1} satisfies the condition for sufficiently large pp.

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.