1. Let d1=m and d2−d1=a. Then the divisors in arithmetic progression are d1,d2,…,dk where di=m+(i−1)a for i=1,2,…,k.
2. The sum of these divisors is:
n=d1+d2+⋯+dk=m+(m+a)+(m+2a)+⋯+(m+(k−1)a)
This can be simplified using the formula for the sum of an arithmetic series:
n=k⋅m+a⋅2k(k−1)
3. Since dk∣n, we have:
m+(k−1)a∣k⋅m+a⋅2k(k−1)
4. Let gcd(m,a)=d. Then m=dm1 and a=da1 with gcd(m1,a1)=1. Substituting these into the divisibility condition, we get:
m1+(k−1)a1∣m1k+a1⋅2k(k−1)
5. Similarly, since dk−1∣n, we have:
m1+(k−2)a1∣m1k+a1⋅2k(k−1)
6. Using the Euclidean algorithm, we find:
gcd(m1+(k−1)a1,m1+(k−2)a1)=gcd(a1,m1+(k−2)a1)=gcd(m1,a1)=1
7. Therefore, from the above, we obtain:
(m1+(k−1)a1)⋅(m1+(k−2)a1)∣m1k+a1⋅2k(k−1)
8. Expanding and simplifying, we get:
m12+m1a1(2k−3)+a12(k−1)(k−2)∣m1k+a1⋅2k(k−1)
9. From this, we deduce that 2≤k≤3.
Case 1: If k=2:
m12+m1a1∣2m1+a1
Since gcd(m1,a1)=1 and m1∣2m1+a1, we get m1=1. This implies:
a1+1∣2+a1
which is a contradiction.
Case 2: If k=3:
m12+3m1a1+2a12∣3m1+3a1
From here, we get a1=1. Therefore:
m12+2m1+2∣3m1+3
This implies m1=1. Hence, m=a and k=3.
10. Therefore, the divisors are d1=m,d2=2m,d3=3m and:
n=d1+d2+d3=6m
Thus, the solution is n=6m for all m∈Z+.
The final answer is n=6m for all m∈Z+.