Olympiad Maths Prep

Track / Stage 5 / 71 of 400 #671 of 2000

Problem 671

AIME late
Number theory Difficulty 5.2 Find the answer

Three, (16 points) Let nn be a positive integer, and d1<d2<d_{1}<d_{2}< d3<d4d_{3}<d_{4} be the 4 smallest consecutive positive integer divisors of nn. If n=d12+d22+d32+d42n=d_{1}^{2}+d_{2}^{2}+d_{3}^{2}+d_{4}^{2}, find the value of nn.

Official solution

If nn is odd, then d1d2d3d4d_{1} 、 d_{2} 、 d_{3} 、 d_{4} are all odd. Hence n=d12+d22+d32+d421+1+1+10(mod4)n=d_{1}^{2}+d_{2}^{2}+d_{3}^{2}+d_{4}^{2} \equiv 1+1+1+1 \equiv 0(\bmod 4). Contradiction.
If 4n4 \mid n, then d1=1,d2=2d_{1}=1, d_{2}=2. By di20d_{i}^{2} \equiv 0 or 1(mod4)1(\bmod 4), we have n1+0+d32+d420(mod4)n \equiv 1+0+d_{3}^{2}+d_{4}^{2} \neq 0(\bmod 4). Also a contradiction.
Therefore, n=2(2n11),n1n=2\left(2 n_{1}-1\right), n_{1} is some positive integer, and the tuple (d1,d2,d3,d4)=(1,2,p,q)\left(d_{1}, d_{2}, d_{3}, d_{4}\right)=(1,2, p, q) or (1,2,p,2p)(1,2, p, 2 p), where p,qp, q are odd primes.
In the first case, n=12+22+p2+q23(mod4)n=1^{2}+2^{2}+p^{2}+q^{2} \equiv 3(\bmod 4). Contradiction.
Thus, it can only be n=12+22+p2+(2p)2=5(1+p2)n=1^{2}+2^{2}+p^{2}+(2 p)^{2}=5\left(1+p^{2}\right). Hence 51n51 n.
If d3=3d_{3}=3, then d4=5d_{4}=5, which will return to the first case, so it can only be d3=p=5d_{3}=p=5, then n=12+22+52+102=130n=1^{2}+2^{2}+5^{2}+10^{2}=130.

It is easy to verify that the 4 smallest consecutive positive divisors of 130 are 1,2,5,101,2,5,10, satisfying the condition.
Therefore, n=130n=130.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.