1) For k=5, we need to prove that for all m,n satisfying 5n+m∣5m+n then n∣m. Note that 5n+m≤5m+n or n≤m, then 1≤5n+m5m+n<5.
Then A=5n+m5m+n∈{1,2,3,4}. We consider some cases:
- If A=1 then m=n.
- If A=2 then 5m+n=10n+2m⇔m=3n.
- If A=3 then 5m+n=15n+3m⇔m=7n.
- If A=4 then 5m+n=20n+4m⇔m=19n.
So in all cases, we always have n∣m, which implies that k=5 is a nice number.
2) We can directly check that k=2 is a nice number. Consider some nice number k>2. By a similar way, we can check that n≤m and
1≤kn+mkm+n<k.
Thus A=kn+mkm+n∈{1,2,3,…,k−1}. In case A=2, we have
kn+mkm+n=2⇔km+n=2m+2kn⇔nm=k−22k−1.
We must have nm∈Z+ then k−22k−1=2+k−23∈Z+. Since k>1, this means that k−2∈{1,3} or k∈{3,5}.
It is easy to check that k=3 is also a nice number. Therefore, all nice numbers are 2,3,5.