1. The function f(n)=n satisfies the condition.
Let m=n=2. Then
(4+f(2))∣(2f(2)+2).
Since 2f(2)+2<2(4+f(2)), we have
2f(2)+2=4+f(2).
Thus, f(2)=2.
Let m=2. Then (4+f(n))∣(4+n).
This indicates that for any positive integer n, we have f(n)⩽n.
Let m=n. Then
(n2+f(n))∣(nf(n)+n)⇒nf(n)+n⩾n2+f(n)⇒(n−1)(f(n)−n)⩾0.
This indicates that for all positive integers n⩾2, we have f(n)⩾n, and the conclusion also holds when n=1.
Therefore, for all positive integers n, we have f(n)=n.