Maths Olympiad Prep

Library / HMMT February /948 of 1302

HMMT February

Number theory Difficulty 5.5 AIME, harder Find the answer

For a positive integer nn, denote by τ(n)\tau(n) the number of positive integer divisors of nn, and denote by ϕ(n)\phi(n) the number of positive integers that are less than or equal to nn and relatively prime to nn. Call a positive integer nn good if φ(n)+4τ(n)=n\varphi(n)+4 \tau(n)=n. For example, the number 44 is good because φ(44)+4τ(44)=44\varphi(44)+4 \tau(44)=44. Find the sum of all good positive integers nn.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

We claim that 44,56,7244,56,72 are the only good numbers. It is easy to check that these numbers work. Now we prove none others work. First, remark that as n=1,2n=1,2 fail so we have φ(n)\varphi(n) is even, thus nn is even. This gives us φ(n)≤n/2\varphi(n) \leq n / 2. Now remark that τ(n)<2n\tau(n)<2 \sqrt{n}, so it follows we need n/2+8n>n / 2+8 \sqrt{n}> n⟹n≤256n \Longrightarrow n \leq 256. This gives us a preliminary bound. Note that in addition we have 8τ(n)>n8 \tau(n)>n. Now, it is easy to see that powers of 2 fail. Thus let n=2ap1bn=2^{a} p_{1}^{b} where p1p_{1} is an odd prime. From 8τ(n)>n8 \tau(n)>n we get 8(a+1)(b+1)>2ap1b≥2a3b8(a+1)(b+1)>2^{a} p_{1}^{b} \geq 2^{a} 3^{b} from which we get that (a,b)(a, b) is one of (1,1),(1,2),(1,3),(2,1),(2,2),(3,1),(3,2),(4,1) (1,1),(1,2),(1,3),(2,1),(2,2),(3,1),(3,2),(4,1) Remark that p1≤∗∗8(a+1)(b+1)2ap_{1} \leq \sqrt**{\frac{8(a+1)(b+1)}{2^{a}}}. From this we can perform some casework: - If a=1,b=1a=1, b=1 then p1−1+16=2p1p_{1}-1+16=2 p_{1} but then p=15p=15, absurd. - If a=1,b=2a=1, b=2 then we have p1≤5p_{1} \leq 5 which is obviously impossible. - If a=1,b=3a=1, b=3 then p1≤4p_{1} \leq 4 which is impossible. - If a=2,b=1a=2, b=1 then p1≤12p_{1} \leq 12 and it is easy to check that p1=11p_{1}=11 and thus n=44n=44 is the only solution. - If a=2,b=2a=2, b=2 then p1≤4p_{1} \leq 4 which is impossible. - If a=3,b=1a=3, b=1 then p1≤8p_{1} \leq 8 and only p1=7p_{1}=7 or n=56n=56 works. - If a=3,b=2a=3, b=2 then p1≤3p_{1} \leq 3 and p1=3,n=72p_{1}=3, n=72 works. - If a=4,b=1a=4, b=1 then p1≤1p_{1} \leq 1 which is absurd. Now suppose nn is the product of 3 distinct primes, so n=2ap1bp2cn=2^{a} p_{1}^{b} p_{2}^{c} so we have 8(a+1)(b+1)(c+1)>8(a+1)(b+1)(c+1)> 2a3b5c2^{a} 3^{b} 5^{c} then we must have (a,b,c)(a, b, c) equal to one of (1,1,1),(1,2,1),(2,1,1),(3,1,1) (1,1,1),(1,2,1),(2,1,1),(3,1,1) Again, we can do some casework: - If a=b=c=1a=b=c=1 then 8τ(n)=64>2p1p28 \tau(n)=64>2 p_{1} p_{2} but then p1=3,p2=5p_{1}=3, p_{2}=5 or p1=3,p2=7p_{1}=3, p_{2}=7 is forced neither of which work. - If a=1,b=2,c=1a=1, b=2, c=1 then 8τ(n)=96>2p12p28 \tau(n)=96>2 p_{1}^{2} p_{2} but then p1=3,p2=5p_{1}=3, p_{2}=5 is forced which does not work. - If a=2,b=1,c=1a=2, b=1, c=1 then 8τ(n)=96>4p1p28 \tau(n)=96>4 p_{1} p_{2} forces p1=3,p2=5p_{1}=3, p_{2}=5 or p1=3,p2=7p_{1}=3, p_{2}=7 neither of which work. - If a=3,b=1,c=1a=3, b=1, c=1 then 8τ(n)=108>8p1p28 \tau(n)=108>8 p_{1} p_{2} which has no solutions for p1,p2p_{1}, p_{2}. Finally, take the case where nn is the product of at least 4 distinct primes. But then n≥2⋅3⋅5⋅7=210n \geq 2 \cdot 3 \cdot 5 \cdot 7=210 and as 2⋅3⋅5⋅11>2562 \cdot 3 \cdot 5 \cdot 11>256, it suffices to check only the case of 210 . But 210 clearly fails, so it follows that 44,56,7244,56,72 are the only good numbers so we are done.

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.