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 3 of 3: The chain condition forces an impossible ratio
In plain words

Plugging the mirrored divisors into the required divisibility turns the whole problem into checking whether one specific fraction is an integer, and it never is.

q(p+1)pe∈Z\dfrac{q(p+1)}{p^e}\in\mathbb{Z}
Detailed analysis

Apply the property at index i=k−e−1i=k-e-1: dk−e−1∣dk−e+dk−e+1d_{k-e-1}\mid d_{k-e}+d_{k-e+1} means nq∣npe+npe−1=n(p+1)pe\frac nq \mid \frac n{p^e}+\frac n{p^{e-1}}=\frac{n(p+1)}{p^e}. Dividing both sides by n/pen/p^e (the divisibility is equivalent to the resulting ratio being an integer) shows q(p+1)pe\frac{q(p+1)}{p^e} must be an integer. But gcd⁡(p,q)=1\gcd(p,q)=1 and gcd⁡(p,p+1)=1\gcd(p,p+1)=1, so pep^e cannot divide q(p+1)q(p+1) once e≥1e\ge1 — a contradiction. Hence nn has only one prime factor, so together with Step 1 the composite integers with the property are exactly the prime powers n=pr, r≥2n=p^r,\ r\ge2.