MathLabs

Problem 4

A proper divisor of a positive integer NN is a positive divisor of NN other than NN itself. The infinite sequence a1,a2,…a_1,a_2,\ldots consists of positive integers, each of which has at least three proper divisors. For each n≥1n\ge1, the integer an+1a_{n+1} is the sum of the three largest proper divisors of ana_n. Determine all possible values of a1a_1.
Step 8 of 8: Conclusion
a1=12e⋅6ℓ,e,ℓ≥0 integers, gcd⁡(ℓ,10)=1a_1=12^{e}\cdot6\ell,\qquad e,\ell\ge0\ \text{integers},\ \gcd(\ell,10)=1
Detailed analysis

Step 6 shows every valid a1a_1 has the form 12e⋅6ℓ12^e\cdot6\ell with gcd⁡(ℓ,10)=1\gcd(\ell,10)=1 (taking e=T−1≥0e=T-1\ge0), and step 2 shows every such value indeed generates a valid infinite sequence. Hence the complete answer is a1=12e⋅6ℓa_1=12^e\cdot6\ell for integers e,ℓ≥0e,\ell\ge0 with gcd⁡(ℓ,10)=1\gcd(\ell,10)=1.