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 5 of 8: Three formulas for multiples of 6
6∣x:σ(x)=1312x (4∣x),σ(x)=3130x (4∤x, 5∣x),σ(x)=x (4∤x, 5∤x)6\mid x:\quad \sigma(x)=\tfrac{13}{12}x\ (4\mid x),\qquad \sigma(x)=\tfrac{31}{30}x\ (4\nmid x,\,5\mid x),\qquad \sigma(x)=x\ (4\nmid x,\,5\nmid x)
Detailed analysis

Every term now satisfies 6∣x6\mid x, so 2,3,62,3,6 are always divisors; the three smallest divisors exceeding 11 depend on whether 44 or 55 also divide xx. If 4∣x4\mid x, they are 2,3,42,3,4, giving σ(x)=x2+x3+x4=1312x\sigma(x)=\tfrac{x}2+\tfrac{x}3+\tfrac{x}4=\tfrac{13}{12}x. If 4∤x4\nmid x but 5∣x5\mid x, they are 2,3,52,3,5, giving σ(x)=x2+x3+x5=3130x\sigma(x)=\tfrac{x}2+\tfrac{x}3+\tfrac{x}5=\tfrac{31}{30}x. If 4∤x4\nmid x and 5∤x5\nmid x, they are 2,3,62,3,6, giving σ(x)=x2+x3+x6=x\sigma(x)=\tfrac{x}2+\tfrac{x}3+\tfrac{x}6=x.