MathLabs

Problem 1

Determine all composite integers n>1n>1 that satisfy the following property: if d1,d2,…,dkd_1, d_2, \ldots, d_k are all the positive divisors of nn with 1=d1<d2<⋯<dk=n1=d_1<d_2<\cdots<d_k=n, then did_i divides di+1+di+2d_{i+1}+d_{i+2} for every 1≤i≤k−21\le i\le k-2.
Step 2 of 3: A second prime factor creates a gap
In plain words

If n had two different prime factors, the smallest divisors would run through powers of the smaller prime until the larger prime appears, and pairing di↔n/did_i\leftrightarrow n/d_i reproduces the same gap among the largest divisors.

d1=1,…,de+1=pe, de+2=qd_1=1,\ldots,d_{e+1}=p^e,\ d_{e+2}=q
Detailed analysis

Suppose nn has at least two distinct prime factors, and let p<qp<q be the two smallest ones. Let pep^e be the largest power of pp dividing nn with pe<qp^e<q (so e≥1e\ge1). No divisor of nn can lie strictly between pep^e and qq, so the smallest divisors of nn are 1,p,…,pe,q1,p,\ldots,p^e,q. Since didk+1−i=nd_id_{k+1-i}=n for all ii, the divisors just below nn mirror this pattern: dk=n, dk−1=n/p,…,dk−e=n/pe, dk−e−1=n/qd_k=n,\ d_{k-1}=n/p,\ldots,d_{k-e}=n/p^e,\ d_{k-e-1}=n/q.