MathLabs

Problem 2

Find all integers nn satisfying n≥2n\ge2 and σ(n)p(n)−1=n,\frac{\sigma(n)}{p(n)-1}=n, in which σ(n)\sigma(n) denotes the sum of all positive divisors of nn, and p(n)p(n) denotes the largest prime divisor of nn.
Step 3 of 3: Check k=1 and k=2 to isolate n=6
k=1⇒σ(pα)=1+p+⋯+pα≡1(modp) ⟹ n∤σ(n);k=2⇒n=2α3β, α=β=1⇒n=6k=1\Rightarrow\sigma(p^\alpha)=1+p+\cdots+p^\alpha\equiv1\pmod p\ \Longrightarrow\ n\nmid\sigma(n);\qquad k=2\Rightarrow n=2^\alpha3^\beta,\ \alpha=\beta=1\Rightarrow n=6
Detailed analysis

If k=1k=1 then n=pαn=p^\alpha and σ(n)=1+p+⋯+pα≡1(modp)\sigma(n)=1+p+\cdots+p^\alpha\equiv1\pmod p, so nn cannot divide σ(n)\sigma(n), impossible. Hence k=2k=2, p1=2p_1=2, p2=3p_2=3, n=2α3βn=2^\alpha3^\beta with α,β≥1\alpha,\beta\ge1, and the equation requires σ(n)/n=p2−1=2\sigma(n)/n=p_2-1=2. But σ(n)/n=(1+12+⋯+12α)(1+13+⋯+13β)≥(1+12)(1+13)=32⋅43=2\sigma(n)/n=(1+\tfrac{1}{2}+\cdots+\tfrac{1}{2^\alpha})(1+\tfrac{1}{3}+\cdots+\tfrac{1}{3^\beta})\ge(1+\tfrac{1}{2})(1+\tfrac{1}{3})=\tfrac{3}{2}\cdot\tfrac{4}{3}=2, with equality if and only if α=β=1\alpha=\beta=1. Therefore n=21⋅31=6n=2^1\cdot3^1=6 is the unique solution.